Types and kinds for basic type-level programming.
bower install purescript-typelevel-prelude
Module documentation is published on Pursuit.
Package
purescript-typelevel-prelude
- Repository
- purescript/purescript-typelevel-prelude
- License
- BSD-3-Clause
- Uploaded by
- garyb
- Published on
- 2019-05-26T22:28:26Z
- Modules
- Type.
Data. Boolean - Type.
Data. Ordering - Type.
Data. Symbol - Type.
Prelude - Type.
Row - Type.
Row. Homogeneous
- Dependencies
- purescript-prelude ^4.1.0
- purescript-proxy ^3.0.0
- purescript-type-equality ^3.0.0