Typelevel Numbers using Peano-Style Encoding.
bower install purescript-typelevel-peanoModule documentation is published on Pursuit.
> num = parseInt (undefined :: SProxy "-1337")
> :t num
(Succ^1337 (... Z) Package
purescript-typelevel-peano
- Repository
- csicar/purescript-typelevel-peano
- License
- MIT
- Uploaded by
- csicar
- Published on
- 2019-08-06T08:13:15Z
- Modules
- Type.
Data. Peano - Type.
Data. Peano. Int - Type.
Data. Peano. Int. Definition - Type.
Data. Peano. Int. Parse - Type.
Data. Peano. Int. TypeAliases - Type.
Data. Peano. Nat - Type.
Data. Peano. Nat. Definition - Type.
Data. Peano. Nat. Parse - Type.
Data. Peano. Nat. TypeAliases
- Dependencies
- purescript-arrays >2.0.0
- purescript-console ^4.2.0
- purescript-effect ^2.0.1
- purescript-prelude ^4.1.1
- purescript-typelevel-prelude ^5.0.0