Crate type_freak

Modules

boolean	Trait level boolean algrbra.
control	Compile-time guards and static assertions.
counter	An counter trait that can be automatically inferred, usually used for traversal.
kvlist	A typed list of key-value pairs.
list	Typed list that supports insertion, removal and look-up.
maybe	Trait-level equivalences to Option.
tuple	Type operators for tuple types.

Macros

KVListType	Builds a type that implements KVList.
TListType	Builds a type that implements TList.