Module canrun::domains[−][src]

Expand description

Constrain the set of types that you can reason about in a particular context.

Macros

Generate Domain structs and other associated types and impls.

Structs

A type specific container used by a Domain to hold values.

Traits

Manage values for a set of specific types.

Allows a State to retrieve values of a specific type from a domain.