Module identity::lift [] [src]

Structs

Ap

Type-level S combinator.

ApTyFun0
ApTyFun1
Compose

Type-level function composition (traditional order).

Cons
Const

Type-level K combinator.

ConstTyFun
Flip
FlipTyFun
Flipped
Id

Type-level I combinator.

LiFunToTyFun
LiToTy
Nil
TyFunToLiFun
Uncurry

Traits

Exists
Forall
LiFun
Pi
Sigma
TyFun
TyList
TysFun

Functions

ty_and_then
ty_ap
ty_compose
ty_const
ty_flip
ty_id

Type Definitions

AndThen

Type-level function composition (intuitive order).

TyPair
TyTriple