Crate mask_system_lib

Macros§

B0: The type-level bit 0.
B1: The type-level bit 1.
Content
F
TupleEmpty
TupleExist
TupleTail
UInt: UInt is defined recursively, where B is the least significant bit and U is the rest of the number. Conceptually, U should be bound by the trait Unsigned and B should be bound by the trait Bit, but enforcing these bounds causes linear instead of logrithmic scaling in some places, so they are left off for now. They may be enforced in future.
UTerm: The terminating type for UInt; it always comes after the most significant bit. UTerm by itself represents zero, which is aliased to U0.

Bit: The marker trait for compile time bits.
CheckMaskSystem
Flat
Integer: The marker trait for compile time signed integers.
IsB0
IsB1
IsMaskSystem
MaskSystem
MaskSystemContent
PickTuple
ToInt: A type operator for taking a concrete integer value from a type.
TupleLen
Unsigned: The marker trait for compile time unsigned integers.
Zero: A marker trait to designate that a type is zero. Only B0, U0, and Z0 implement this trait.