Module typelevel

Module typelevel 

Source
Expand description

Module supporting type-level programming

This is heavily inspired by the work in atsamd-rs. Please refer to the documentation over there for more details.

Structs§

OptionTNone
Type-level variant for OptionT
OptionTSome
Type-level variant for OptionT

Traits§

Is
Marker trait for type identity
OptionT
Type-level enum for Option.

Type Aliases§

IsType
Type alias for Is::Type