WithStateT.hs

module Benchmark.State.WithStateT
where

import Control.Monad.Trans.Class (lift)
import Control.Monad.Trans.Reader (ReaderT)
import Control.Monad.Trans.State.Strict (StateT, evalStateT)

import qualified Control.Monad.Trans.Reader as RT

import Control.Effect.Implicit
import Control.Effect.Implicit.Transform.State

import Benchmark.State.Base

withStateOpsComp :: forall eff . (Effect eff)
  => StateT Int eff ()
withStateOpsComp = withOps stateTOps stateBaseFunc

withStateTHandlerComp :: forall eff . (Effect eff)
  => StateT Int eff ()
withStateTHandlerComp = withHandler stateTHandler stateBaseFunc

withStateTReaderTComp :: forall eff . (Effect eff)
  => ReaderT Int eff ()
withStateTReaderTComp = do
  s <- RT.ask
  lift $ evalStateT withStateTHandlerComp s