@hackage / nat-optics

Refinement types for natural numbers with an optics interface

Latest1.0.1.1

Dependencies

library:nat-optics (3 dependencies)

@hackage / optics-core Optics as an abstract interface: core definitions
- Version: ^>=0.4
- License: BSD-3-Clause
@hackage / text An efficient packed Unicode text type.
- Version: ^>=1.2.3.2 || ^>=2.0 || ^>=2.1
- License: BSD-2-Clause
@hackage / base Core data structures and operations
- Version: ^>=4.15 || ^>=4.16 || ^>=4.17 || ^>=4.18 || ^>=4.19
- License: BSD-3-Clause

test:nat-optics-test (5 dependencies)