Package

purescript-typelevel-prelude

Repository: purescript/purescript-typelevel-prelude
License: MIT
Uploaded by: Risto-Stevcev
Published on: 2017-07-19T01:40:22Z

Types and kinds for basic type-level programming.

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