Index
| :-> | |
| 1 (Type/Class) | Data.TypeFun |
| 2 (Data Constructor) | Data.TypeFun |
| App | Data.TypeFun |
| Const | |
| 1 (Type/Class) | Data.TypeFun |
| 2 (Data Constructor) | Data.TypeFun |
| Domain | Data.TypeFun |
| Id | |
| 1 (Type/Class) | Data.TypeFun |
| 2 (Data Constructor) | Data.TypeFun |
| TypeFun | Data.TypeFun |
| Universal | Data.TypeFun |
| unwrapApp | Data.TypeFun |
| WrapApp | Data.TypeFun |
| WrappedApp | Data.TypeFun |