Module

WhineM

newtype CurrentModule

newtype WhineM :: Row Type -> Type -> (Type -> Type) -> Type -> Typenewtype WhineM v env m a

(Functor m) => Functor (WhineM v env m)
(Apply m) => Apply (WhineM v env m)
(Bind m) => Bind (WhineM v env m)
(Applicative m) => Applicative (WhineM v env m)
(Monad m) => Monad (WhineM v env m)
(Monad m) => MonadAsk env (WhineM v env m)
(Monad m) => MonadTell (Array (Violation v)) (WhineM v env m)
(MonadEffect m) => MonadEffect (WhineM v env m)
(MonadAff m) => MonadAff (WhineM v env m)
(MonadThrow e m) => MonadThrow e (WhineM v env m)
(MonadError e m) => MonadError e (WhineM v env m)
MonadTrans (WhineM v env)
(Monad m) => MonadReport v (WhineM v env m)
(Monad m, TypeEquals env { currentModule :: CurrentModule | r }) => MonadContext (WhineM v env m)
(MonadEffect m, TypeEquals env { logLevel :: LogSeverity | r }) => MonadLog (WhineM v env m)
(MonadEffect m, TypeEquals env { currentModule :: CurrentModule, logLevel :: LogSeverity | r }) => MonadRules v (WhineM v env m)

runWhineM :: forall v env m a. MonadEffect m => env -> WhineM v env m a -> m (a /\ (Array (Violation v)))

mapEnv :: forall v env env' m a. (env -> env') -> WhineM v env' m a -> WhineM v env m a

mapViolations :: forall v w env m a. Monad m => (Violation v -> Violation w) -> WhineM v env m a -> WhineM w env m a

unliftWhineM :: forall @m env v a x. MonadEffect m => (x -> WhineM v env m a) -> WhineM v env m (x -> m a)