[−][src]Module lifted::types

Higher-kinded types for Rust standard library types.

This module provides the type cosntructors needed to use the types in the Rust standard library in a higher-kinded way.

Structs

OptionC	An `Option<*>` type constructor.
PairC	A `(, )` type constructor.
ResultC	A `Result<, >` type constructor.
VecC	A `Vec<*>` type constructor.

Type Definitions

PairLeft	A `(T, *)` type constructor.
PairRight	A `(*, T)` type constructor.
ResultLeft	A `Result<T, *>` type constructor.
ResultRight	A `Result<*, T>` type constructor.