Data.Validator

Core monad and runners

type ValidationM e

data ValidationT e m a

type ValidationRule e a

type ValidationRuleT e m a

runValidator

runValidatorT

Combinators

(>=>)

(<=<)

Checks

minLength

maxLength

lengthBetween

notEmpty

largerThan

smallerThan

valueBetween

matchesRegex

conformsPred

conformsPredM

Helper classes and types

class HasLength a

class Stringable a

data Int64

Regular expression helpers

re

mkRegexQQ

data Regex