packages feed

defun-bool-0.1.0.1: defun-bool.cabal

cabal-version:   2.4
name:            defun-bool
version:         0.1.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.7
   || ==9.8.4
   || ==9.10.3
   || ==9.12.2
   || ==9.14.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:
    , defun-core      ^>=0.1
    , singleton-bool  ^>=0.1.7

  x-docspec-extra-packages: base
  x-docspec-options:        -XDataKinds -XGADTs -XStandaloneDeriving