| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Language.Explorer.Monadic
Synopsis
- data Explorer programs m configs output
- mkExplorer :: Language p m c o => Bool -> (c -> c -> Bool) -> (p -> c -> m (Maybe c, o)) -> c -> Explorer p m c o
- mkExplorerNoSharing :: Language p m c o => (p -> c -> m (Maybe c, o)) -> c -> Explorer p m c o
- execute :: Language p m c o => p -> Explorer p m c o -> m (Explorer p m c o, o)
- executeAll :: Language p m c o => [p] -> Explorer p m c o -> m (Explorer p m c o, o)
- revert :: Ref -> Explorer p m c o -> Maybe (Explorer p m c o)
- jump :: Ref -> Explorer p m c o -> Maybe (Explorer p m c o)
- toTree :: Explorer p m c o -> Tree (Ref, c)
- incomingEdges :: Ref -> Explorer p m c o -> [((Ref, c), (p, o), (Ref, c))]
- config :: Explorer programs m configs output -> configs
- execEnv :: Explorer programs m configs output -> Gr Ref (programs, output)
- currRef :: Explorer programs m configs output -> Ref
- leaves :: Explorer p m c o -> [(Ref, c)]
- type Ref = Int
- type Language p m c o = (Eq p, Eq o, Monad m, Monoid o)
- deref :: Explorer p m c o -> Ref -> Maybe c
- getTrace :: Explorer p m c o -> [((Ref, c), (p, o), (Ref, c))]
- getTraces :: Explorer p m c o -> [[((Ref, c), (p, o), (Ref, c))]]
- getPathsFromTo :: Explorer p m c o -> Ref -> Ref -> [[((Ref, c), (p, o), (Ref, c))]]
- getPathFromTo :: Explorer p m c o -> Ref -> Ref -> [((Ref, c), (p, o), (Ref, c))]
- executionGraph :: Explorer p m c o -> ((Ref, c), [(Ref, c)], [((Ref, c), (p, o), (Ref, c))])
- shadowExecEnv :: Explorer programs m configs output -> Gr [Ref] (programs, output)
- eqClasses :: Explorer p m c o -> [[Ref]]
- initialRef :: Int
- fromExport :: Explorer p m c o -> (Ref, [(Ref, c)], [(Ref, Ref, (p, o))]) -> Explorer p m c o
- toExport :: Explorer p m c o -> (Ref, [(Ref, c)], [(Ref, Ref, (p, o))])
Documentation
mkExplorer :: Language p m c o => Bool -> (c -> c -> Bool) -> (p -> c -> m (Maybe c, o)) -> c -> Explorer p m c o Source #
mkExplorerNoSharing :: Language p m c o => (p -> c -> m (Maybe c, o)) -> c -> Explorer p m c o Source #
leaves :: Explorer p m c o -> [(Ref, c)] Source #
Returns all configurations that have not been the source for an execute action. This corresponds to leaves in a tree or nodes without an outbound-edge in a graph.
executionGraph :: Explorer p m c o -> ((Ref, c), [(Ref, c)], [((Ref, c), (p, o), (Ref, c))]) Source #
initialRef :: Int Source #