lib:fin

Modules

• Data.Fin
• Data.Nat
• Data.Type.Nat
• Data.Type.Nat.LE
• Data.Type.Nat.LE.ReflStep
• Data.Type.Nat.LT

Dependencies

• QuickCheck lib:QuickCheck ^>=2.14.2 || ^>=2.15
• base lib:base >=4.12.0.0 && <4.21
• boring lib:boring ^>=0.2.2
• dec lib:dec ^>=0.0.6
• deepseq lib:deepseq >=1.4.4.0 && <1.6
• hashable lib:hashable ^>=1.4.4.0 || ^>=1.5.0.0
• some lib:some ^>=1.0.6
• universe-base lib:universe-base ^>=1.1.4

Reverse dependencies

Direct only. Not exhaustive.

• fin test:inspection
• overloaded test:example
• overloaded test:test
• vec bench:bench
• vec test:inspection