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
• equational-reasoning lib:equational-reasoning >=0.4.1.1
• ghc-typelits-natnormalise lib:ghc-typelits-natnormalise >=0.4
• ghc-typelits-presburger lib:ghc-typelits-presburger (>=0.2 && <0.3) && >=0.3 && <0.4
• singletons lib:singletons >=2.2 && <2.8
• singletons-presburger lib:singletons-presburger >=0.3 && <0.4
• 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