Talk:GHC.Generics
From HaskellWiki
(Difference between revisions)
(typo?) |
m |
||
| Line 2: | Line 2: | ||
| - | Is that a typo (copied from http://www.haskell.org/ghc/docs/7.4.1/html/users_guide/generic-programming.html, or is there a reason for the difference? | + | Is that a typo (copied from http://www.haskell.org/ghc/docs/7.4.1/html/users_guide/generic-programming.html), or is there a reason for the difference? |
-- | Sums: encode choice between constructors | -- | Sums: encode choice between constructors | ||
Revision as of 04:00, 3 March 2012
Why does the definition of (:+:) use the pipe character "|", but the definition of (:*:) uses the ":*:" operator?
Is that a typo (copied from http://www.haskell.org/ghc/docs/7.4.1/html/users_guide/generic-programming.html), or is there a reason for the difference?
-- | Sums: encode choice between constructors infixr 5 :+: data (:+:) f g p = L1 (f p) | R1 (g p)
-- | Products: encode multiple arguments to constructors infixr 6 :*: data (:*:) f g p = f p :*: g p
