napkin-0.5.14
Safe HaskellSafe-Inferred
LanguageGHC2021

Polysemy.Tap

Synopsis

Documentation

tapBeforeWith :: forall e r rInitial a. (Coercible (e (Sem rInitial) a) (e (Sem r) a), Member e r) => (e (Sem rInitial) a -> Sem r ()) -> e (Sem rInitial) a -> Tactical e (Sem rInitial) r a #

Enables to call action before forwarding request to underlying interpreters. Useful for logging.

tapAfterWith :: forall e r rInitial a. (Coercible (e (Sem rInitial) a) (e (Sem r) a), Member e r) => (e (Sem rInitial) a -> Sem r ()) -> e (Sem rInitial) a -> Tactical e (Sem rInitial) r a #

Enables to call action after forwarding request to underlying interpreters. Useful for logging.