Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / clash-lang / ghc-typelits-knownnat
Derive KnownNat constraints from other KnownNat constraints
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/clash-lang%2Fghc-typelits-knownnat
Stars: 14
Forks: 10
Open Issues: 5
License: other
Language: Haskell
Repo Size: 160 KB
Dependencies:
16
Created: over 7 years ago
Updated: about 1 year ago
Last pushed: about 1 month ago
Last synced: about 1 month ago
Files
Loading...
Readme
Loading...
Dependencies
ghc-typelits-knownnat.cabal
hackage
- base >=4.9 && <5
- ghc >=8.0.1 && <9.4
- ghc-prim >=0.4.0.0 && <0.9
- ghc-tcplugins-extra >=0.3.1
- ghc-typelits-natnormalise >=0.7.1 && <0.8
- integer-gmp >=0.5.1.0
- template-haskell >=2.11.0.0 && <2.19
- transformers >=0.5.2.0 && <0.6
- base >=4.8 && <5 test
- ghc-typelits-knownnat * test
- ghc-typelits-natnormalise >=0.7.1 && <0.8 test
- tasty >=0.10 test
- tasty-hunit >=0.9 test
- tasty-quickcheck >=0.8 test
.github/workflows/haskell-ci.yml
actions
- actions/cache v2 composite
- actions/checkout v2 composite