validation 0.5.3 → 0.5.4

raw patch · 3 files changed

+17/−5 lines, 3 files

Files

• changelog +5/−0
• src/Data/Validation.hs +11/−4
• validation.cabal +1/−1

@@ -1,3 +1,8 @@+0.5.4++* remove redundant constraints.+* add instance `Validate` for `ValidationB Identity`.+ 0.5.3  * Update `transformers` dependency to work with GHC8.

@@ -1,5 +1,6 @@ {-# LANGUAGE DeriveDataTypeable #-} {-# LANGUAGE NoImplicitPrelude #-}+{-# LANGUAGE TypeFamilies #-}  -- | Data types similar to @Data.Either@ that are explicit about failure and success. module Data.Validation@@ -36,7 +37,7 @@ import Data.Functor.Alt(Alt((<!>))) import Data.Functor.Apply(Apply((<.>))) import Data.Functor.Bind(Bind((>>-)), liftF2)-import Data.Functor.Identity(Identity(Identity))+import Data.Functor.Identity(Identity(Identity, runIdentity)) import Data.Monoid(Monoid(mappend, mempty)) import Data.Ord(Ord) import Data.Semigroup(Semigroup((<>)))@@ -125,7 +126,7 @@   AccSuccess a {-# INLINE altAccValidation #-} -instance Semigroup err => Alt (AccValidation err) where+instance Alt (AccValidation err) where   (<!>) =     altAccValidation @@ -488,7 +489,7 @@     aplValidationT  altValidationT ::-  (Functor m, Monad m) =>+  Monad m =>   ValidationT err m a   -> ValidationT err m a   -> ValidationT err m a@@ -625,7 +626,7 @@     aplValidationB  altValidationB ::-  (Functor m, Monad m) =>+  Monad m =>   ValidationB m err a   -> ValidationB m err a   -> ValidationB m err a@@ -865,6 +866,12 @@     _EitherAccValidationIso   _Either =     id++instance (m ~ Identity) => Validate (ValidationB m) where+  _Validation =+    iso+      (\(ValidationB x) -> runIdentity x)+      (ValidationB . Identity)  _Failure ::   Validate f =>

@@ -1,5 +1,5 @@ name:               validation-version:            0.5.3+version:            0.5.4 license:            BSD3 license-file:       LICENSE author:             Tony Morris <ʇǝu˙sıɹɹoɯʇ@ןןǝʞsɐɥ> <dibblego>, Nick Partridge <nkpart>