cabal-version:       2.2
name:                coercible-subtypes
version:             1
stability:           experimental
synopsis:            Coercible but only in one direction
description: Newtype wrapper 'Data.Type.Coercion.Sub.Sub'
             around 'Data.Type.Coercion.Coercion'
             to represent unidirectional coercion,
             and combinators for it, like 'Data.Type.Coercion.Sub.mapR'
             which extends coercion over covariant @Functor@.

homepage:            https://github.com/viercc/coercible-subtypes
bug-reports:         https://github.com/viercc/coercible-subtypes/issues
license:             BSD-3-Clause
license-file:        LICENSE
author:              Koji Miyazato
maintainer:          viercc@gmail.com
copyright:           (c) 2020-2021 Koji Miyazato
category:            Data
build-type:          Simple
extra-source-files:  README.md
extra-doc-files:     CHANGELOG.md

source-repository HEAD
  type:     git
  location: https://github.com/viercc/coercible-subtypes
  branch:   master

library
  exposed-modules:     Data.Type.Coercion.Sub,
                       Data.Type.Coercion.Sub.Internal,
                       Data.Type.Coercion.Related,
                       Data.Type.Coercion.Related.Internal,
                       Newtype.Union,
                       Newtype.Intersection
  build-depends:       base >=4.12 && <4.22
  hs-source-dirs:      src
  default-language:    Haskell2010
  ghc-options:         -Wall -Wcompat