emgm-0.4: Extensible and Modular Generics for the Masses

Portabilitynon-portable
Stabilityexperimental
Maintainergenerics@haskell.org

Generics.EMGM.Data.Maybe

Description

Summary: Generic representation and instances for Maybe.

Synopsis

Documentation

type MaybeS a = Unit :+: aSource

conNothing :: ConDescrSource

Constructor description for Nothing.

conJust :: ConDescrSource

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.