code-conjure 0.2.6 → 0.2.8
raw patch · 5 files changed
+49/−5 lines, 5 filesdep ~leancheckPVP ok
version bump matches the API change (PVP)
Dependency ranges changed: leancheck
API changes (from Hackage documentation)
+ Conjure: data A
+ Conjure: data B
+ Conjure: data C
+ Conjure: data D
+ Conjure: data E
+ Conjure: data F
+ Conjure.Conjurable: data A
+ Conjure.Conjurable: data B
+ Conjure.Conjurable: data C
+ Conjure.Conjurable: data D
+ Conjure.Conjurable: data E
+ Conjure.Conjurable: data F
+ Conjure.Conjurable: instance Conjure.Conjurable.Conjurable Test.LeanCheck.Utils.Types.A
+ Conjure.Conjurable: instance Conjure.Conjurable.Conjurable Test.LeanCheck.Utils.Types.B
+ Conjure.Conjurable: instance Conjure.Conjurable.Conjurable Test.LeanCheck.Utils.Types.C
+ Conjure.Conjurable: instance Conjure.Conjurable.Conjurable Test.LeanCheck.Utils.Types.D
+ Conjure.Conjurable: instance Conjure.Conjurable.Conjurable Test.LeanCheck.Utils.Types.E
+ Conjure.Conjurable: instance Conjure.Conjurable.Conjurable Test.LeanCheck.Utils.Types.F
Files
- changelog.md +6/−0
- code-conjure.cabal +3/−3
- src/Conjure.hs +3/−0
- src/Conjure/Conjurable.hs +35/−0
- stack.yaml +2/−2
changelog.md view
@@ -2,6 +2,12 @@ ============================ +v0.2.8+------++* export the `A`, `B`, `C`, `D`, `E` and `F` helper types++ v0.2.6 ------
code-conjure.cabal view
@@ -3,7 +3,7 @@ -- Copyright (C) 2021 Rudy Matela -- Distributed under the 3-Clause BSD licence (see the file LICENSE). name: code-conjure-version: 0.2.6+version: 0.2.8 synopsis: conjure Haskell functions out of partial definitions description: Conjure is a tool that produces Haskell functions out of partial definitions.@@ -65,7 +65,7 @@ source-repository this type: git location: https://github.com/rudymatela/conjure- tag: v0.2.6+ tag: v0.2.8 library exposed-modules: Conjure@@ -76,7 +76,7 @@ , Conjure.Utils other-extensions: TemplateHaskell, CPP build-depends: base >= 4 && < 5- , leancheck >= 0.9.4+ , leancheck >= 0.9.6 , template-haskell , speculate >= 0.4.6 , express >= 0.1.10
src/Conjure.hs view
@@ -72,6 +72,9 @@ -- * Pure interfaces , conjpure , conjpureWith++-- * Helper test types+ , A, B, C, D, E, F ) where
src/Conjure/Conjurable.hs view
@@ -10,6 +10,7 @@ -- and utilities involving it. -- -- You are probably better off importing "Conjure".+{-# Language DeriveDataTypeable, StandaloneDeriving #-} -- for GHC < 7.10 module Conjure.Conjurable ( Reification1 , Reification@@ -24,6 +25,7 @@ , conjureTiersFor , conjureAreEqual , conjureMkEquation+ , A, B, C, D, E, F ) where @@ -382,6 +384,39 @@ conjureEquality = reifyEquality conjureTiers = reifyTiers conjureSubTypes x = conjureType (realPart x)+++-- Conjurable helper types --+instance Conjurable A where+ conjureEquality = reifyEquality+ conjureTiers = reifyTiers++instance Conjurable B where+ conjureEquality = reifyEquality+ conjureTiers = reifyTiers++instance Conjurable C where+ conjureEquality = reifyEquality+ conjureTiers = reifyTiers++instance Conjurable D where+ conjureEquality = reifyEquality+ conjureTiers = reifyTiers++instance Conjurable E where+ conjureEquality = reifyEquality+ conjureTiers = reifyTiers++instance Conjurable F where+ conjureEquality = reifyEquality+ conjureTiers = reifyTiers++deriving instance Typeable A -- for GHC < 7.10+deriving instance Typeable B -- for GHC < 7.10+deriving instance Typeable C -- for GHC < 7.10+deriving instance Typeable D -- for GHC < 7.10+deriving instance Typeable E -- for GHC < 7.10+deriving instance Typeable F -- for GHC < 7.10 -- Conjurable tuples --
stack.yaml view
@@ -9,6 +9,6 @@ - . extra-deps:-- leancheck-0.9.4+- leancheck-0.9.6 - speculate-0.4.6-- express-0.1.8+- express-0.1.10