| ||||||||
| ||||||||
Description | ||||||||
Summary: Generic representation and instances for Maybe. The main purpose of this module is to export the instances for the representation dispatchers Rep, FRep, FRep2, and FRep3. For the rare cases in which it is needed, this module also exports the embedding-projection pair and constructor description. | ||||||||
Synopsis | ||||||||
| ||||||||
Documentation | ||||||||
| ||||||||
Embedding-projection pair for Maybe | ||||||||
| ||||||||
Constructor description for Nothing | ||||||||
| ||||||||
Constructor description for Just | ||||||||
Produced by Haddock version 2.4.2 |