Module lambek::bi_type_app [−][src]
Traits for the kind of binary type application, Type -> Type -> Type.
Traits
| BiTypeApp | |
| BiTypeAppGeneric | |
| BiTypeAppGenericCont | |
| BiTypeCon | |
| HasBiTypeApp |
Functions
| wrap_app |
Type Definitions
| BiApp |
Traits for the kind of binary type application, Type -> Type -> Type.
| BiTypeApp | |
| BiTypeAppGeneric | |
| BiTypeAppGenericCont | |
| BiTypeCon | |
| HasBiTypeApp |
| wrap_app |
| BiApp |