Documentation

nonMEmpty :: (Monoid a, Eq a) => a -> Validated Text a Source #

nonMEmpty' :: (Monoid a, Eq a) => Maybe a -> Validated Text a Source #

nonZero :: (Num n, Eq n) => n -> Validated Text n Source #

positive :: (Num n, Ord n) => n -> Validated Text n Source #

natural :: (Num n, Ord n) => n -> Validated Text n Source #

negative :: (Num n, Ord n) => n -> Validated Text n Source #

between :: (Ord n, Show n) => (n, n) -> n -> Validated Text n Source #

sortTup :: Ord n => (n, n) -> (n, n) Source #

email :: Text -> Validated Text Text Source #