@hackage / fin

Nat and Fin: peano naturals and finite numbers

Latest0.3.2

Dependencies

library:fin (8 dependencies)

@hackage / deepseq Deep evaluation of data structures
- Version: >=1.4.4.0 && <1.6
- License: BSD-3-Clause
@hackage / hashable A class for types that can be converted to a hash value
- Version: ^>=1.4.4.0 || ^>=1.5.0.0
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4.12.0.0 && <4.22
- License: BSD-3-Clause
@hackage / boring Boring and Absurd types
- Version: ^>=0.2.2
- License: BSD-3-Clause
@hackage / dec Decidable propositions.
- Version: ^>=0.0.6
- License: BSD-3-Clause
@hackage / QuickCheck Automatic testing of Haskell programs
- Version: ^>=2.14.2 || ^>=2.15
- License: BSD-3-Clause
@hackage / some Existential type: Some
- Version: ^>=1.0.6
- License: BSD-3-Clause
@hackage / universe-base A class for finite and recursively enumerable types.
- Version: ^>=1.1.4
- License: BSD-3-Clause

test:inspection (4 dependencies)