emgm-0.4: Extensible and Modular Generics for the Masses

Portabilitynon-portable
Stabilityexperimental
Maintainergenerics@haskell.org

Generics.EMGM.Data.List

Description

Summary: Generic representation and instances for lists.

Synopsis

Documentation

type ListS a = Unit :+: (a :*: [a])Source

conNil :: ConDescrSource

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

conCons :: ConDescrSource

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

repList :: (Generic g, Rep g a, 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.