Cabal revisions of typelevel-rewrite-rules-0.1
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.31.2.------ see: https://github.com/sol/hpack------ hash: a0aa0b58de9c55fa77a152d9a3aa0be871bfa33439ebe19185cb1283b97d6350--name: typelevel-rewrite-rules-version: 0.1-synopsis: Solve type equalities using custom type-level rewrite rules-description: A typechecker plugin which allows the user to specify a set of domain-specific rewrite rules. These get applied whenever the compiler is unable to solve a type equality constraint, in the hope that the rewritten equality constraint will be easier to solve.-category: Type System-homepage: https://github.com/gelisam/typelevel-rewrite-rules#readme-bug-reports: https://github.com/gelisam/typelevel-rewrite-rules/issues-author: Samuel Gélineau-maintainer: gelisam+github@gmail.com-license: PublicDomain-build-type: Simple-extra-source-files:- README.md- CHANGELOG.md--source-repository head- type: git- location: https://github.com/gelisam/typelevel-rewrite-rules--library- exposed-modules:- TypeLevel.Append- TypeLevel.Rewrite- TypeLevel.Rewrite.Internal.Lookup- TypeLevel.Rewrite.Internal.PrettyPrint- TypeLevel.Rewrite.Internal.Term- TypeLevel.Rewrite.Internal.TypeEq- TypeLevel.Rewrite.Internal.TypeRule- TypeLevel.Rewrite.Internal.TypeTemplate- TypeLevel.Rewrite.Internal.TypeTerm- other-modules:- Paths_typelevel_rewrite_rules- hs-source-dirs:- src- ghc-options: -W -Wall- build-depends:- base >=4.12 && <6- , ghc >=8.6.3- , ghc-prim >=0.5.3- , ghc-tcplugins-extra >=0.3- , term-rewriting >=0.3.0.1- , transformers >=0.5.5.0- default-language: Haskell2010--test-suite should-compile- type: exitcode-stdio-1.0- main-is: Test.hs- other-modules:- Data.Vinyl.TypeLevel.RewriteRules- Data.Vinyl.TypeLevel.Test- MonoKinds.Append- MonoKinds.Test- SamePackage.Append- SamePackage.Test- TypeLevel.Append.Test- Paths_typelevel_rewrite_rules- hs-source-dirs:- test/should-compile- build-depends:- base >=4.12 && <6- , ghc-prim >=0.5.3- , typelevel-rewrite-rules- , vinyl- default-language: Haskell2010+cabal-version: 1.12 + +-- This file has been generated from package.yaml by hpack version 0.31.2. +-- +-- see: https://github.com/sol/hpack +-- +-- hash: a0aa0b58de9c55fa77a152d9a3aa0be871bfa33439ebe19185cb1283b97d6350 + +name: typelevel-rewrite-rules +version: 0.1 +x-revision: 1 +synopsis: Solve type equalities using custom type-level rewrite rules +description: A typechecker plugin which allows the user to specify a set of domain-specific rewrite rules. These get applied whenever the compiler is unable to solve a type equality constraint, in the hope that the rewritten equality constraint will be easier to solve. +category: Type System +homepage: https://github.com/gelisam/typelevel-rewrite-rules#readme +bug-reports: https://github.com/gelisam/typelevel-rewrite-rules/issues +author: Samuel Gélineau +maintainer: gelisam+github@gmail.com +license: PublicDomain +build-type: Simple +extra-source-files: + README.md + CHANGELOG.md + +source-repository head + type: git + location: https://github.com/gelisam/typelevel-rewrite-rules + +library + exposed-modules: + TypeLevel.Append + TypeLevel.Rewrite + TypeLevel.Rewrite.Internal.Lookup + TypeLevel.Rewrite.Internal.PrettyPrint + TypeLevel.Rewrite.Internal.Term + TypeLevel.Rewrite.Internal.TypeEq + TypeLevel.Rewrite.Internal.TypeRule + TypeLevel.Rewrite.Internal.TypeTemplate + TypeLevel.Rewrite.Internal.TypeTerm + other-modules: + Paths_typelevel_rewrite_rules + hs-source-dirs: + src + ghc-options: -W -Wall + build-depends: + base >=4.12 && <6 + , ghc >=8.6.3 && < 8.10 + , ghc-prim >=0.5.3 + , ghc-tcplugins-extra >=0.3 + , term-rewriting >=0.3.0.1 + , transformers >=0.5.5.0 + default-language: Haskell2010 + +test-suite should-compile + type: exitcode-stdio-1.0 + main-is: Test.hs + other-modules: + Data.Vinyl.TypeLevel.RewriteRules + Data.Vinyl.TypeLevel.Test + MonoKinds.Append + MonoKinds.Test + SamePackage.Append + SamePackage.Test + TypeLevel.Append.Test + Paths_typelevel_rewrite_rules + hs-source-dirs: + test/should-compile + build-depends: + base >=4.12 && <6 + , ghc-prim >=0.5.3 + , typelevel-rewrite-rules + , vinyl + default-language: Haskell2010