Data.Effect.ShiftReset

Documentation

data Shift' r (b :: Type -> Type) (m :: Type -> Type) a where

Constructors

Shift :: forall r (b :: Type -> Type) (m :: Type -> Type) a. ((a -> b r) -> (forall x. m x -> b x) -> b r) -> Shift' r b m a

Instances

() => HFunctor (Shift' r b)

Defined in Data.Effect.ShiftReset

Methods

hfmap :: forall (f :: Type -> Type) (g :: Type -> Type). (f :-> g) -> Shift' r b f :-> Shift' r b g

type Shift r (b :: Type -> Type) = ShiftKey ##> Shift' r b

data ShiftKey

shift'_ :: forall r b a m. SendHOE (Shift' r b) m => ((a -> b r) -> (forall x. m x -> b x) -> b r) -> m a

shift' :: forall {k} (tag :: k) r b a m. SendHOE (TagH (Shift' r b) tag) m => ((a -> b r) -> (forall x. m x -> b x) -> b r) -> m a

shift'' :: forall {k} (key :: k) r b a m. SendHOEBy key (Shift' r b) m => ((a -> b r) -> (forall x. m x -> b x) -> b r) -> m a

shift :: forall r b a m. SendHOEBy ShiftKey (Shift' r b) m => ((a -> b r) -> (forall x. m x -> b x) -> b r) -> m a

callCC :: (SendHOEBy ShiftKey (Shift' r b) m, Monad m, Monad b) => ((a -> b r) -> m a) -> m a

exit :: forall r (b :: Type -> Type) m a. (SendHOEBy ShiftKey (Shift' r b) m, Applicative b) => r -> m a

getCC :: (SendHOEBy ShiftKey (Shift' r b) m, Monad m, Monad b) => m (b r)

data Shift_' (b :: Type -> Type) (m :: Type -> Type) a where

Constructors

Shift_' :: forall a (b :: Type -> Type) (m :: Type -> Type). (forall r. (a -> b r) -> (forall x. m x -> b x) -> b r) -> Shift_' b m a

Instances

() => HFunctor (Shift_' b)

Defined in Data.Effect.ShiftReset

Methods

hfmap :: forall (f :: Type -> Type) (g :: Type -> Type). (f :-> g) -> Shift_' b f :-> Shift_' b g

type Shift_ (b :: Type -> Type) = Shift_Key ##> Shift_' b

data Shift_Key

shift_''_ :: forall a b m. SendHOE (Shift_' b) m => (forall r. (a -> b r) -> (forall x. m x -> b x) -> b r) -> m a

shift_'' :: forall {k} (tag :: k) a b m. SendHOE (TagH (Shift_' b) tag) m => (forall r. (a -> b r) -> (forall x. m x -> b x) -> b r) -> m a

shift_''' :: forall {k} (key :: k) a b m. SendHOEBy key (Shift_' b) m => (forall r. (a -> b r) -> (forall x. m x -> b x) -> b r) -> m a

shift_' :: forall a b m. SendHOEBy Shift_Key (Shift_' b) m => (forall r. (a -> b r) -> (forall x. m x -> b x) -> b r) -> m a

getCC_ :: (SendHOEBy Shift_Key (Shift_' b) m, Functor b) => m (b ())

data Reset (m :: Type -> Type) a where

Constructors

Reset :: forall (m :: Type -> Type) a. m a -> Reset m a

Instances

() => HFunctor Reset

Defined in Data.Effect.ShiftReset

Methods

hfmap :: forall (f :: Type -> Type) (g :: Type -> Type). (f :-> g) -> Reset f :-> Reset g

reset :: forall a m. SendHOE Reset m => m a -> m a

reset' :: forall {k} (tag :: k) a m. SendHOE (TagH Reset tag) m => m a -> m a

reset'' :: forall {k} (key :: k) a m. SendHOEBy key Reset m => m a -> m a