[−][src]Module type_freak::tuple

Type operators for tuple types.

Structs

FirstOfFunctor	A Functor that takes first type of tuple.
LeftAssociateFunctor	A Functor that transforms `(A, (B, C))` type to `((A, B), C)`.
RightAssociateFunctor	A Functor that transforms `((A, B), C)` type to `(A, (B, C))`.
SecondOfFunctor	A Functor that takes second type of tuple.
ThirdOfFunctor	A Functor that takes third type of tuple.

EmptyTuple	Represents an empty tuple.
Pair	Represents a tuple with double types.
Quadruple	Represents a tuple with four types.
SingleTuple	Represents a tuple with single type.
Triple	Represents a tuple with three types.