Control.Monad.Hefty.Log

Interpreters for the co-log ecosystem.

The interface is similar to co-log-polysemy.

Documentation

runLogAsOutput :: forall msg (ef :: [EffectF]) (eh :: [EffectH]). Output msg <| ef => Eff eh (Log msg ': ef) ~> Eff eh ef

runOutputAsLog :: forall msg (ef :: [EffectF]) (eh :: [EffectH]). Log msg <| ef => Eff eh (Output msg ': ef) ~> Eff eh ef

runLogAction :: forall (eh :: [EffectH]) (ef :: [EffectF]) msg. LogAction (Eff eh ef) msg -> Eff eh (Log msg ': ef) ~> Eff eh ef

runLogActionEmbed :: forall (m :: EffectF) (ef :: [EffectF]) msg (eh :: [EffectH]). m <| ef => LogAction m msg -> Eff eh (Log msg ': ef) ~> Eff eh ef

module Data.Effect.Log