Cabal revisions of rerefined-0.5.0
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-cabal-version: 1.12---- This file has been generated from package.yaml by hpack version 0.35.2.------ see: https://github.com/sol/hpack--name: rerefined-version: 0.5.0-synopsis: Refinement types, again-description: Please see README.md.-category: Types, Data-homepage: https://github.com/raehik/rerefined#readme-bug-reports: https://github.com/raehik/rerefined/issues-author: Ben Orchard-maintainer: Ben Orchard <thefirstmuffinman@gmail.com>-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/rerefined--library- exposed-modules:- Rerefined- Rerefined.Predicate- Rerefined.Predicate.Common- Rerefined.Predicate.Common.Binary- Rerefined.Predicate.Fail- Rerefined.Predicate.Logical- Rerefined.Predicate.Logical.And- Rerefined.Predicate.Logical.If- Rerefined.Predicate.Logical.Iff- Rerefined.Predicate.Logical.Nand- Rerefined.Predicate.Logical.Nor- Rerefined.Predicate.Logical.Normalize- Rerefined.Predicate.Logical.Not- Rerefined.Predicate.Logical.Or- Rerefined.Predicate.Logical.Xor- Rerefined.Predicate.Normalize- Rerefined.Predicate.Relational- Rerefined.Predicate.Relational.Internal- Rerefined.Predicate.Relational.Length- Rerefined.Predicate.Relational.Value- Rerefined.Predicate.Succeed- Rerefined.Predicates- Rerefined.Predicates.Operators- Rerefined.Refine- Rerefined.Refine.TH- other-modules:- Paths_rerefined- 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:- QuickCheck >=2.14 && <2.16- , base >=4.18 && <5- , mono-traversable >=1.0.17.0 && <1.1- , template-haskell >=2.19.0.0 && <2.22- , text >=2.0 && <2.2- , text-builder-linear >=0.1.2 && <0.2- , type-level-show >=0.2.1 && <0.3- default-language: GHC2021+cabal-version: 1.12 + +-- This file has been generated from package.yaml by hpack version 0.35.2. +-- +-- see: https://github.com/sol/hpack + +name: rerefined +version: 0.5.0 +x-revision: 1 +synopsis: Refinement types, again +description: Please see README.md. +category: Types, Data +homepage: https://github.com/raehik/rerefined#readme +bug-reports: https://github.com/raehik/rerefined/issues +author: Ben Orchard +maintainer: Ben Orchard <thefirstmuffinman@gmail.com> +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/rerefined + +library + exposed-modules: + Rerefined + Rerefined.Predicate + Rerefined.Predicate.Common + Rerefined.Predicate.Common.Binary + Rerefined.Predicate.Fail + Rerefined.Predicate.Logical + Rerefined.Predicate.Logical.And + Rerefined.Predicate.Logical.If + Rerefined.Predicate.Logical.Iff + Rerefined.Predicate.Logical.Nand + Rerefined.Predicate.Logical.Nor + Rerefined.Predicate.Logical.Normalize + Rerefined.Predicate.Logical.Not + Rerefined.Predicate.Logical.Or + Rerefined.Predicate.Logical.Xor + Rerefined.Predicate.Normalize + Rerefined.Predicate.Relational + Rerefined.Predicate.Relational.Internal + Rerefined.Predicate.Relational.Length + Rerefined.Predicate.Relational.Value + Rerefined.Predicate.Succeed + Rerefined.Predicates + Rerefined.Predicates.Operators + Rerefined.Refine + Rerefined.Refine.TH + other-modules: + Paths_rerefined + 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: + QuickCheck >=2.14 && <2.16 + , base >=4.18 && <5 + , mono-traversable >=1.0.17.0 && <1.1 + , template-haskell >=2.19.0.0 && <2.22 + , text >=2.0 && <2.2 + , text-builder-linear >=0.1.2 && <0.2 + , type-level-show >=0.2.1 && <0.4 + default-language: GHC2021