cabal-version: 1.12

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

name:           attenuation
version:        0.1.0.0
x-revision: 3
synopsis:       Representational 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 <awpr@google.com>
maintainer:     Andrew Pritchard <awpr@google.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
  other-modules:
      Paths_attenuation
  hs-source-dirs:
      src
  build-depends:
      base >=4.12 && <4.17
    , profunctors >=0.1 && <5.7
  default-language: Haskell2010