Package

purescript-typelevel-peano

Repository
csicar/purescript-typelevel-peano
License
MIT
Uploaded by
csicar
Published on
2019-08-06

Typelevel Numbers using Peano-Style Encoding.

Installation

bower install purescript-typelevel-peano

Documentation

Module documentation is published on Pursuit.

> num = parseInt (undefined :: SProxy "-1337")
> :t num
(Succ^1337 (... Z)