Safe Haskell | None |
---|---|
Language | Haskell2010 |
- type ValidationM e = ValidationT e Identity
- data ValidationT e m a
- type ValidationRule e a = ValidationRuleT e Identity a
- type ValidationRuleT e m a = a -> ValidationT e m a
- runValidator :: ValidationRule e a -> a -> Either e a
- runValidatorT :: Monad m => ValidationRuleT e m a -> a -> m (Either e a)
- (>=>) :: Monad m => (a -> m b) -> (b -> m c) -> a -> m c
- (<=<) :: Monad m => (b -> m c) -> (a -> m b) -> a -> m c
- minLength :: (Monad m, HasLength a) => Int64 -> e -> ValidationRuleT e m a
- maxLength :: (Monad m, HasLength a) => Int64 -> e -> ValidationRuleT e m a
- lengthBetween :: (Monad m, HasLength a) => Int64 -> Int64 -> e -> ValidationRuleT e m a
- notEmpty :: (Monad m, HasLength a) => e -> ValidationRuleT e m a
- largerThan :: (Monad m, Ord a) => a -> e -> ValidationRuleT e m a
- smallerThan :: (Monad m, Ord a) => a -> e -> ValidationRuleT e m a
- valueBetween :: (Monad m, Ord a) => a -> a -> e -> ValidationRuleT e m a
- matchesRegex :: (Stringable a, Monad m) => Regex -> e -> ValidationRuleT e m a
- conformsPred :: Monad m => (a -> Bool) -> e -> ValidationRuleT e m a
- conformsPredM :: Monad m => (a -> m Bool) -> e -> ValidationRuleT e m a
- class HasLength a where
- class Stringable a where
- 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
- data Int64 :: *
- re :: QuasiQuoter
- mkRegexQQ :: [PCREOption] -> QuasiQuoter
- data Regex :: *
Core monad and runners
type ValidationM e = ValidationT e Identity Source
The validation monad
data ValidationT e m a Source
The validation monad transformer
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) |
type ValidationRule e a = ValidationRuleT e Identity a Source
type ValidationRuleT e m a = a -> ValidationT e m a Source
runValidator :: ValidationRule e a -> a -> Either e a Source
Run a validation on a type a
runValidatorT :: Monad m => ValidationRuleT e m a -> a -> m (Either e a) Source
Run a validation on a type a
Combinators
(>=>) :: Monad m => (a -> m b) -> (b -> m c) -> a -> m c infixr 1
Left-to-right Kleisli composition of monads.
(<=<) :: Monad m => (b -> m c) -> (a -> m b) -> a -> m c infixr 1
Right-to-left Kleisli composition of monads. (
, with the arguments flipped>=>
)
Checks
minLength :: (Monad m, HasLength a) => Int64 -> e -> ValidationRuleT e m a Source
Check that the value is at least N elements long
maxLength :: (Monad m, HasLength a) => Int64 -> e -> ValidationRuleT e m a Source
Check that the value is at maxium N elements long
lengthBetween :: (Monad m, HasLength a) => Int64 -> Int64 -> e -> ValidationRuleT e m a Source
Check that the value's length is between N and M
notEmpty :: (Monad m, HasLength a) => e -> ValidationRuleT e m a Source
Specialized minLength with N = 1
largerThan :: (Monad m, Ord a) => a -> e -> ValidationRuleT e m a Source
Check that a value is larger than N
smallerThan :: (Monad m, Ord a) => a -> e -> ValidationRuleT e m a Source
Check that a value is smaller than N
valueBetween :: (Monad m, Ord a) => a -> a -> e -> ValidationRuleT e m a Source
Check that a value is between M and N
matchesRegex :: (Stringable a, Monad m) => Regex -> e -> ValidationRuleT e m a Source
Checks that a value matches a regular expression
conformsPred :: Monad m => (a -> Bool) -> e -> ValidationRuleT e m a Source
Check that a value conforms a predicate
conformsPredM :: Monad m => (a -> m Bool) -> e -> ValidationRuleT e m a Source
Check that a value conforms a predicate
Helper classes and types
class Stringable a where
fromString :: String -> 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
data Int64 :: *
64-bit signed integer type
Regular expression helpers
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.