name: validation-micro version: 1.0.0.0 x-revision: 1 synopsis: Lighweight pure data validation based on Applicative description: Lighweight pure data validation based on Applicative. The library provides the following Either-like data type with suitable instances like Semigroup to accumulate validation errors in the `Failure` branch : . @ __data__ Validation e a \ = Failure e \ | Success a @ . homepage: https://github.com/ocramz/validation-micro license: BSD3 license-file: LICENSE author: Edward Kmett, Kowainik, Marco Zocca maintainer: ocramz copyright: 2014 Edward Kmett, 2020-2023 Kowainik, 2023 Marco Zocca category: Validation build-type: Simple extra-source-files: README.md CHANGELOG.md LICENSE cabal-version: >=1.10 tested-with: GHC == 8.6.5 GHC == 8.8.4 GHC == 8.10.7 GHC == 9.0.2 GHC == 9.2.8 library default-language: Haskell2010 hs-source-dirs: src exposed-modules: Validation.Micro build-depends: base >= 4.7 && < 5 , deepseq ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wmissing-export-lists -Wpartial-fields -Wredundant-constraints -- test-suite spec -- default-language: Haskell2010 -- type: exitcode-stdio-1.0 -- hs-source-dirs: test -- main-is: Spec.hs -- other-modules: LibSpec -- build-depends: base -- , validation-micro -- , hspec -- , QuickCheck -- ghc-options: -Wall -- -Wcompat -- -Widentities -- -Wincomplete-record-updates -- -Wincomplete-uni-patterns -- -Wmissing-export-lists -- -Wmissing-home-modules -- -Wpartial-fields -- -Wredundant-constraints source-repository head type: git location: https://github.com/ocramz/validation-micro