Types and kinds for basic type-level programming.
spago install typelevel-prelude
Module documentation is published on Pursuit.
Package
purescript-typelevel-prelude
- Repository
- purescript/purescript-typelevel-prelude
- License
- BSD-3-Clause
- Uploaded by
- thomashoneyman
- Published on
- 2021-02-26T18:17:11Z
- Modules
- Type.
Data. Boolean - Type.
Data. Ordering - Type.
Data. Symbol - Type.
Function - Type.
Prelude - Type.
Row - Type.
Row. Homogeneous - Type.
RowList
- Dependencies
- purescript-prelude ^5.0.0
- purescript-type-equality ^4.0.0