cabal-version:   2.4
name:            defun-bool
version:         0.1
license:         BSD-3-Clause
license-file:    LICENSE
author:          Oleg Grenrus <oleg.grenrus@iki.fi>
maintainer:      Oleg Grenrus <oleg.grenrus@iki.fi>
category:        Data
build-type:      Simple
extra-doc-files: CHANGELOG.md
tested-with:     GHC ==9.2.8 || ==9.4.8 || ==9.6.3 || ==9.8.1
synopsis:        Defunctionalization helpers: booleans
description:
  This package provides type and term definitions for boolean type families
  in "Data.Type.Bool" (in @base@) using @SBool@ type from @singleton-bool@ package.

source-repository head
  type:     git
  location: https://github.com/phadej/defun.git
  subdir:   defun-bool

common language
  default-language:   Haskell2010
  default-extensions:
    DataKinds
    EmptyCase
    GADTs
    KindSignatures
    NoImplicitPrelude
    PatternSynonyms
    PolyKinds
    RankNTypes
    ScopedTypeVariables
    StandaloneKindSignatures
    TypeApplications
    TypeFamilies
    TypeOperators
    UndecidableInstances
    ViewPatterns

library
  import:            language
  hs-source-dirs:    src
  exposed-modules:   SBool.DeFun
  build-depends:
    , base            ^>=4.16.3.0 || ^>=4.17.2.0 || ^>=4.18.0.0 || ^>=4.19.0.0
    , defun-core      ^>=0.1
    , singleton-bool  ^>=0.1.7

  x-docspec-options: -XDataKinds -XGADTs -XStandaloneDeriving