name: validation version: 1 license: BSD3 license-file: LICENCE author: Tony Morris <ʇǝu˙sıɹɹoɯʇ@ןןǝʞsɐɥ> , Nick Partridge maintainer: Tony Morris <ʇǝu˙sıɹɹoɯʇ@ןןǝʞsɐɥ> , Nick Partridge , Queensland Functional Programming Lab copyright: Copyright (C) 2010-2013 Tony Morris, Nick Partridge Copyright (C) 2014,2015 NICTA Limited Copyright (c) 2016,2017, Commonwealth Scientific and Industrial Research Organisation (CSIRO) ABN 41 687 119 230. synopsis: A data-type like Either but with an accumulating Applicative category: Data description: <> . A data-type like Either but with differing properties and type-class instances. . Library support is provided for this different representation, include `lens`-related functions for converting between each and abstracting over their similarities. . * `Validation` . The `Validation` data type is isomorphic to `Either`, but has an instance of `Applicative` that accumulates on the error side. That is to say, if two (or more) errors are encountered, they are appended using a `Semigroup` operation. . As a consequence of this `Applicative` instance, there is no corresponding `Bind` or `Monad` instance. `Validation` is an example of, "An applicative functor that is not a monad." homepage: https://github.com/qfpl/validation bug-reports: https://github.com/qfpl/validation/issues cabal-version: >= 1.10 build-type: Simple extra-source-files: changelog tested-with: GHC==8.4.1, GHC==8.2.2, GHC==8.0.2, GHC==7.10.3, GHC==7.8.4, GHC==7.6.3, GHC==7.4.2 source-repository head type: git location: git@github.com:qfpl/validation.git library default-language: Haskell2010 build-depends: base >= 4.5 && < 5 , deepseq >= 1.2 && < 1.5 , semigroups >= 0.8 && < 1 , semigroupoids >= 5 && < 6 , bifunctors >= 5.1 && < 6 , lens >= 4 && < 5 if impl(ghc>=7.2) && impl(ghc<7.5) build-depends: ghc-prim == 0.2.0.0 ghc-options: -Wall hs-source-dirs: src exposed-modules: Data.Validation test-suite hedgehog type: exitcode-stdio-1.0 main-is: hedgehog_tests.hs default-language: Haskell2010 build-depends: base >= 3 && < 5 , hedgehog >= 0.5 && < 0.6 , semigroups >= 0.8 && < 1 , validation ghc-options: -Wall -threaded hs-source-dirs: test test-suite hunit type: exitcode-stdio-1.0 main-is: hunit_tests.hs default-language: Haskell2010 build-depends: base >= 3 && < 5 , HUnit >= 1.5 && < 1.7 , lens >= 4 && < 5 , semigroups >= 0.8 && < 1 , validation ghc-options: -Wall -threaded hs-source-dirs: test