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
- JordanMartinez
- Published on
- 2022-04-27T18:30:53Z
- Modules
- Type.
Data. Boolean - Type.
Data. Ordering - Type.
Data. Symbol - Type.
Function - Type.
Prelude - Type.
Row - Type.
Row. Homogeneous - Type.
RowList
- Dependencies
- purescript-prelude ^6.0.0
- purescript-type-equality ^4.0.1