Data.Validator

core monad and runners

type ValidationM e = ValidationT e Identity

The validation monad

newtype ValidationT e m a

The validation monad transformer

Constructors

ValidationT

Fields

unValidationT :: EitherT e m a

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)

runValidator :: (a -> ValidationM e a) -> a -> Either e a

Run a validation on a type a

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

Run a validation on a type a

combinators

(+>>) :: Monad m => (a -> ValidationT e m a) -> (a -> ValidationT e m a) -> a -> ValidationT e m a

Combine two checks

checks

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

Check that the value is at least N elements long

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

Check that the value is at maxium N elements long

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

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

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

Specialized minLength with N = 1

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

Check that a value is larger than N

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

Check that a value is smaller than N

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

Check that a value is between M and N

matchesRegex :: (Stringable a, Monad m) => Regex -> e -> a -> ValidationT e m a

Checks that a value matches a regular expression

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

Check that a value conforms a predicate

conformsPredM :: Monad m => (a -> m Bool) -> e -> a -> ValidationT 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 Stringable a where

Minimal complete definition

toString, fromString, length

Methods

toString :: a -> String

fromString :: String -> a

toText :: a -> Text

fromText :: Text -> a

toLazyText :: a -> Text

fromLazyText :: Text -> a

toByteString :: a -> ByteString

fromByteString :: ByteString -> a

toLazyByteString :: a -> ByteString

fromLazyByteString :: ByteString -> a

toFilePath :: a -> FilePath

fromFilePath :: FilePath -> a

Instances

Stringable String

Stringable ByteString

Stringable ByteString

Stringable Text

Stringable FilePath

Stringable Text

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

reexports

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