master..7f4e7c0 · typeable/validationt

.travis.yml+4−4

since splitsnapshots

unifiedsplit

@@ -12,12 +12,12 @@ cache:

12

13jobs:

14 include:

15− - ghc: 8.10.2

16− env: SNAPSHOT="nightly-2020-11-03"

17− - ghc: 8.8.4

18− env: SNAPSHOT="lts-16.20"

19 - ghc: 8.6.5

15 - ghc: 8.6.5

20 env: SNAPSHOT="lts-14.22"

16 env: SNAPSHOT="lts-14.22"

17+ - ghc: 8.6.4

18+ env: SNAPSHOT="lts-13.19"

19+ - ghc: 8.6.3

20+ env: SNAPSHOT="lts-13.11"

21 - ghc: 8.4.4

22 env: SNAPSHOT="lts-12.26"

23

README.md+1−2

@@ -2,8 +2,7 @@

2

3# ValidationT

4

5−A simple data validation library. The main idea is to provide an easy way to

5+A very small validation data library.

6−validate web form data by aggregating errors for each field.

7

6

8## Usage

7## Usage

9

8

src/Control/Monad/Validation.hs+2−5

@@ -38,14 +38,11 @@ import Data.Foldable as F

38import Data.Functor

39import Data.List as L

40import Data.Map.Strict as M

41+import Data.Monoid

41import Data.Text as T

42import Data.Text as T

42import Data.Vector as V

43import Data.Vector as V

43import Test.QuickCheck

44import Test.QuickCheck

44

45

45−#if MIN_VERSION_mtl(2,3,0)

46−import Control.Monad

47−import Control.Monad.Fix

48−#endif

49

46

50-- | Collects all thrown warnings in 'StateT' and errors

47-- | Collects all thrown warnings in 'StateT' and errors

51-- in 'ExceptT' into a single value using 'Monoid'.

48-- in 'ExceptT' into a single value using 'Monoid'.

@@ -89,7 +86,7 @@ instance (Ord k, Semigroup v) => Semigroup (MonoidMap k v) where

89

86

90instance (Ord k, Monoid v) => Monoid (MonoidMap k v) where

87instance (Ord k, Monoid v) => Monoid (MonoidMap k v) where

91 mempty = MonoidMap M.empty

88 mempty = MonoidMap M.empty

92− mappend = (<>)

89+ mappend = mmAppend

93

90

94instance (ToJSON k, ToJSON v) => ToJSON (MonoidMap k v) where

91instance (ToJSON k, ToJSON v) => ToJSON (MonoidMap k v) where

95 toJSON (MonoidMap m) = toJSON $ L.map toObj $ M.toList m

92 toJSON (MonoidMap m) = toJSON $ L.map toObj $ M.toList m

stack.yaml+1−1

@@ -15,7 +15,7 @@

15# resolver:

16# name: custom-snapshot

17# location: "./custom-snapshot.yaml"

18−resolver: lts-22.4

18+resolver: lts-14.21

19

20# User packages to be built.

21# Various formats can be used as shown in the example below.

validationt.cabal+7−12

@@ -3,10 +3,8 @@

3

4name: validationt

5version: 0.3.0

6−synopsis: Straightforward validation monad

6+synopsis: Straightforward validation monad.

7−description:

7+description: Convenient solution for validating web forms and APIs.

8− A simple data validation library. The main idea is to provide an easy way to validate web form data by aggregating errors for each field.

9− .

10homepage: https://github.com/typeable/validationt

8homepage: https://github.com/typeable/validationt

11license: BSD3

9license: BSD3

12license-file: LICENSE

10license-file: LICENSE

@@ -16,12 +14,9 @@ maintainer: makeit@typeable.io

16category: Control

14category: Control

17build-type: Simple

15build-type: Simple

18extra-source-files: ChangeLog.md

16extra-source-files: ChangeLog.md

19− , README.md

20cabal-version: >=1.10

17cabal-version: >=1.10

21tested-with: GHC == 8.4.4

18tested-with: GHC == 8.4.4

22 , GHC == 8.6.5

19 , GHC == 8.6.5

23− , GHC == 8.8.4

24− , GHC == 8.10.2

25

20

26source-repository head

21source-repository head

27 type: git

22 type: git

@@ -29,14 +24,14 @@ source-repository head

29

24

30library

25library

31 exposed-modules: Control.Monad.Validation

26 exposed-modules: Control.Monad.Validation

32− build-depends: base >=4.10 && < 5

27+ build-depends: base >=4.8 && < 5

33− , aeson >=1.0

28+ , aeson >= 1.0

34 , containers

29 , containers

35− , exceptions >=0.9

30+ , exceptions

36 , lens

31 , lens

37 , monad-control

32 , monad-control

38− , mtl <2.3 || >2.3

33+ , mtl

39− , QuickCheck >=2.8.2

34+ , QuickCheck

40 , text

35 , text

41 , transformers

36 , transformers

42 , transformers-base

37 , transformers-base