| |||||||||||||||||||||||
| |||||||||||||||||||||||
| |||||||||||||||||||||||
Description | |||||||||||||||||||||||
Summary: Types for structural representation. | |||||||||||||||||||||||
Synopsis | |||||||||||||||||||||||
| |||||||||||||||||||||||
Functorial structural representation types. | |||||||||||||||||||||||
| |||||||||||||||||||||||
| |||||||||||||||||||||||
| |||||||||||||||||||||||
| |||||||||||||||||||||||
| |||||||||||||||||||||||
| |||||||||||||||||||||||
| |||||||||||||||||||||||
| |||||||||||||||||||||||
| |||||||||||||||||||||||
| |||||||||||||||||||||||
| |||||||||||||||||||||||
| |||||||||||||||||||||||
Fixed-point type. | |||||||||||||||||||||||
| |||||||||||||||||||||||
| |||||||||||||||||||||||
Type class capturing the structural representation of a type and the | |||||||||||||||||||||||
corresponding embedding-projection pairs. | |||||||||||||||||||||||
| |||||||||||||||||||||||
| |||||||||||||||||||||||
Produced by Haddock version 2.4.2 |