Trait Type 

pub trait Type:
    'static
    + Clone
    + Copy
    + Default { }

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl Type for ()

impl<A: Type, B: Type> Type for (A, B)

Implementors

impl Type for Bool

impl Type for Nat

impl<A: Type, B: Type> Type for Lambda<A, B>

impl<T: Type> Type for List<T>

impl<T: Type> Type for Maybe<T>