Control.Eff.Log.MessageFactory

Documentation

mkLogMsg :: forall m io e. (Member (Logs m) e, MonadIO io, SetMember Lift (Lift io) e, Member (MessageFactoryReader m) e) => (m -> m) -> Eff e ()

data MessageFactory m

type MessageFactoryReader m = Reader (MessageFactory m)

withLogMessageFactory :: forall m io e a. (Member (Logs m) e, Default m, MonadIO io, SetMember Lift (Lift io) e) => Eff (MessageFactoryReader m ': e) a -> Eff e a

composeMessageFactories :: forall m e a. Member (MessageFactoryReader m) e => (m -> IO m) -> Eff e a -> Eff e a

localMessageFactory :: forall m e a. Member (MessageFactoryReader m) e => IO m -> Eff e a -> Eff e a