homepage: https://github.com/google/hs-attenuation#readme
changelog-type: markdown
hash: 2a75fb40893ae99f8cdd36bf762df60b9bda6b0095391fedb95f866cdb479430
test-bench-deps: {}
maintainer: Andrew Pritchard <awpr@google.com>
synopsis: Representational subtyping relations and variance roles.
changelog: |
  # 0.1.0.0

  Added everything that exists in this version.  See Haddock documentation for a
  complete accounting.
basic-deps:
  base: '>=4.7 && <4.16'
  profunctors: '>=0.1 && <5.7'
all-versions:
- 0.1.0.0
author: Andrew Pritchard <awpr@google.com>
latest: 0.1.0.0
description-type: haddock
description: |-
  This lets you coerce containers (among other things) from stronger types to
  weaker types with zero runtime cost when it's safe to do so, e.g.
  @[Fin n] -> [Int]@.  This primarily comes into play when using newtypes to
  impose additional invariants on existing types.
license-name: Apache-2.0

Update from Hackage at 2021-09-02T22:23:37Z
Update from Hackage at 2021-09-02T22:23:37Z
