effectful-zoo-0.0.3.0: components/core/Effectful/Zoo/Reader/Static.hs

module Effectful.Zoo.Reader.Static
  ( Reader,
    ask,
    asks,
    local,
    runReader,

    runReaderM,
  ) where

import Effectful
import Effectful.Reader.Static
import HaskellWorks.Prelude

runReaderM ::
    forall i r a.
    Eff r i ->
    Eff (Reader i ': r) a ->
    Eff r a
runReaderM f action = do
  f >>= flip runReader action