[][src]Module bounded_registers::bounds

Structs

Bounded

A type whose behaviors enforce that its val member fall with in the range prescribed by L (a lower bound) and U (an upper bound).

Reifier

We have to jump through some hoops to get types to align. Reifier is a parametric version of something like From that we can use to implement reify() as a const function; you'll find it's used in the generated code to make the field values we know ahead of time const.

Traits

ReifyTo

Reify is basically From, but both types are foreign so we have to make a new trait. It's the last peice to our numeric-like typeclass trait thingy and allows us to convert any Unsigned type to some target numeric type.