homepage: https://github.com/typeclasses/nat-optics
changelog-type: ''
hash: 16f5a0d20a45aad322b2252d1db21d6c9d844cd161c94d212a56a687d8110040
test-bench-deps: {}
maintainer: Chris Martin, Julie Moronuki
synopsis: Refinement types for natural numbers with an optics interface
changelog: ''
basic-deps:
  optics-core: ^>=0.4
  base: ^>=4.14 || ^>=4.15
  text: ^>=1.2.3
all-versions:
- '1'
author: Chris Martin
latest: '1'
description-type: haddock
description: |-
  Modules:

  - "NatOptics.NonNegative" includes 0, 1, 2, 3, ...
  - "NatOptics.Positive" includes 1, 2, 3, 4, ...

  You probably also want to import the "Optics" module
  from the `optics` package.
license-name: MIT

Update from Hackage at 2021-07-08T21:58:31Z
Update from Hackage at 2021-07-08T21:58:31Z
