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

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

Description

Summary: Generic representation and instances for Bool.

Synopsis

epBool :: EP Bool (Unit :+: Unit) conFalse :: ConDescr conTrue :: ConDescr repBool :: Generic g => g Bool frepBool :: Generic g => g Bool frep2Bool :: Generic2 g => g Bool Bool frep3Bool :: Generic3 g => g Bool Bool Bool bifrep2Bool :: Generic2 g => g Bool Bool

Documentation

epBool :: EP Bool (Unit :+: Unit) Source

Embedding-projection pair for Bool.

conFalse :: ConDescr Source

Constructor description for False.

conTrue :: ConDescr Source

Constructor description for True.

repBool :: Generic g => g Bool Source

Representation of Bool for rep.

frepBool :: Generic g => g Bool Source

Representation of Bool for frep.

frep2Bool :: Generic2 g => g Bool Bool Source

Representation of Bool for frep2.

frep3Bool :: Generic3 g => g Bool Bool Bool Source

Representation of Bool for frep3.

bifrep2Bool :: Generic2 g => g Bool Bool Source

Representation of Bool for bifrep2.

Produced by Haddock version 2.4.2