Documentation

data P a Source

data IVar a Source

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

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

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

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

fork :: P () -> P ()Source

yield :: P ()Source

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

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

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

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

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