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: refined-with version: 0.3.0 synopsis: Refinement types with an "refinement applied" switch. description: Please see README.md. category: Data homepage: https://github.com/raehik/refined-with#readme bug-reports: https://github.com/raehik/refined-with/issues author: Ben Orchard maintainer: Ben Orchard license: MIT license-file: LICENSE build-type: Simple tested-with: GHC ==8.10.7 || ==9.2.2 extra-source-files: README.md CHANGELOG.md source-repository head type: git location: https://github.com/raehik/refined-with library exposed-modules: Refined.WithRefine other-modules: Paths_refined_with hs-source-dirs: src default-extensions: EmptyCase FlexibleContexts FlexibleInstances InstanceSigs MultiParamTypeClasses PolyKinds LambdaCase DerivingStrategies StandaloneDeriving DeriveAnyClass DeriveGeneric DeriveDataTypeable DeriveFunctor DeriveFoldable DeriveTraversable DeriveLift ImportQualifiedPost StandaloneKindSignatures DerivingVia RoleAnnotations TypeApplications DataKinds TypeFamilies TypeOperators BangPatterns GADTs DefaultSignatures RankNTypes UndecidableInstances MagicHash ScopedTypeVariables build-depends: aeson ==2.0.* , base >=4.14 && <5 , deepseq ==1.4.* , hashable ==1.4.* , refined >=0.6.3 && <0.7 default-language: Haskell2010