Crate typ

TYP is a type-level programming langauge that computes types. It enables you to write type operators, the functions that translates types, in Rust syntax. Please read the TYP book understand the usage.

Macros

tyint

Constructs a signed integer type from an integer literal.

typ

The main macro that translates the TYP langauge to actual Rust implementations.

tyuint

Constructs an unsigned integer type from an integer literal.