/
validation-lightweight.cabal
108 lines (89 loc) · 3.24 KB
/
validation-lightweight.cabal
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
name: validation-lightweight
version: 1.1
license: BSD3
license-file: LICENCE
author: Tony Morris <ʇǝu˙sıɹɹoɯʇ@ןןǝʞsɐɥ> <dibblego>, Nick Partridge <nkpart>
maintainer: Ignat Insarov <kindaro@gmail.com>
copyright: Copyright (C) 2010-2013 Tony Morris, Nick Partridge
Copyright (C) 2014,2015 NICTA Limited
Copyright (c) 2016-2019, 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.
.
This package is identical to `validation`, but with the `lens` dependency
removed. Therefore, it is easier to understand and faster to build, but some
features are absent.
.
* `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/kindaro/validation
bug-reports: https://github.com/kindaro/validation/issues
cabal-version: >= 1.10
build-type: Simple
extra-source-files: changelog
tested-with: GHC==8.6.4, GHC==8.4.4, 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:kindaro/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
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 && < 1.1
, 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
, semigroups >= 0.8 && < 1
, validation
ghc-options:
-Wall
-threaded
hs-source-dirs:
test