Data.Effect.ShiftReset

Documentation

data Shift' (r :: Type) m a where

Constructors

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

data ShiftKey

type Shift r = (##>) ShiftKey (Shift' r)

shift :: forall (r :: Type) (a :: Type) m. SendSigBy ShiftKey (Shift' r) m => ((a -> m r) -> m r) -> m a

shift'' :: forall key (r :: Type) (a :: Type) m. SendSigBy key (Shift' r) m => ((a -> m r) -> m r) -> m a

shift' :: forall tag (r :: Type) (a :: Type) m. SendSig (TagH (Shift' r) tag) m => ((a -> m r) -> m r) -> m a

shift'_ :: forall (r :: Type) (a :: Type) m. SendSig (Shift' r) m => ((a -> m r) -> m r) -> m a

callCC :: forall r m a. (SendSigBy ShiftKey (Shift' r) m, Monad m) => ((a -> m r) -> m a) -> m a

exit :: (SendSigBy ShiftKey (Shift' r) f, Applicative f) => r -> f a

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

data Shift_ m a where

Constructors

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

shift_'' :: forall key (a :: Type) m. SendSigBy key Shift_ m => (forall (r :: Type). (a -> m r) -> m r) -> m a

shift_' :: forall tag (a :: Type) m. SendSig (TagH Shift_ tag) m => (forall (r :: Type). (a -> m r) -> m r) -> m a

shift_ :: forall (a :: Type) m. SendSig Shift_ m => (forall (r :: Type). (a -> m r) -> m r) -> m a

getCC_ :: (Shift_ <<: m, Monad m) => m (m ())

data Reset m (a :: Type) where

Constructors

Reset :: 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 key (a :: Type) m. SendSigBy key Reset m => m a -> m a

reset' :: forall tag (a :: Type) m. SendSig (TagH Reset tag) m => m a -> m a

reset :: forall (a :: Type) m. SendSig Reset m => m a -> m a