Documentation

guard :: Assoc -> Guardians -> Either String AssocSource

validate :: Guard -> [String] -> GuardiansSource

train :: Task -> GuardiansSource

inclusion_of :: GuardSource

presence_of :: GuardSource

length_of :: (Integer -> Bool) -> GuardSource

int_of :: GuardSource

predicate :: (String -> Bool) -> String -> GuardSource

validate_m :: Monad m => GuardM m -> [String] -> GuardiansM mSource

predicate_m :: Monad m => (String -> m Bool) -> String -> GuardM mSource

guard_m :: Monad m => Assoc -> GuardiansM m -> m (Either String Assoc)Source

p :: (String -> Bool) -> String -> GuardSource

validateM :: Monad m => GuardM m -> [String] -> GuardiansM mSource

predicateM :: Monad m => (String -> m Bool) -> String -> GuardM mSource

guardM :: Monad m => Assoc -> GuardiansM m -> m (Either String Assoc)Source