Crate type_val [−] [src]

This crate allows for the creation of type-level values. Any value can be type-level as long as it can be initialized as a constant. All type-level values implement the TypeVal trait, and so can be provided as type parameters.

Macros

def_type_val

This macro is used to implement the TypeVal trait. Any number of values can be initialized with a single invocation. Items prefixed by pub are public. Attributes to be applied to items in a block, including doc comments, should go above their targets.

Traits

TypeVal

A trait implemented by type-level values.