TypeQuux
Two Quick Examples
Pre Requisites
Usage
Church Encoding of Booleans
Peano Numbers
Dense Numbers
Type Sets
Type Maps
Natural Transformations
Type-Unions and Exclusions
Singleton Types for Literals
Covariant Heterogenous Lists
Tuple Ops
Sized Vectors
String Indexed Collections
Records
Understanding Constraints
Contents in Depth
Combined Pages
Usage
This section provides examples on the usage of the public APIs of the supplied primitives
❧
Next page
Church Encoding of Booleans
TypeQuux
— Usage