module Control.Monad.Objective.Class where
import Control.Object.Object
import Control.Elevator
import Control.Monad.Trans.State.Strict
import Control.Monad.Operational.Mini
import Control.Monad
type Inst' f g = Inst g f g
class Monad b => ObjectiveBase b where
data Inst b (f :: * -> *) (g :: * -> *)
type InstOf b o :: *
type InstOf b (Object f g) = Inst b f g
new :: Object f g -> b (Inst b f g)
invoke :: Monad m => (forall x. b x -> m x) -> (forall x. g x -> m x) -> Inst b f g -> f a -> m a
type MonadObjective b m = (ObjectiveBase b, Elevate b m, Monad m)
(.-) :: (MonadObjective b m, Elevate g m) => Inst b f g -> f a -> m a
(.-) = invoke elevate elevate
infixr 3 .-
(.^) :: (MonadObjective b m, Elevate g m, Elevate e f) => Inst b f g -> e a -> m a
i .^ e = i .- elevate e
infixr 3 .^
(.&) :: (MonadObjective b m, Elevate g m, Elevate (State s) f) => Inst b f g -> StateT s m a -> m a
i .& m = do
s <- i .^ get
(a, s') <- runStateT m s
i .^ put s'
return a
infixr 3 .&
(.!) :: (MonadObjective b m, Elevate g m) => Inst b f g -> Program f a -> m a
(.!) i = interpret (i.-)
infixr 3 .!
invocation :: (MonadObjective b m, Elevate g m) => Inst b f g -> Object f m
invocation i = Object $ liftM (\a -> (a, invocation i)). (i.-)