Control.Monad.Par.Scheds.Sparks

This scheduler uses sparks (par/pseq) directly, but only supplies the Monad.Par.Class.ParFuture interface.

Documentation

data Par a

Constructors

Done a

Instances

Monad Par

Defined in Control.Monad.Par.Scheds.Sparks

Methods

(>>=) :: Par a -> (a -> Par b) -> Par b

(>>) :: Par a -> Par b -> Par b

return :: a -> Par a

fail :: String -> Par a

Functor Par

Defined in Control.Monad.Par.Scheds.Sparks

Methods

fmap :: (a -> b) -> Par a -> Par b

(<$) :: a -> Par b -> Par a

MonadFix Par

Defined in Control.Monad.Par.Scheds.Sparks

Methods

mfix :: (a -> Par a) -> Par a

Applicative Par

Defined in Control.Monad.Par.Scheds.Sparks

Methods

pure :: a -> Par a

(<*>) :: Par (a -> b) -> Par a -> Par b

liftA2 :: (a -> b -> c) -> Par a -> Par b -> Par c

(*>) :: Par a -> Par b -> Par b

(<*) :: Par a -> Par b -> Par a

ParFuture Future Par

Defined in Control.Monad.Par.Scheds.Sparks

Methods

spawn :: NFData a => Par a -> Par (Future a)

spawn_ :: Par a -> Par (Future a)

get :: Future a -> Par a

spawnP :: NFData a => a -> Par (Future a)

data Future a

Constructors

Future a

Instances

ParFuture Future Par

Defined in Control.Monad.Par.Scheds.Sparks

Methods

spawn :: NFData a => Par a -> Par (Future a)

spawn_ :: Par a -> Par (Future a)

get :: Future a -> Par a

spawnP :: NFData a => a -> Par (Future a)

runPar :: Par a -> a

get :: Future a -> Par a

spawn :: NFData a => Par a -> Par (Future a)

spawn_ :: Par a -> Par (Future a)

spawnP :: NFData a => a -> Par (Future a)

fixPar :: (a -> Par a) -> Par a

Take the monadic fixpoint of a Par computation. This is the definition of mfix for Par.