Add purescript-typelevel-peano (#588)
Co-authored-by: M. Walker Wells <walker@indexcontacts.com>
commit6183ef8d4110a36d0d88549c0a92b707ca5c94ba
authorM. Walker Wells <git@mwalkerwells.com>
dateSat 4 Apr 2020, 10:05 (7 years ago)
parent7adeaa2
packages.json+13
@@ -3619,6 +3619,19 @@
36193619 "repo": "https://github.com/bodil/purescript-typelevel.git",
36203620 "version": "v6.0.0"
36213621 },
3622+ "typelevel-peano": {
3623+ "dependencies": [
3624+ "arrays",
3625+ "console",
3626+ "effect",
3627+ "prelude",
3628+ "psci-support",
3629+ "typelevel-prelude",
3630+ "unsafe-coerce"
3631+ ],
3632+ "repo": "https://github.com/csicar/purescript-typelevel-peano.git",
3633+ "version": "v0.1.8"
3634+ },
36223635 "typelevel-prelude": {
36233636 "dependencies": [
36243637 "prelude",
src/groups/csicar.dhall+13
@@ -19,4 +19,17 @@
1919 , repo = "https://github.com/csicar/purescript-vectorfield.git"
2020 , version = "v1.0.1"
2121 }
22+, typelevel-peano =
23+ { dependencies =
24+ [ "unsafe-coerce"
25+ , "arrays"
26+ , "console"
27+ , "effect"
28+ , "typelevel-prelude"
29+ , "prelude"
30+ , "psci-support"
31+ ]
32+ , repo = "https://github.com/csicar/purescript-typelevel-peano.git"
33+ , version = "v0.1.8"
34+ }
2235}