Data.Validator

Core monad and runners

type ValidationM e = ValidationT e Identity

The validation monad

data ValidationT e m a

The validation monad transformer

Instances

MonadTrans (ValidationT e)

(Monad m, Monoid e) => Alternative (ValidationT e m)

Monad m => Monad (ValidationT e m)

Monad m => Functor (ValidationT e m)

(Monad m, Monoid e) => MonadPlus (ValidationT e m)

Monad m => Applicative (ValidationT e m)

type ValidationRule e a = ValidationRuleT e Identity a

A validation rule. Combine using (>=>) or (<=<)

type ValidationRuleT e m a = a -> ValidationT e m a

A validation rule. Combine using (>=>) or (<=<)

runValidator :: ValidationRule e a -> a -> Either e a

Run a validation on a type a

runValidatorT :: Monad m => ValidationRuleT e m a -> a -> m (Either e a)

Run a validation on a type a

Combinators

(>=>) :: Monad m => (a -> m b) -> (b -> m c) -> a -> m c infixr 1

Left-to-right Kleisli composition of monads.

(<=<) :: Monad m => (b -> m c) -> (a -> m b) -> a -> m c infixr 1

Right-to-left Kleisli composition of monads. (>=>), with the arguments flipped

Checks

minLength :: (Monad m, HasLength a) => Int64 -> e -> ValidationRuleT e m a

Check that the value is at least N elements long

maxLength :: (Monad m, HasLength a) => Int64 -> e -> ValidationRuleT e m a

Check that the value is at maxium N elements long

lengthBetween :: (Monad m, HasLength a) => Int64 -> Int64 -> e -> ValidationRuleT e m a

Check that the value's length is between N and M

notEmpty :: (Monad m, HasLength a) => e -> ValidationRuleT e m a

Specialized minLength with N = 1

largerThan :: (Monad m, Ord a) => a -> e -> ValidationRuleT e m a

Check that a value is larger than N

smallerThan :: (Monad m, Ord a) => a -> e -> ValidationRuleT e m a

Check that a value is smaller than N

valueBetween :: (Monad m, Ord a) => a -> a -> e -> ValidationRuleT e m a

Check that a value is between M and N

matchesRegex :: (ConvertibleStrings SBS a, ConvertibleStrings a SBS, Monad m) => Regex -> e -> ValidationRuleT e m a

Checks that a value matches a regular expression

conformsPred :: Monad m => (a -> Bool) -> e -> ValidationRuleT e m a

Check that a value conforms a predicate

conformsPredM :: Monad m => (a -> m Bool) -> e -> ValidationRuleT e m a

Check that a value conforms a predicate

Helper classes and types

class HasLength a where

All types that have a length, eg. String, '[a]', 'Vector a', etc.

Methods

getLength :: a -> Int64

Instances

HasLength ByteString

HasLength ByteString

HasLength Text

HasLength Text

HasLength [a]

class ConvertibleStrings a b where

Methods

convertString :: a -> b

Instances

ConvertibleStrings String String

ConvertibleStrings String StrictByteString

ConvertibleStrings String LazyByteString

ConvertibleStrings String StrictText

ConvertibleStrings String LazyText

ConvertibleStrings StrictByteString String

ConvertibleStrings StrictByteString StrictByteString

ConvertibleStrings StrictByteString LazyByteString

ConvertibleStrings StrictByteString StrictText

ConvertibleStrings StrictByteString LazyText

ConvertibleStrings LazyByteString String

ConvertibleStrings LazyByteString StrictByteString

ConvertibleStrings LazyByteString LazyByteString

ConvertibleStrings LazyByteString StrictText

ConvertibleStrings LazyByteString LazyText

ConvertibleStrings StrictText String

ConvertibleStrings StrictText StrictByteString

ConvertibleStrings StrictText LazyByteString

ConvertibleStrings StrictText StrictText

ConvertibleStrings StrictText LazyText

ConvertibleStrings LazyText String

ConvertibleStrings LazyText StrictByteString

ConvertibleStrings LazyText LazyByteString

ConvertibleStrings LazyText StrictText

ConvertibleStrings LazyText LazyText

data Int64 :: *

64-bit signed integer type

Instances

Bounded Int64

Enum Int64

Eq Int64

Integral Int64

Num Int64

Ord Int64

Read Int64

Real Int64

Show Int64

Ix Int64

Bits Int64

FiniteBits Int64

Hashable Int64

Typeable * Int64

Regular expression helpers

re :: QuasiQuoter

A QuasiQuoter for regular expressions that does a compile time check.

mkRegexQQ :: [PCREOption] -> QuasiQuoter

Returns a QuasiQuoter like re, but with given PCRE options.

data Regex :: *

An abstract pointer to a compiled PCRE Regex structure The structure allocated by the PCRE library will be deallocated automatically by the Haskell storage manager.

Instances

Eq Regex

Ord Regex

Show Regex