@hackage sized1.1.0.0
Sized sequence data-types
Installation
Tested Compilers
Dependencies (14)
- base >=4 && <5
- constraints
- containers >=0.5
- deepseq >=1.4
- equational-reasoning >=0.5
- ghc-typelits-knownnat Show all…
Dependents (3)
@hackage/acme-everything, @hackage/tropical-geometry, @hackage/computational-algebra
A wrapper to make length-parametrized data-type from functorial data-types.