homepage: https://github.com/raehik/refined-with#readme
changelog-type: markdown
hash: d7f235b0ce4495fd0e0d92c165da0e91454174babb960baf9925e2cb700cfaab
test-bench-deps: {}
maintainer: Ben Orchard <thefirstmuffinman@gmail.com>
synopsis: Refinement types with an "refinement applied" switch.
changelog: |
  ## 0.1.0 (2022-04-22)
  Initial release.

    * extracted from gtvm-hs
basic-deps:
  base: '>=4.14 && <5'
  refined: '>=0.6.3 && <0.7'
  hashable: ==1.4.*
  deepseq: ==1.4.*
  aeson: ==2.0.*
all-versions:
- 0.1.0
author: Ben Orchard
latest: 0.1.0
description-type: markdown
description: |
  # refined-with
  Layer on top of Nikita Volkov's
  [refined](https://hackage.haskell.org/package/refined) library to allow
  annotating data types with refinements, and a flag that indicates whether that
  refinement has been "applied".

  See the Hackage documentation for details.
license-name: MIT

homepage: https://github.com/raehik/refined-with#readme
changelog-type: markdown
hash: 857e6daaf968dd6964e7cff4d8601ae1bd2e60edcbaa07b0518e8008d2f69300
test-bench-deps: {}
maintainer: Ben Orchard <thefirstmuffinman@gmail.com>
synopsis: Refinement types with an "refinement applied" switch.
changelog: |
  ## 0.2.0 (2022-04-23)
    * rename `unWithRefine` to `withoutRefine`
    * reorder `reallyUnsafeEnforce` typevars for visible type application
      convenience

  ## 0.1.0 (2022-04-22)
  Initial release.

    * extracted from gtvm-hs
basic-deps:
  base: '>=4.14 && <5'
  refined: '>=0.6.3 && <0.7'
  hashable: ==1.4.*
  deepseq: ==1.4.*
  aeson: ==2.0.*
all-versions:
- 0.1.0
- 0.2.0
author: Ben Orchard
latest: 0.2.0
description-type: markdown
description: |
  # refined-with
  Layer on top of Nikita Volkov's
  [refined](https://hackage.haskell.org/package/refined) library to allow
  annotating data types with refinements, and a flag that indicates whether that
  refinement has been "applied".

  See the Hackage documentation for details.
license-name: MIT

Update from Hackage at 2022-04-23T12:29:36Z
Update from Hackage at 2022-04-23T12:29:36Z
