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: decidable version: 0.3.1.0 synopsis: Combinators for manipulating dependently-typed predicates. description: This library provides combinators and typeclasses for working and manipulating type-level predicates in Haskell, which are represented as matchable type-level functions @k ~> Type@ from the @singletons@ library. See "Data.Type.Predicate" for a good starting point, and the documentation for 'Predicate' on how to define predicates. category: Dependent Types homepage: https://github.com/mstksg/decidable#readme bug-reports: https://github.com/mstksg/decidable/issues author: Justin Le maintainer: justin@jle.im copyright: (c) Justin Le 2018 license: BSD3 license-file: LICENSE build-type: Simple tested-with: GHC >= 9.2 extra-source-files: README.md CHANGELOG.md source-repository head type: git location: https://github.com/mstksg/decidable library exposed-modules: Data.Type.Predicate Data.Type.Predicate.Auto Data.Type.Predicate.Logic Data.Type.Predicate.Param Data.Type.Predicate.Quantification Data.Type.Universe Data.Type.Universe.Subset other-modules: Paths_decidable hs-source-dirs: src ghc-options: -Wall -Wredundant-constraints -Wcompat -Werror=incomplete-patterns build-depends: base >=4.16 && <5 , functor-products >=0.1.2 && <0.2 , microlens <0.5 , singletons >=3.0 && <3.1 , singletons-base <3.2 , vinyl <0.15 default-language: Haskell2010