Portability | non-portable |
---|---|
Stability | experimental |
Maintainer | generics@haskell.org |
Summary: Generic representation and instances for lists.
- type ListS a = Unit :+: (a :*: [a])
- conNil :: ConDescr
- conCons :: ConDescr
- repList :: (Generic g, Rep g a, Rep g [a]) => g [a]
- frepList :: Generic g => g a -> g [a]
- frep2List :: Generic2 g => g a b -> g [a] [b]
- frep3List :: Generic3 g => g a b c -> g [a] [b] [c]
- bifrep2List :: Generic2 g => g a b -> g [a] [b]
Documentation
bifrep2List :: Generic2 g => g a b -> g [a] [b]Source
Representation of lists for bifrep2
.