Control.Monad.Validation

Documentation

newtype ValidationT e m a

Collects all throwed "warnings" throwed through StateT and "errors" throwed through ExceptT to single value using Monoid FIXME: give more instances like HReaderT and MonadBaseControl/MonadMask

Constructors

ValidationT

Fields

• unValidationT :: ExceptT e (StateT e m) a

Instances

MonadBase b m => MonadBase b (ValidationT e m)

Methods

liftBase :: b α -> ValidationT e m α

MonadTrans (ValidationT e)

Methods

lift :: Monad m => m a -> ValidationT e m a

LiftLocal (ValidationT e)

Methods

liftLocal :: Monad m => m r -> (forall a. Local r m a) -> forall a. Local r (ValidationT e m) a

Monad m => Monad (ValidationT e m)

Methods

(>>=) :: ValidationT e m a -> (a -> ValidationT e m b) -> ValidationT e m b

(>>) :: ValidationT e m a -> ValidationT e m b -> ValidationT e m b

return :: a -> ValidationT e m a

fail :: String -> ValidationT e m a

Functor m => Functor (ValidationT e m)

Methods

fmap :: (a -> b) -> ValidationT e m a -> ValidationT e m b

(<$) :: a -> ValidationT e m b -> ValidationT e m a

Monad m => Applicative (ValidationT e m)

Methods

pure :: a -> ValidationT e m a

(<*>) :: ValidationT e m (a -> b) -> ValidationT e m a -> ValidationT e m b

(*>) :: ValidationT e m a -> ValidationT e m b -> ValidationT e m b

(<*) :: ValidationT e m a -> ValidationT e m b -> ValidationT e m a

MonadThrow m => MonadThrow (ValidationT e m)

Methods

throwM :: Exception e => e -> ValidationT e m a

MonadCatch m => MonadCatch (ValidationT e m)

Methods

catch :: Exception e => ValidationT e m a -> (e -> ValidationT e m a) -> ValidationT e m a

newtype MonoidMap k v

Map with Monoid instance which mappend its values

Constructors

MonoidMap (Map k v)

Instances

(Eq v, Eq k) => Eq (MonoidMap k v)

Methods

(==) :: MonoidMap k v -> MonoidMap k v -> Bool

(/=) :: MonoidMap k v -> MonoidMap k v -> Bool

(Ord v, Ord k) => Ord (MonoidMap k v)

Methods

compare :: MonoidMap k v -> MonoidMap k v -> Ordering

(<) :: MonoidMap k v -> MonoidMap k v -> Bool

(<=) :: MonoidMap k v -> MonoidMap k v -> Bool

(>) :: MonoidMap k v -> MonoidMap k v -> Bool

(>=) :: MonoidMap k v -> MonoidMap k v -> Bool

max :: MonoidMap k v -> MonoidMap k v -> MonoidMap k v

min :: MonoidMap k v -> MonoidMap k v -> MonoidMap k v

(Show v, Show k) => Show (MonoidMap k v)

Methods

showsPrec :: Int -> MonoidMap k v -> ShowS

show :: MonoidMap k v -> String

showList :: [MonoidMap k v] -> ShowS

(Ord k, Monoid v) => Monoid (MonoidMap k v)

Methods

mempty :: MonoidMap k v

mappend :: MonoidMap k v -> MonoidMap k v -> MonoidMap k v

mconcat :: [MonoidMap k v] -> MonoidMap k v

(Arbitrary v, Arbitrary k, Ord k) => Arbitrary (MonoidMap k v)

Methods

arbitrary :: Gen (MonoidMap k v)

shrink :: MonoidMap k v -> [MonoidMap k v]

(ToJSON k, ToJSON v) => ToJSON (MonoidMap k v)

Methods

toJSON :: MonoidMap k v -> Value

toEncoding :: MonoidMap k v -> Encoding

toJSONList :: [MonoidMap k v] -> Value

toEncodingList :: [MonoidMap k v] -> Encoding

(Ord k, FromJSON k, FromJSON v) => FromJSON (MonoidMap k v)

Methods

parseJSON :: Value -> Parser (MonoidMap k v)

parseJSONList :: Value -> Parser [MonoidMap k v]

Ord k => Ixed (MonoidMap k v)

Methods

ix :: Index (MonoidMap k v) -> Traversal' (MonoidMap k v) (IxValue (MonoidMap k v))

Ord k => At (MonoidMap k v)

Methods

at :: Index (MonoidMap k v) -> Lens' (MonoidMap k v) (Maybe (IxValue (MonoidMap k v)))

type Index (MonoidMap k v)

type Index (MonoidMap k v) = k

type IxValue (MonoidMap k v)

type IxValue (MonoidMap k v) = v

_MonoidMap :: forall k v k v. Iso (MonoidMap k v) (MonoidMap k v) (Map k v) (Map k v)

mmSingleton :: (Eq v, Monoid v, Ord k) => k -> v -> MonoidMap k v

Convenient for vZoom as first artument. Will prevent generation of map with mempty values

setMempty :: Monoid s => ASetter' s a -> a -> s

Set given value to mempty

memptyWrap :: (Eq a, Monoid a) => b -> (a -> b) -> a -> b

neConcat :: (Foldable f, Eq (f a), Monoid a, Monoid (f a)) => (a -> a -> a) -> f a -> Maybe a

If given container is not mempty, then use given function to append all its elements and return Just result

textErrors :: [Text] -> Maybe Text

runValidationT :: (Monoid e, Monad m) => ValidationT e m a -> m (e, Maybe a)

Returns mempty instead of error if no warnings was occured. So, your error should have Eq instance to detect that any error was occured. Returns Nothing for second element of tuple if compuration was interruped by vError

runValidationTEither :: (Monoid e, Eq e, Monad m) => ValidationT e m a -> m (Either e a)

handleValidationT :: (Monoid e, Monad m, Eq e) => (e -> m a) -> ValidationT e m a -> m a

vError :: Monad m => e -> ValidationT e m a

Stops further execution of validation

vWarning :: (Monad m, Monoid e) => e -> ValidationT e m ()

Does not stop further execution, append warning to

vErrorL :: (Monad m, Monoid e) => ASetter' e a -> a -> ValidationT e m x

vWarningL :: (Monad m, Monoid e) => ASetter' e a -> a -> ValidationT e m ()

vZoom :: (Monad m, Monoid a, Monoid b) => (a -> b) -> ValidationT a m x -> ValidationT b m x

vZoomL :: (Monad m, Monoid a, Monoid b) => ASetter' b a -> ValidationT a m x -> ValidationT b m x