Package

typelevel-prelude

Repository
purescript/purescript-typelevel-prelude
Uploaded by
nwolverson

Latest release Build status

Types and kinds for basic type-level programming, for PureScript >= v0.10.5.

Installation

bower install purescript-typelevel-prelude

Documentation

Module documentation is published on Pursuit.

Modules
Type.Data.Ordering
Type.Data.Symbol
Type.Prelude
Dependencies