Safe Haskell	Safe-Inferred
Language	GHC2021

Polysemy.Tap

Synopsis

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
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

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.