Type level utils¶

Type level programming utilities and such.

Expect-Inferred ¶

Library for checking inferred types of values.

A library for converting generic reps of Sum and Product to row types, for whatever convenient usage needs at the type level.

Alphabetical successions for providing labels for type-level programming.

Type equality result as Boolean kind for use in type-level programming

A library for type-level Symbol formatting with other Symbols, e.g. intercalated record labels

A library for working with unlimited type-level naturals using an encoding of . in Symbol.