Module apply

Module apply 

Source
Expand description

Convenience type aliases for the Kind traits.

The naming convention used by these aliases is ApplyNLMT where N represents the number of lifetimes and T represents the number of generic types.

If a Brand FooBrand for concrete type Foo<A> implements the Kind0L1T trait, then Apply0L1T<FooBrand, ()> represents Foo<()>.

Type Aliasesยง

Apply0L1T
Alias for types of kind * -> *.
Apply0L2T
Alias for types of kind * -> * -> *.
Apply1L0T
Alias for types of kind ' -> *.
Apply1L2T
Alias for types of kind ' -> * -> * -> *.