@hackage sized1.1.0.2
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
sized - Sized sequence data-types
A wrapper to make length-parametrized data-type from endofunctors from subcategories.