emgm-0.3: Extensible and Modular Generics for the Masses Source code Contents Index

Generics.EMGM.Data.List Portability non-portable Stability experimental Maintainer generics@haskell.org

Description

Summary: Generic representation and instances for lists.

Synopsis

epList :: EP [a] (Unit :+: (a :*: [a])) conNil :: ConDescr conCons :: ConDescr repList :: (Generic g, 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

epList :: EP [a] (Unit :+: (a :*: [a])) Source

Embedding-projection pair for lists.

conNil :: ConDescr Source

Constructor description for ''nil'': [].

conCons :: ConDescr Source

Constructor description for ''cons'': (:).

repList :: (Generic g, Rep g a) => g [a] Source

Representation of lists for rep.

frepList :: Generic g => g a -> g [a] Source

Representation of lists for frep.

frep2List :: Generic2 g => g a b -> g [a] [b] Source

Representation of lists for frep2.

frep3List :: Generic3 g => g a b c -> g [a] [b] [c] Source

Representation of lists for frep3.

bifrep2List :: Generic2 g => g a b -> g [a] [b] Source

Representation of lists for bifrep2.

Produced by Haddock version 2.4.2