The latest version of sized is 1.1.0.2-0.
lib:sized
Modules
Dependencies
- base lib:base >=4 && <5
- constraints lib:constraints >=0
- containers lib:containers >=0.5
- deepseq lib:deepseq >=1.4
- equational-reasoning lib:equational-reasoning >=0.5
- ghc-typelits-knownnat lib:ghc-typelits-knownnat >=0
- ghc-typelits-presburger lib:ghc-typelits-presburger >=0.4
- hashable lib:hashable >=1.2
- lens lib:lens >=0.14
- mono-traversable lib:mono-traversable >=0.10
- singletons lib:singletons >=2.0
- singletons-presburger lib:singletons-presburger >=0.4
- subcategories lib:subcategories >=0
- these lib:these >=0
- type-natural lib:type-natural >=0.8.1.0
- vector lib:vector >=0.12
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything
- computational-algebra bench:division-bench
- computational-algebra bench:elimination-bench
- computational-algebra bench:linear-bench
- computational-algebra bench:monomial-order-bench
- computational-algebra bench:normal-bench
- computational-algebra bench:quotient-bench-randomized
- computational-algebra bench:solve-bench
- computational-algebra bench:sugar-paper-bench
- computational-algebra bench:unipol-bench