Polysemy.Reader.More

Documentation

module Polysemy.Reader

Interpretations

runReaderFixSem :: forall i r a. Member Fixpoint r => Sem r i -> Sem (Reader i ': r) a -> Sem r a

Runs a Reader effect by running a monadic action once, after the Sem has completed, and then providing the result to each request recursively.