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
- hdgarrood
- Published on
- 2020-01-18T19:38:56Z
- Modules
- Type.
Data. Boolean - Type.
Data. Ordering - Type.
Data. Symbol - Type.
Prelude - Type.
Row - Type.
Row. Homogeneous - Type.
RowList
- Dependencies
- purescript-prelude ^4.1.0
- purescript-proxy ^3.0.0
- purescript-type-equality ^3.0.0