cabal-version: 2.2 name: coercible-subtypes version: 0.3.0.1 x-revision: 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: CHANGELOG.md, README.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.21, profunctors hs-source-dirs: src default-language: Haskell2010 ghc-options: -Wall -Wcompat