Test.Cleveland.Internal.Actions.MonadOpsInternal

Internally used typeclass for operations-related actions

Documentation

class Functor m => MonadOpsInternal m where

Typeclass for monads where operations-related actions can occur.

This is implemented for MonadCleveland and batch context.

Has Functor as a superclass constraint for convenience, all the related methods require it.

This is used internally to implement originate and transfer. There is a more specific, more user-friendly MonadOps class defined in Test.Cleveland.Internal.Actions.

Methods

withOpsCap :: (ClevelandOpsImpl m -> m a) -> m a

Obtain ClevelandOpsImpl suitable for the current "monad".

In CPS style, because the "monad" can be actually not a monad, so it can't work like ask for ReaderT.

Instances

MonadOpsInternal ClevelandOpsBatch

Defined in Test.Cleveland.Internal.Actions.MonadOpsInternal

Methods

withOpsCap :: (ClevelandOpsImpl ClevelandOpsBatch -> ClevelandOpsBatch a) -> ClevelandOpsBatch a

(HasClevelandCaps caps, ClevelandBaseMonad caps ~ m) => MonadOpsInternal (ReaderT caps m)

Defined in Test.Cleveland.Internal.Actions.MonadOpsInternal

Methods

withOpsCap :: (ClevelandOpsImpl (ReaderT caps m) -> ReaderT caps m a) -> ReaderT caps m a