Error in GHC.Generics documentation
The Generic instance shown as automatically derived for the Tree type should read
instance Generic (Tree a) where
type Rep (Tree a) =
D1 ('MetaData "Tree" "Main" "package-name" 'False)
(C1 ('MetaCons "Leaf" 'PrefixI 'False)
(S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy)
(Rec0 a)) :+:
C1 ('MetaCons "Leaf" 'PrefixI 'False)
(S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy)
(Rec0 (Tree a)) :*:
S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy)
(Rec0 (Tree a)))))
from (Leaf f) = M1 (L1 (M1 (M1 (K1 f))))
from (Node f g) = M1 (R1 (M1 ((M1 (K1 f)) :*: (M1 (K1 g)))))
to (M1 (L1 (M1 (M1 (K1 f))))) = Leaf f
to (M1 (R1 (M1 ((M1 (K1 f)) :*: (M1 (K1 g)))))) = Node f g
Trac metadata
Trac field | Value |
---|---|
Version | 8.0.1 |
Type | Bug |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | libraries/base |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |