defun-bool 0.1 → 0.1.0.1
raw patch · 1 files changed
+15/−7 lines, 1 filesdep −basePVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependencies removed: base
API changes (from Hackage documentation)
- SBool.DeFun: land :: SBool x -> SBool y -> SBool (LAnd x y)
+ SBool.DeFun: land :: forall (x :: Bool) (y :: Bool). SBool x -> SBool y -> SBool (LAnd x y)
- SBool.DeFun: landSym1 :: SBool x -> Lam SBool SBool (LAndSym1 x)
+ SBool.DeFun: landSym1 :: forall (x :: Bool). SBool x -> Lam SBool SBool (LAndSym1 x)
- SBool.DeFun: lor :: SBool x -> SBool y -> SBool (LOr x y)
+ SBool.DeFun: lor :: forall (x :: Bool) (y :: Bool). SBool x -> SBool y -> SBool (LOr x y)
- SBool.DeFun: lorSym1 :: SBool x -> Lam SBool SBool (LOrSym1 x)
+ SBool.DeFun: lorSym1 :: forall (x :: Bool). SBool x -> Lam SBool SBool (LOrSym1 x)
- SBool.DeFun: not :: SBool x -> SBool (Not x)
+ SBool.DeFun: not :: forall (x :: Bool). SBool x -> SBool (Not x)
Files
- defun-bool.cabal +15/−7
defun-bool.cabal view
@@ -1,6 +1,6 @@ cabal-version: 2.4 name: defun-bool-version: 0.1+version: 0.1.0.1 license: BSD-3-Clause license-file: LICENSE author: Oleg Grenrus <oleg.grenrus@iki.fi>@@ -8,7 +8,15 @@ 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+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@@ -39,12 +47,12 @@ ViewPatterns library- import: language- hs-source-dirs: src- exposed-modules: SBool.DeFun+ 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+ x-docspec-extra-packages: base+ x-docspec-options: -XDataKinds -XGADTs -XStandaloneDeriving