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

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

Description

Summary: Generic representation and instances for Maybe.

Synopsis

epMaybe :: EP (Maybe a) (Unit :+: a) conNothing :: ConDescr conJust :: ConDescr repMaybe :: (Generic g, Rep g a) => g (Maybe a) frepMaybe :: Generic g => g a -> g (Maybe a) frep2Maybe :: Generic2 g => g a b -> g (Maybe a) (Maybe b) frep3Maybe :: Generic3 g => g a b c -> g (Maybe a) (Maybe b) (Maybe c) bifrep2Maybe :: Generic2 g => g a b -> g (Maybe a) (Maybe b)

Documentation

epMaybe :: EP (Maybe a) (Unit :+: a) Source

Embedding-projection pair for Maybe.

conNothing :: ConDescr Source

Constructor description for Nothing.

conJust :: ConDescr Source

Constructor description for Just.

repMaybe :: (Generic g, Rep g a) => g (Maybe a) Source

Representation of Maybe for rep.

frepMaybe :: Generic g => g a -> g (Maybe a) Source

Representation of Maybe for frep.

frep2Maybe :: Generic2 g => g a b -> g (Maybe a) (Maybe b) Source

Representation of Maybe for frep2.

frep3Maybe :: Generic3 g => g a b c -> g (Maybe a) (Maybe b) (Maybe c) Source

Representation of Maybe for frep3.

bifrep2Maybe :: Generic2 g => g a b -> g (Maybe a) (Maybe b) Source

Representation of Maybe for bifrep2.

Produced by Haddock version 2.4.2