Module

WhineM

Package: purescript-whine-core
Repository: collegevine/purescript-whine

#Env Source

type Env = { logLevel :: LogSeverity }

Instances

(Monad m) => MonadAsk Env (WhineM v m)

#WhineM Source

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

Constructors

WhineM (WriterT (Array (Violation v)) (ReaderT Env m) a)

Instances

(Functor m) => Functor (WhineM v m)
(Apply m) => Apply (WhineM v m)
(Bind m) => Bind (WhineM v m)
(Applicative m) => Applicative (WhineM v m)
(Monad m) => Monad (WhineM v m)
(Monad m) => MonadAsk Env (WhineM v m)
(Monad m) => MonadTell (Array (Violation v)) (WhineM v m)
(MonadEffect m) => MonadEffect (WhineM v m)
(MonadAff m) => MonadAff (WhineM v m)
(MonadThrow e m) => MonadThrow e (WhineM v m)
(MonadError e m) => MonadError e (WhineM v m)
MonadTrans (WhineM v)
(MonadEffect m) => MonadRules v (WhineM v m)
(MonadEffect m) => MonadLog (WhineM v m)

#runWhineM Source

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

#mapViolations Source

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

#unliftWhineM Source

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