decidable 0.2.0.0 → 0.2.1.0

raw patch · 3 files changed

+22/−5 lines, 3 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• CHANGELOG.md +9/−0
• decidable.cabal +2/−2
• src/Data/Type/Predicate/Auto.hs +11/−3

@@ -1,6 +1,15 @@ Changelog ========= +Version 0.2.1.0+---------------++*August 24, 2019*++<https://github.com/mstksg/decidable/releases/tag/v0.2.1.0>++*   Add `autoTC` for convenient usage of `auto` with type constructors.+ Version 0.2.0.0 --------------- 

@@ -4,10 +4,10 @@ -- -- see: https://github.com/sol/hpack ----- hash: 91c5808428e945b6349291657cb7510e476dba940bd88509714b4178da856af3+-- hash: 6ed0b9a421c5cd0cbd622790a067c8e7f30ed4bda6034a6471ad2064980be446  name:           decidable-version:        0.2.0.0+version:        0.2.1.0 synopsis:       Combinators for manipulating dependently-typed predicates. description:    This library provides combinators and typeclasses for working and manipulating                 type-level predicates in Haskell, which are represented as matchable type-level

@@ -29,13 +29,14 @@ module Data.Type.Predicate.Auto (   -- * Automatically generate witnesses at compile-time     Auto(..)-  , AutoNot, autoNot+  , autoTC+  , AutoNot+  , autoNot+  , autoAny, autoNotAll   , AutoProvable   -- ** Helper classes   , AutoElem(..)   , AutoAll(..)-  -- * Auto with help-  , autoAny, autoNotAll   ) where  import           Data.Functor.Identity@@ -83,6 +84,13 @@     -- 'auto' @_ @p @a     -- @     auto :: p @@ a++-- | A version of 'auto' that "just works" with type inference, if the+-- predicate is a type constructor.+--+-- @since 0.2.1.0+autoTC :: forall t a. Auto (TyPred t) a => t a+autoTC = auto @_ @(TyPred t) @a  instance SingI a => Auto Evident a where     auto = sing