Package

purescript-typelevel-prelude

Repository
purescript/purescript-typelevel-prelude
License
MIT
Uploaded by
LiamGoodacre
Published on
2017-05-28T01:23:37Z

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.Boolean
Type.Data.Ordering
Type.Data.Symbol
Type.Prelude
Type.Row
Dependencies
purescript-proxy ^2.0.0
purescript-symbols ^3.0.0
purescript-type-equality ^2.0.0