| ||||||||
| ||||||||
Description | ||||||||
Summary: Generic representation and instances for lists. 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 lists | ||||||||
| ||||||||
Constructor description for ''nil'': [] | ||||||||
| ||||||||
Constructor description for ''cons'': (:) | ||||||||
Produced by Haddock version 2.4.2 |