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 |