validation 0.5.0 → 0.5.1
raw patch · 2 files changed
+12/−1 lines, 2 files
Files
- changelog +4/−0
- validation.cabal +8/−1
changelog view
@@ -1,3 +1,7 @@+0.5.1++* Update documentation+ 0.5.0 * Export the `ValidationB` (formerly `ValidationTB`) data type.
validation.cabal view
@@ -1,9 +1,10 @@ name: validation-version: 0.5.0+version: 0.5.1 license: BSD3 license-file: LICENSE author: Tony Morris <ʇǝu˙sıɹɹoɯʇ@ןןǝʞsɐɥ> <dibblego>, Nick Partridge <nkpart> maintainer: Tony Morris <ʇǝu˙sıɹɹoɯʇ@ןןǝʞsɐɥ> <dibblego>, Nick Partridge <nkpart>+copyright: Copyright (C) 2010-2013 Tony Morris, Nick Partridge copyright: Copyright (C) 2014,2015 NICTA Limited synopsis: A data-type like Either but with an accumulating Applicative category: Data@@ -55,6 +56,12 @@ no possible `MonadTrans` instance. Consequently, the `ValidationT` data type provides a `MonadTrans` instance (but not a `Bifunctor` instance). Library support is provided to exploit the isomorphism to `ValidationT`.+ .+ * `Validation'`+ .+ The `Validation' err a` type-alias is equivalent to + `ValidationT err Identity a` and so is isomorphic to `Either` and others.+ Libraries are supplied accordingly. homepage: https://github.com/NICTA/validation bug-reports: https://github.com/NICTA/validation/issues