| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Data.Validator
- 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 :: (ConvertibleStrings SBS a, ConvertibleStrings a SBS, 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 ConvertibleStrings a b where
- convertString :: a -> b
- 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
Instances
| 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 :: (ConvertibleStrings SBS a, ConvertibleStrings a SBS, 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 HasLength a where Source
All types that have a length, eg. String, '[a]', 'Vector a', etc.
Instances
class ConvertibleStrings a b where
Methods
convertString :: a -> b
Instances
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.