lib:type-natural

Modules

• Data.Type.Natural
• Data.Type.Ordinal

Dependencies

• base lib:base >=4 && <5
• constraints lib:constraints >=0.3 && <0.4
• equational-reasoning lib:equational-reasoning >=0.2 && <0.3
• monomorphic lib:monomorphic >=0.0.3
• singletons lib:singletons (>=1.0 && <1.1) && >=0.8 && <0.9
• template-haskell lib:template-haskell >=2.8 && <2.11

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