exploring-interpreters-0.2.0.0: A generic exploring interpreter for exploratory programming
Safe HaskellNone
LanguageHaskell2010

Language.Explorer.Pure

Documentation

type Explorer a b o = Explorer a Identity b o Source #

execute :: (Eq c, Eq p, Eq o, Monoid o) => p -> Explorer p c o -> (Explorer p c o, o) Source #

executeAll :: (Eq c, Eq p, Eq o, Monoid o) => [p] -> Explorer p c o -> (Explorer p c o, o) Source #

revert :: Ref -> Explorer p c o -> Maybe (Explorer p c o) Source #

dynamicRevert :: Bool -> Ref -> Explorer p c o -> Maybe (Explorer p c o) Source #

toTree :: Explorer p m c o -> Tree (Ref, c) Source #

incomingEdges :: Ref -> Explorer p c o -> [((Ref, c), (p, o), (Ref, c))] Source #

mkExplorerStack :: (Show a, Eq a, Eq b, Monoid o) => (a -> b -> (b, o)) -> b -> Explorer a b o Source #

mkExplorerTree :: (Show a, Eq a, Eq b, Monoid o) => (a -> b -> (b, o)) -> b -> Explorer a b o Source #

mkExplorerGraph :: (Show a, Eq a, Eq b, Monoid o) => (a -> b -> (b, o)) -> b -> Explorer a b o Source #

mkExplorerGSS :: (Show a, Eq a, Eq b, Monoid o) => (a -> b -> (b, o)) -> b -> Explorer a b o Source #

config :: Explorer a b o -> b Source #

type Ref = Ref Source #

deref :: Explorer p c o -> Ref -> Maybe c Source #

getTrace :: Explorer p c o -> [((Ref, c), (p, o), (Ref, c))] Source #

getTraces :: Explorer p c o -> [[((Ref, c), (p, o), (Ref, c))]] Source #

getPathsFromTo :: Explorer p c o -> Ref -> Ref -> [[((Ref, c), (p, o), (Ref, c))]] Source #

getPathFromTo :: Explorer p c o -> Ref -> Ref -> [((Ref, c), (p, o), (Ref, c))] Source #

executionGraph :: Explorer p c o -> (Ref, [Ref], [((Ref, c), (p, o), (Ref, c))]) Source #