Control.Monad.Spawn

Definitions

interface CanSpawn : (Type -> Type) -> Type

Parameters: m
Constraints: Monad m
Methods:

spawn : m () -> m ()

Implementation: 

Applicative m => CanSpawn (Coop m)

spawn : CanSpawn m => m () -> m ()

Totality: total
Visibility: public export