cabal-version: 1.12

-- This file has been generated from package.yaml by hpack version 0.34.4.
--
-- see: https://github.com/sol/hpack

name:           attenuation
version:        0.2.0
x-revision: 5
synopsis:       Subtyping relations and variance roles
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.
category:       Constraints
homepage:       https://github.com/google/hs-attenuation#readme
bug-reports:    https://github.com/google/hs-attenuation/issues
author:         Andrew Pritchard <awpritchard@gmail.com>
maintainer:     Andrew Pritchard <awpritchard@gmail.com>
copyright:      2020-2021 Google LLC
license:        Apache-2.0
license-file:   LICENSE
build-type:     Simple
extra-source-files:
    CHANGELOG.md

source-repository head
  type: git
  location: https://github.com/google/hs-attenuation
  subdir: attenuation

library
  exposed-modules:
      Data.Type.Attenuation
      Data.Type.Attenuation.Unsafe
      Data.Type.Attenuation.Internal
  hs-source-dirs:
      src
  build-depends:
      base >=4.12 && <4.19
    , constraints >=0.10 && <0.14
  default-language: Haskell2010