Polysemy.Tagged

An effect for annotating effects and disambiguating identical effects.

Tag uses of an effect, effectively gaining access to the tagged effect locally.

This may be used to create tagged- variants of regular actions.

For example:

taggedLocal :: forall k i r a
             . Member (Tagged k (Reader i)) r
            => (i -> i)
            -> Sem r a
            -> Sem r a
taggedLocal f m =
  tag @k @(Reader i) $ local @i f (raise m)

A reinterpreting version of tag.

Run a Tagged k e effect through reinterpreting it to e

Transform a Tagged k1 e effect into a Tagged k2 e effect