Portability | portable (depends on ghc) |
---|---|

Stability | provisional |

Maintainer | bastiaan.heeren@ou.nl |

Safe Haskell | Safe-Inferred |

- class Sequential f where
- data Process a
- data Builder a
- build :: Builder a -> Process a
- empty :: Process a -> Bool
- firsts :: Process a -> [(a, Process a)]
- scanChoice :: (a -> b -> [(a, c)]) -> a -> Process b -> Process c
- prune :: (a -> Bool) -> Process a -> Process a
- fromAtoms :: Process (Sym a) -> Process a
- data Sym a
- atomic :: Sequential f => Process (Sym a) -> f (Sym a)
- concurrent :: Sequential f => (a -> Bool) -> Process a -> Process a -> f a
- (<@>) :: Sequential f => Process a -> Process a -> f a
- withPath :: Process a -> Process (a, Path)
- replay :: Monad m => Path -> Process a -> m ([a], Process a)
- uniquePath :: (a -> Bool) -> (a -> a -> Bool) -> Process a -> Process a
- tidyProcess :: (a -> a -> Bool) -> (a -> Bool) -> Process a -> Process a

# Documentation

class Sequential f whereSource

scanChoice :: (a -> b -> [(a, c)]) -> a -> Process b -> Process cSource

concurrent :: Sequential f => (a -> Bool) -> Process a -> Process a -> f aSource

(<@>) :: Sequential f => Process a -> Process a -> f aSource