Feldspar.Par

Documentation

data P a

Instances

Monad P

Functor P

Syntax a => Syntactic (P a)

data IVar a

Instances

Syntax a => Syntactic (IVar a)

(Syntactic (IVar a), ~ (* -> *) (Domain (IVar a)) FeldDomainAll, Type (Internal (IVar a)), Syntax a) => Syntax (IVar a)

runPar :: Syntax a => P a -> a

new :: Syntax a => P (IVar a)

get :: Syntax a => IVar a -> P a

put :: Syntax a => IVar a -> a -> P ()

fork :: P () -> P ()

yield :: P ()

spawn :: Syntax a => P a -> P (IVar a)

pval :: Syntax a => a -> P (IVar a)

parMap :: Syntax b => (a -> b) -> [a] -> P [b]

parMapM :: Syntax b => (a -> P b) -> [a] -> P [b]

divConq :: Syntax b => (a -> Bool) -> (a -> [a]) -> ([b] -> b) -> (a -> b) -> a -> P b