cabal-version: 2.2 name: unsatisfiable version: 0 synopsis: Unsatisfiable type class description: This package provides a . @ class Unsatisfiable (msg :: TypeError) @ . and . @ unsatisfiable :: forall msg a. Unsatisfiable msg => a @ . combinator. . There is also a plugin which . * Pretty-prints @msg@s of /wanted/ @Unsatisfiable@, and * Solves all other constraints if there is /given/ @Unsatisfiable@ . The plugin also works with @-fdefer-type-errors@. license: BSD-3-Clause license-file: LICENSE author: Oleg Grenrus , Adam Gundry maintainer: Oleg Grenrus category: Plugin tested-with: GHC ==9.0.1 source-repository head type: git location: https://github.com/phadej/unsatisfiable.git library default-language: Haskell2010 hs-source-dirs: src ghc-options: -Wall exposed-modules: Unsatisfiable Unsatisfiable.Class Unsatisfiable.Plugin build-depends: , base ^>=4.15 , ghc ^>=9.0.1