Data.Menshen

Documentation

class Monad m => HasValid m where

Minimal complete definition

Nothing

Methods

invalid :: HasI18n a => a -> m b

Instances

HasValid IO

Defined in Data.Menshen

Methods

invalid :: HasI18n a => a -> IO b

HasValid (Either String)

Defined in Data.Menshen

Methods

invalid :: HasI18n a => a -> Either String b

type Validator a = forall m. HasValid m => m a -> m a

class HasValidSize a

Minimal complete definition

getLength

Instances

HasValidSize Text

Defined in Data.Menshen

Methods

size :: (Word64, Word64) -> Validator Text

notEmpty :: Validator Text

notBlank :: Validator Text

getLength :: Text -> Word64

HasValidSize Text

Defined in Data.Menshen

Methods

size :: (Word64, Word64) -> Validator Text

notEmpty :: Validator Text

notBlank :: Validator Text

getLength :: Text -> Word64

HasValidSize [a]

Defined in Data.Menshen

Methods

size :: (Word64, Word64) -> Validator [a]

notEmpty :: Validator [a]

notBlank :: Validator [a]

getLength :: [a] -> Word64

size :: HasValidSize a => (Word64, Word64) -> Validator a

notEmpty :: HasValidSize a => Validator a

notBlank :: HasValidSize a => Validator a

notNull :: Validator (Maybe a)

assertNull :: Validator (Maybe a)

assertTrue :: Validator Bool

assertFalse :: Validator Bool

positive :: (Eq a, Num a) => Validator a

positiveOrZero :: (Eq a, Num a) => Validator a

negative :: (Eq a, Num a) => Validator a

negativeOrZero :: (Eq a, Num a) => Validator a

minInt :: (Ord a, Integral a) => a -> Validator a

maxInt :: (Ord a, Integral a) => a -> Validator a

minDecimal :: (Ord a, RealFloat a) => a -> Validator a

maxDecimal :: (Ord a, RealFloat a) => a -> Validator a

pattern :: RegexLike Regex a => String -> Validator a

email :: RegexLike Regex a => Validator a

(&) :: a -> (a -> b) -> b infixl 1

& is a reverse application operator. This provides notational convenience. Its precedence is one higher than that of the forward application operator $, which allows & to be nested in $.

>>> 5 & (+1) & show
"6"

Since: base-4.8.0.0

(=~) :: (RegexMaker Regex CompOption ExecOption source, RegexContext Regex source1 target) => source1 -> source -> target

This is the pure functional matching operator. If the target cannot be produced then some empty result will be returned. If there is an error in processing, then error will be called.

data ValidationException

Constructors

ShouldBeFalse

ShouldBeTrue

ShouldNull

ShouldNotNull

InvalidSize Word64 Word64

InvalidPositive

InvalidPositiveOrZero

InvalidNegative

InvalidNegativeOrZero

InvalidMax Integer

InvalidMin Integer

InvalidEmail

InvalidNotBlank

InvalidNotEmpty

InvalidPast

InvalidFuture

InvalidPastOrPresent

InvalidFutureOrPresent

InvalidDecimalMax Scientific

InvalidDecimalMin Scientific

InvalidDigits Word8 Word8

InvalidPattern String

Instances

Show ValidationException

Defined in Data.Menshen

Methods

showsPrec :: Int -> ValidationException -> ShowS

show :: ValidationException -> String

showList :: [ValidationException] -> ShowS

HasI18n ValidationException

Defined in Data.Menshen

Methods

toI18n :: ValidationException -> String

class HasI18n a where

Methods

toI18n :: a -> String

Instances

HasI18n ValidationException

Defined in Data.Menshen

Methods

toI18n :: ValidationException -> String