Control.Cont.Thread

Definitions

data Thread : (Type -> Type) -> Type -> Type

Totality: total
Visibility: public export
Constructors:

Yield : m a -> Thread m a

Fork : m t -> m a -> Thread m a

Hints:

HFunctor Thread

Syntax Thread

HThread : (Type -> Type) -> Type -> Type

Visibility: public export

yield : Inj Thread sig => Free sig ()

Visibility: public export

fork : Inj Thread sig => Free sig a -> Free sig ()

Visibility: public export

data Daemon : ((Type -> Type) -> Type -> Type) -> Type

Totality: possibly not terminating due to call to $resolved2797
Visibility: public export
Constructor: 

MkDaemon : Free (Thread :+: sig) t -> Daemon sig

data SThread : ((Type -> Type) -> Type -> Type) -> Type -> Type

Totality: possibly not terminating due to call to $resolved2797
Visibility: public export
Constructors:

SYield : Free (Thread :+: sig) r -> SThread sig r

SFork : Daemon sig -> Free (Thread :+: sig) r -> SThread sig r

SActive : r -> SThread sig r

Hint: 

Syntax sig => Functor (SThread sig)

thread : Syntax sig => Handler (SThread sig) (Free (Thread :+: sig)) (Free sig)

Visibility: public export

runThread : Syntax sig => Free (Thread :+: sig) a -> Free sig (SThread sig a)

Visibility: public export

schedule : Syntax sig => Free (Thread :+: sig) a -> Free sig a

Visibility: public export