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