gdp 0.0.0.1 → 0.0.0.2

raw patch · 3 files changed

+3/−3 lines, 3 filesPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

API changes (from Hackage documentation)

Files

• gdp.cabal +1/−1
• src/Data/Refined.hs +1/−1
• src/Theory/Equality.hs +1/−1

@@ -1,5 +1,5 @@ name:                gdp-version:             0.0.0.1+version:             0.0.0.2 synopsis:            Reason about invariants and preconditions with ghosts of departed proofs. description:         Reason about invariants and preconditions with ghosts of departed proofs.                      The GDP library implements building blocks for creating and working with

@@ -109,7 +109,7 @@ infixr 1 ?  -- | For library authors: assert that a property holds.-assert :: Defining (p n) => a -> (a ?p)+assert :: Defining (p ()) => a -> (a ?p) assert x = name x (\x -> unname (x ...axiom))  -- | Existential introduction for names: given a named value of

@@ -101,7 +101,7 @@   Theory of equality --------------------------------------------------} --- | Test if the two name arguments are equal an, if so, produce a proof+-- | Test if the two named arguments are equal and, if so, produce a proof --   of equality for the names. same :: Lawful Eq a => (a ~~ x) -> (a ~~ y) -> Maybe (Proof (x == y)) same (The x) (The y) = if x == y then Just axiom else Nothing