| Portability | non-portable |
|---|---|
| Stability | experimental |
| Maintainer | generics@haskell.org |
Generics.EMGM.Data.Maybe
Description
Summary: Generic representation and instances for Maybe.
- type MaybeS 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)