emgm-0.1: Extensible and Modular Generics for the MassesSource codeContentsIndex
Generics.EMGM.Data.List
Portabilitynon-portable
Stabilityexperimental
Maintainergenerics@haskell.org
Contents
Embedding-projection pair
Representations
Description

Summary: Generic representation and instances for [a].

This module exports the reusable components of the [a] representation. These include the embedding-projection pair used in a type representation as well as the type representations of [a] for Generic, Generic2, and Generic3.

This module also exports the instances for the representation dispatchers Rep, FRep, FRep2, and FRep3.

Synopsis
epList :: EP [a] (Unit :+: (a :*: [a]))
rList :: Generic g => g a -> g [a]
rList2 :: Generic2 g => g a b -> g [a] [b]
rList3 :: Generic3 g => g a b c -> g [a] [b] [c]
Embedding-projection pair
epList :: EP [a] (Unit :+: (a :*: [a]))Source
Embedding-projection pair for [a]
Representations
rList :: Generic g => g a -> g [a]Source
Representation for [a] in Generic
rList2 :: Generic2 g => g a b -> g [a] [b]Source
Representation for [a] in Generic2
rList3 :: Generic3 g => g a b c -> g [a] [b] [c]Source
Representation for [a] in Generic3
Produced by Haddock version 2.4.2