Types and kinds for basic type-level programming.
bower install purescript-typelevel-prelude
Module documentation is published on Pursuit.
Package
typelevel-prelude
- Repository
- purescript/purescript-typelevel-prelude
- Uploaded by
- nwolverson
- Modules
- Type.
Data. Boolean - Type.
Data. Ordering - Type.
Data. Symbol - Type.
Prelude - Type.
Row - Type.
Row. Homogeneous - Type.
RowList
- Dependencies
- proxy v3.0.0
- type-equality v3.0.0
- prelude v4.1.0-erl2