validity 0.4.0.0 → 0.4.0.1
raw patch · 2 files changed
+13/−1 lines, 2 filesPVP: minor bump suggested
API additions: PVP suggests at least a minor version bump
API changes (from Hackage documentation)
+ Data.Validity: instance Data.Validity.Validity a => Data.Validity.Validity (Data.List.NonEmpty.NonEmpty a)
Files
- src/Data/Validity.hs +12/−0
- validity.cabal +1/−1
src/Data/Validity.hs view
@@ -69,6 +69,7 @@ import Data.Either (isRight) import Data.Fixed (Fixed(MkFixed), HasResolution) import Data.List (intercalate)+import Data.List.NonEmpty (NonEmpty((:|))) import Data.Maybe (Maybe, fromMaybe) import Data.Monoid import Data.Word (Word, Word16, Word32, Word64, Word8)@@ -373,6 +374,17 @@ e <?!> (unwords ["The element at index", show ix, "in the list"])) . zip [0 ..]++-- | A nonempty list is valid if all the elements are valid.+--+-- See the instance for 'Validity [a]' for more information.+instance Validity a => Validity (NonEmpty a) where+ isValid = all isValid+ validate (e :| es) =+ mconcat+ [ e <?!> "The first element of the nonempty list"+ , es <?!> "The rest of the elements of the nonempty list"+ ] -- | A Maybe thing is valid if the thing inside is valid or it's nothing -- It makes sense to assume that 'Nothing' is valid.
validity.cabal view
@@ -1,5 +1,5 @@ name: validity-version: 0.4.0.0+version: 0.4.0.1 cabal-version: >=1.10 build-type: Simple license: MIT