Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / clash-lang / ghc-typelits-extra

Extra type-level operations on GHC.TypeLits.Nat and a custom solver

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/clash-lang%2Fghc-typelits-extra

Stars: 16
Forks: 9
Open Issues: 12

License: other
Language: Haskell
Repo Size: 158 KB
Dependencies: 18

Created: almost 9 years ago
Updated: 10 days ago
Last pushed: 10 days ago
Last synced: 10 days ago

Files

Loading...

Readme

Loading...

Dependencies

ghc-typelits-extra.cabal hackage

base >=4.8 && <5
containers >=0.5.7.1 && <0.7
ghc >=7.10 && <9.4
ghc-bignum >=1.0 && <1.3
ghc-prim >=0.5 && <1.0
ghc-tcplugins-extra >=0.3.1
ghc-typelits-knownnat >=0.7.2 && <0.8
ghc-typelits-natnormalise >=0.7.1 && <0.8
integer-gmp ==1.0.*
transformers >=0.4.2.0 && <0.6
base >=4.8 && <5 test
ghc-typelits-extra * test
ghc-typelits-knownnat >=0.7.2 test
ghc-typelits-natnormalise >=0.7.1 test
tasty >=0.10 test
tasty-hunit >=0.9 test

.github/workflows/haskell-ci.yml actions

actions/cache v2 composite
actions/checkout v2 composite