lib:type-natural

Modules

• Data.Type.Natural
• Data.Type.Natural.Builtin
• Data.Type.Natural.Lemma.Arithmetic
• Data.Type.Natural.Lemma.Order
• Data.Type.Natural.Presburger.MinMaxSolver
• Data.Type.Ordinal
• Data.Type.Ordinal.Builtin

Dependencies

• base lib:base >=4 && <5
• constraints lib:constraints >=0.3
• equational-reasoning lib:equational-reasoning >=0.4.1.1
• ghc lib:ghc >=0
• ghc-typelits-knownnat lib:ghc-typelits-knownnat >=0
• ghc-typelits-natnormalise lib:ghc-typelits-natnormalise >=0.4
• ghc-typelits-presburger lib:ghc-typelits-presburger >=0 && >=0.7.1 && >=0.7.2 && >=0.7.3
• integer-logarithms lib:integer-logarithms >=0
• template-haskell lib:template-haskell >=2.8

Reverse dependencies

Direct only. Not exhaustive.

• acme-everything lib:acme-everything
• computational-algebra lib:computational-algebra
• lol test:lol-test-suite
• sized lib:sized
• sized-vector bench:coercion-bench
• sized-vector lib:sized-vector