emgm-0.4: Extensible and Modular Generics for the Masses

Portabilitynon-portable
Stabilityexperimental
Maintainergenerics@haskell.org

Generics.EMGM.Data.Bool

Description

Summary: Generic representation and instances for Bool.

Synopsis

Documentation

type BoolS = Unit :+: UnitSource

conFalse :: ConDescrSource

Constructor description for False.

conTrue :: ConDescrSource

Constructor description for True.

repBool :: Generic g => g BoolSource

Representation of Bool for rep.

frepBool :: Generic g => g BoolSource

Representation of Bool for frep.

frep2Bool :: Generic2 g => g Bool BoolSource

Representation of Bool for frep2.

frep3Bool :: Generic3 g => g Bool Bool BoolSource

Representation of Bool for frep3.

bifrep2Bool :: Generic2 g => g Bool BoolSource

Representation of Bool for bifrep2.