Data.Effect.CC

Description

Documentation

callCC :: forall a (ref :: Type -> Type) (es :: [Effect]) (ff :: (Type -> Type) -> Type -> Type) (c :: (Type -> Type) -> Constraint). (CC ref :> es, Monad (Eff ff es), Free c ff) => ((forall b. a -> Eff ff es b) -> Eff ff es a) -> Eff ff es a Source #

jump :: forall ref a1 b a (es :: [Effect]) (ff :: (Type -> Type) -> Type -> Type) (c :: (Type -> Type) -> Constraint). (Free c ff, a ~ Eff ff es, CC ref :> es) => ref a1 -> a1 -> a b Source #

getCC :: forall a (ref :: Type -> Type) (es :: [Effect]) (ff :: (Type -> Type) -> Type -> Type) (c :: (Type -> Type) -> Constraint). (CC ref :> es, Monad (Eff ff es), Free c ff) => Eff ff es (Eff ff es a) Source #

subFork :: forall ref a1 a (es :: [Effect]) (ff :: (Type -> Type) -> Type -> Type) (c :: (Type -> Type) -> Constraint). (Free c ff, a ~ Eff ff es, CC ref :> es) => a (Either (ref a1) a1) Source #

subFork' :: forall {k} (key :: k) ref a1 a (es :: [Effect]) (ff :: (Type -> Type) -> Type -> Type) (c :: (Type -> Type) -> Constraint). (Free c ff, a ~ Eff ff es, Has key (CC ref) es) => a (Either (ref a1) a1) Source #

subFork'' :: forall {k} (tag :: k) ref a1 a (es :: [Effect]) (ff :: (Type -> Type) -> Type -> Type) (c :: (Type -> Type) -> Constraint). (Free c ff, a ~ Eff ff es, Tagged tag (CC ref) :> es) => a (Either (ref a1) a1) Source #

subFork'_ :: forall ref a1 a (es :: [Effect]) (ff :: (Type -> Type) -> Type -> Type) (c :: (Type -> Type) -> Constraint). (Free c ff, a ~ Eff ff es, In (CC ref) es) => a (Either (ref a1) a1) Source #

jump' :: forall {k} (key :: k) ref a1 b a (es :: [Effect]) (ff :: (Type -> Type) -> Type -> Type) (c :: (Type -> Type) -> Constraint). (Free c ff, a ~ Eff ff es, Has key (CC ref) es) => ref a1 -> a1 -> a b Source #

jump'' :: forall {k} (tag :: k) ref a1 b a (es :: [Effect]) (ff :: (Type -> Type) -> Type -> Type) (c :: (Type -> Type) -> Constraint). (Free c ff, a ~ Eff ff es, Tagged tag (CC ref) :> es) => ref a1 -> a1 -> a b Source #

jump'_ :: forall ref a1 b a (es :: [Effect]) (ff :: (Type -> Type) -> Type -> Type) (c :: (Type -> Type) -> Constraint). (Free c ff, a ~ Eff ff es, In (CC ref) es) => ref a1 -> a1 -> a b Source #

data CC (ref :: Type -> Type) (a :: Type -> Type) b where #

Constructors

SubFork :: forall (ref :: Type -> Type) (a :: Type -> Type) a1. CC ref a (Either (ref a1) a1)
Jump :: forall (ref :: Type -> Type) a1 (a :: Type -> Type) b. ref a1 -> a1 -> CC ref a b

Instances details

FirstOrder (CC ref)
Instance details Defined in Data.Effect
PolyHFunctor (CC ref)
Instance details Defined in Data.Effect
HFunctor (CC ref)
Instance details Defined in Data.Effect Methods hfmap :: (forall x. f x -> g x) -> CC ref f a -> CC ref g a #
type FormOf (CC ref)
Instance details Defined in Data.Effect type FormOf (CC ref) = 'Polynomial
type LabelOf (CC ref)
Instance details Defined in Data.Effect type LabelOf (CC ref) = CCLabel
type OrderOf (CC ref)
Instance details Defined in Data.Effect type OrderOf (CC ref) = 'FirstOrder

callCC_ :: forall (ref :: Type -> Type) a b (es :: [Effect]) (ff :: (Type -> Type) -> Type -> Type) (c :: (Type -> Type) -> Constraint). (CC ref :> es, Monad (Eff ff es), Free c ff) => ((a -> Eff ff es b) -> Eff ff es a) -> Eff ff es a #

sub :: forall ref a b (es :: [Effect]) (ff :: (Type -> Type) -> Type -> Type) (c :: (Type -> Type) -> Constraint). (CC ref :> es, Monad (Eff ff es), Free c ff) => (ref a -> Eff ff es b) -> (a -> Eff ff es b) -> Eff ff es b #