lib:type-natural

Modules

• Data.Type.Natural
• Data.Type.Natural.Builtin
• Data.Type.Natural.Class
• Data.Type.Natural.Class.Arithmetic
• Data.Type.Natural.Class.Order
• Data.Type.Ordinal
• Data.Type.Ordinal.Builtin
• Data.Type.Ordinal.Peano

Dependencies

• base lib:base >=4 && <5
• constraints lib:constraints >=0.3 && <0.9
• equational-reasoning lib:equational-reasoning >=0.4.1.1 && <1
• ghc-typelits-natnormalise lib:ghc-typelits-natnormalise >=0.4 && <0.6
• ghc-typelits-presburger lib:ghc-typelits-presburger >=0.1.1 && <1
• monomorphic lib:monomorphic >=0.0.3 && <0.1
• singletons lib:singletons >=2.2 && <2.3
• template-haskell lib:template-haskell >=2.8 && <3

Reverse dependencies

Direct only. Not exhaustive.

• acme-everything lib:acme-everything
• computational-algebra bench:coercion-bench
• computational-algebra bench:division-bench
• computational-algebra bench:elimination-bench
• computational-algebra bench:faugere4-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
• computational-algebra bench:unipol-div-bench
• computational-algebra bench:unipol-mult-bench
• computational-algebra exe:faugere-prof
• computational-algebra exe:hensel-prof
• computational-algebra exe:ipsolve
• computational-algebra exe:quotient
• computational-algebra exe:sandpit-poly
• computational-algebra exe:solve
• computational-algebra lib:computational-algebra
• computational-algebra test:linear-test
• computational-algebra test:matrix-test
• computational-algebra test:new-div-test
• computational-algebra test:singular-test
• computational-algebra test:specs
• computational-algebra test:test-multi-table
• lol test:lol-test-suite
• sized lib:sized
• sized-vector bench:coercion-bench
• sized-vector lib:sized-vector