cabal-version: 1.12 -- This file has been generated from package.yaml by hpack version 0.36.1. -- -- see: https://github.com/sol/hpack name: strongweak version: 0.9.1 synopsis: Convert between strong and weak representations of types description: Please see README.md. category: Data homepage: https://github.com/raehik/strongweak#readme bug-reports: https://github.com/raehik/strongweak/issues author: Ben Orchard maintainer: Ben Orchard license: MIT license-file: LICENSE build-type: Simple tested-with: GHC==9.8 , GHC==9.6 extra-source-files: README.md CHANGELOG.md source-repository head type: git location: https://github.com/raehik/strongweak library exposed-modules: Strongweak Strongweak.Generic Strongweak.Strengthen Strongweak.Strengthen.Generic Strongweak.Strengthen.Unsafe Strongweak.Util.TypeNats Strongweak.Weaken Strongweak.Weaken.Generic other-modules: Paths_strongweak hs-source-dirs: src default-extensions: LambdaCase NoStarIsType DerivingVia DeriveAnyClass GADTs RoleAnnotations DefaultSignatures TypeFamilies DataKinds MagicHash ghc-options: -Wall -Wno-unticked-promoted-constructors build-depends: base >=4.18 && <5 , rerefined >=0.6.0 && <0.7 , text >=2.0 && <2.2 , text-builder-linear >=0.1.3 && <0.2 , vector >=0.12.3.1 && <0.14 , vector-sized >=1.5.0 && <1.7 default-language: GHC2021 test-suite spec type: exitcode-stdio-1.0 main-is: Spec.hs other-modules: Common Strongweak.LawsSpec Paths_strongweak hs-source-dirs: test default-extensions: LambdaCase NoStarIsType DerivingVia DeriveAnyClass GADTs RoleAnnotations DefaultSignatures TypeFamilies DataKinds MagicHash ghc-options: -Wall -Wno-unticked-promoted-constructors build-tool-depends: hspec-discover:hspec-discover >=2.7 && <2.12 build-depends: QuickCheck >=2.14.2 && <2.16 , base >=4.18 && <5 , generic-random >=1.5.0.1 && <1.6 , hspec >=2.7 && <2.12 , quickcheck-instances >=0.3.26 && <0.4 , rerefined >=0.6.0 && <0.7 , strongweak , text >=2.0 && <2.2 , text-builder-linear >=0.1.3 && <0.2 , vector >=0.12.3.1 && <0.14 , vector-sized >=1.5.0 && <1.7 default-language: GHC2021