 | emgm-0.1: Extensible and Modular Generics for the Masses | Source code | Contents | Index |
| Generics.EMGM.Data.Bool |
|
| Contents |
Summary: Generic representation and instances for Bool.
This module exports the reusable components of the Bool representation. These include the embedding-projection pair used in a type representation as well as the type representation of Bool for Generic.
This module also exports the instance for the representation dispatcher Rep.
| epBool :: EP Bool (Unit :+: Unit) |
| rBool :: Generic g => g Bool |
| epBool :: EP Bool (Unit :+: Unit) | Source |
| rBool :: Generic g => g Bool | Source |