| Portability | non-portable |
|---|---|
| Stability | experimental |
| Maintainer | alfonso.acosta@gmail.com |
Data.TypeLevel
Description
This module is a wrapper for all the publicly usable types and functions of the type-level library.
type-level-0.2.3: Type-level programming library
| Portability | non-portable |
|---|---|
| Stability | experimental |
| Maintainer | alfonso.acosta@gmail.com |
Data.TypeLevel
Description
This module is a wrapper for all the publicly usable types and functions of the type-level library.