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 <oleg.grenrus@iki.fi>, Adam Gundry
maintainer:    Oleg Grenrus <oleg.grenrus@iki.fi>
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