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

Summary: Generic representation and instances for Maybe a.

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

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

Synopsis
epMaybe :: EP (Maybe a) (Unit :+: a)
rMaybe :: Generic g => g a -> g (Maybe a)
rMaybe2 :: Generic2 g => g a b -> g (Maybe a) (Maybe b)
rMaybe3 :: Generic3 g => g a b c -> g (Maybe a) (Maybe b) (Maybe c)
Embedding-projection pair
epMaybe :: EP (Maybe a) (Unit :+: a)Source
Embedding-projection pair for Maybe a
Representations
rMaybe :: Generic g => g a -> g (Maybe a)Source
Representation for Maybe a in Generic
rMaybe2 :: Generic2 g => g a b -> g (Maybe a) (Maybe b)Source
Representation for Maybe a in Generic2
rMaybe3 :: Generic3 g => g a b c -> g (Maybe a) (Maybe b) (Maybe c)Source
Representation for Maybe a in Generic3
Produced by Haddock version 2.4.2