exploring-interpreters-1.4.0.0: A generic exploring interpreter for exploratory programming

Index

$sel:body:ResponseMessageLanguage.Explorer.Tools.Protocol
$sel:code:ErrorMessageLanguage.Explorer.Tools.Protocol
$sel:current:ExecutionTreeLanguage.Explorer.Tools.Protocol
$sel:deref_ref:DerefParamsLanguage.Explorer.Tools.Protocol
$sel:edges:ExecutionTreeLanguage.Explorer.Tools.Protocol
$sel:error_data:ErrorMessageLanguage.Explorer.Tools.Protocol
$sel:exec_out:ExecuteResultLanguage.Explorer.Tools.Protocol
$sel:exec_post:ExecuteResultLanguage.Explorer.Tools.Protocol
$sel:exec_ref:ExecuteResultLanguage.Explorer.Tools.Protocol
$sel:jsonrpc:RequestMessageLanguage.Explorer.Tools.Protocol
$sel:jump_post:JumpResultLanguage.Explorer.Tools.Protocol
$sel:jump_ref:JumpParamsLanguage.Explorer.Tools.Protocol
$sel:label:EdgeLanguage.Explorer.Tools.Protocol
$sel:message:ErrorMessageLanguage.Explorer.Tools.Protocol
$sel:method:RequestMessageLanguage.Explorer.Tools.Protocol
$sel:mval:EdgeLabelLanguage.Explorer.Tools.Protocol
$sel:params:RequestMessageLanguage.Explorer.Tools.Protocol
$sel:post_revert:RevertResultLanguage.Explorer.Tools.Protocol
$sel:program:EdgeLabelLanguage.Explorer.Tools.Protocol
$sel:program:ExecuteParamsLanguage.Explorer.Tools.Protocol
$sel:reference:TraceParamsLanguage.Explorer.Tools.Protocol
$sel:references:ExecutionTreeLanguage.Explorer.Tools.Protocol
$sel:req_id:RequestMessageLanguage.Explorer.Tools.Protocol
$sel:res_id:ResponseMessageLanguage.Explorer.Tools.Protocol
$sel:revert_deleted:RevertResultLanguage.Explorer.Tools.Protocol
$sel:revert_ref:RevertParamsLanguage.Explorer.Tools.Protocol
$sel:source:EdgeLanguage.Explorer.Tools.Protocol
$sel:source:PathParamsLanguage.Explorer.Tools.Protocol
$sel:target:EdgeLanguage.Explorer.Tools.Protocol
$sel:target:PathParamsLanguage.Explorer.Tools.Protocol
acceptCommandLanguage.Explorer.Tools.Protocol
allRefsLanguage.Explorer.Tools.Protocol
config 
1 (Function)Language.Explorer.Monadic
2 (Function)Language.Explorer.Pure
constructMetaTableLanguage.Explorer.Tools.REPL
currRef 
1 (Function)Language.Explorer.Monadic
2 (Function)Language.Explorer.Pure
deref 
1 (Function)Language.Explorer.Monadic
2 (Function)Language.Explorer.Pure
3 (Function)Language.Explorer.Tools.Protocol
DerefParams 
1 (Type/Class)Language.Explorer.Tools.Protocol
2 (Data Constructor)Language.Explorer.Tools.Protocol
Edge 
1 (Type/Class)Language.Explorer.Tools.Protocol
2 (Data Constructor)Language.Explorer.Tools.Protocol
EdgeLabel 
1 (Type/Class)Language.Explorer.Tools.Protocol
2 (Data Constructor)Language.Explorer.Tools.Protocol
EIPLanguage.Explorer.Tools.Protocol
ensureParameterLanguage.Explorer.Tools.Protocol
eqClassesLanguage.Explorer.Monadic
ErrorMessage 
1 (Type/Class)Language.Explorer.Tools.Protocol
2 (Data Constructor)Language.Explorer.Tools.Protocol
execEnvLanguage.Explorer.Monadic
execute 
1 (Function)Language.Explorer.Monadic
2 (Function)Language.Explorer.Pure
3 (Function)Language.Explorer.Tools.Protocol
executeAll 
1 (Function)Language.Explorer.Monadic
2 (Function)Language.Explorer.Pure
ExecuteParams 
1 (Type/Class)Language.Explorer.Tools.Protocol
2 (Data Constructor)Language.Explorer.Tools.Protocol
ExecuteResult 
1 (Type/Class)Language.Explorer.Tools.Protocol
2 (Data Constructor)Language.Explorer.Tools.Protocol
executionGraph 
1 (Function)Language.Explorer.Monadic
2 (Function)Language.Explorer.Pure
ExecutionTree 
1 (Type/Class)Language.Explorer.Tools.Protocol
2 (Data Constructor)Language.Explorer.Tools.Protocol
executionTreeLanguage.Explorer.Tools.Protocol
Explorer 
1 (Type/Class)Language.Explorer.Monadic
2 (Type/Class)Language.Explorer.Pure
ExplorerParserLanguage.Explorer.Tools.Protocol
ExplorerPostValueLanguage.Explorer.Tools.Protocol
fromExport 
1 (Function)Language.Explorer.Monadic
2 (Function)Language.Explorer.Pure
fromResultLanguage.Explorer.Tools.Protocol
getAllReferencesLanguage.Explorer.Tools.Protocol
getCurrentReferenceLanguage.Explorer.Tools.Protocol
getLeavesLanguage.Explorer.Tools.Protocol
getPathLanguage.Explorer.Tools.Protocol
getPathFromTo 
1 (Function)Language.Explorer.Monadic
2 (Function)Language.Explorer.Pure
getPathsFromTo 
1 (Function)Language.Explorer.Monadic
2 (Function)Language.Explorer.Pure
getTrace 
1 (Function)Language.Explorer.Monadic
2 (Function)Language.Explorer.Pure
3 (Function)Language.Explorer.Tools.Protocol
getTraces 
1 (Function)Language.Explorer.Monadic
2 (Function)Language.Explorer.Pure
handleJumpLanguage.Explorer.Tools.REPL
handleRequestLanguage.Explorer.Tools.Protocol
handleRequest'Language.Explorer.Tools.Protocol
handleRevertLanguage.Explorer.Tools.REPL
handleTreeLanguage.Explorer.Tools.REPL
incomingEdges 
1 (Function)Language.Explorer.Monadic
2 (Function)Language.Explorer.Pure
initialRefLanguage.Explorer.Monadic
internalErrorCodeLanguage.Explorer.Tools.Protocol
intParseLanguage.Explorer.Tools.Protocol
intProgLanguage.Explorer.Tools.Protocol
invalidHeaderLanguage.Explorer.Tools.Protocol
invalidParamsLanguage.Explorer.Tools.Protocol
invalidParamsCodeLanguage.Explorer.Tools.Protocol
invalidRequestCodeLanguage.Explorer.Tools.Protocol
jump 
1 (Function)Language.Explorer.Monadic
2 (Function)Language.Explorer.Tools.Protocol
JumpParams 
1 (Type/Class)Language.Explorer.Tools.Protocol
2 (Data Constructor)Language.Explorer.Tools.Protocol
JumpResult 
1 (Type/Class)Language.Explorer.Tools.Protocol
2 (Data Constructor)Language.Explorer.Tools.Protocol
LanguageLanguage.Explorer.Monadic
leaves 
1 (Function)Language.Explorer.Monadic
2 (Function)Language.Explorer.Pure
MetaHandlerLanguage.Explorer.Tools.REPL
MetaTableLanguage.Explorer.Tools.REPL
metaTableLanguage.Explorer.Tools.REPL
methodDispatchLanguage.Explorer.Tools.Protocol
methodNotFoundLanguage.Explorer.Tools.Protocol
methodNotFoundCodeLanguage.Explorer.Tools.Protocol
mkExplorer 
1 (Function)Language.Explorer.Monadic
2 (Function)Language.Explorer.Pure
mkExplorerNoSharing 
1 (Function)Language.Explorer.Monadic
2 (Function)Language.Explorer.Pure
OutputHandlerLanguage.Explorer.Tools.REPL
parseErrorLanguage.Explorer.Tools.Protocol
parseErrorCodeLanguage.Explorer.Tools.Protocol
parseHeaderLanguage.Explorer.Tools.Protocol
pathNonExistingCodeLanguage.Explorer.Tools.Protocol
PathParams 
1 (Type/Class)Language.Explorer.Tools.Protocol
2 (Data Constructor)Language.Explorer.Tools.Protocol
postExecuteLanguage.Explorer.Tools.Protocol
postJumpLanguage.Explorer.Tools.Protocol
postRevertLanguage.Explorer.Tools.Protocol
ProcessResultLanguage.Explorer.Tools.Protocol
programParseErrorCodeLanguage.Explorer.Tools.Protocol
PromptLanguage.Explorer.Tools.REPL
Ref 
1 (Type/Class)Language.Explorer.Monadic
2 (Type/Class)Language.Explorer.Pure
referenceNotInTreeCodeLanguage.Explorer.Tools.Protocol
referenceRevertInvalidCodeLanguage.Explorer.Tools.Protocol
ReplLanguage.Explorer.Tools.REPL
replLanguage.Explorer.Tools.REPL
RequestMessage 
1 (Type/Class)Language.Explorer.Tools.Protocol
2 (Data Constructor)Language.Explorer.Tools.Protocol
ResponseMessage 
1 (Type/Class)Language.Explorer.Tools.Protocol
2 (Data Constructor)Language.Explorer.Tools.Protocol
revert 
1 (Function)Language.Explorer.Monadic
2 (Function)Language.Explorer.Pure
3 (Function)Language.Explorer.Tools.Protocol
RevertParams 
1 (Type/Class)Language.Explorer.Tools.Protocol
2 (Data Constructor)Language.Explorer.Tools.Protocol
RevertResult 
1 (Type/Class)Language.Explorer.Tools.Protocol
2 (Data Constructor)Language.Explorer.Tools.Protocol
RParserLanguage.Explorer.Tools.REPL
serveLanguage.Explorer.Tools.Protocol
shadowExecEnvLanguage.Explorer.Monadic
toExport 
1 (Function)Language.Explorer.Monadic
2 (Function)Language.Explorer.Pure
toTreeLanguage.Explorer.Monadic, Language.Explorer.Pure
TraceParams 
1 (Type/Class)Language.Explorer.Tools.Protocol
2 (Data Constructor)Language.Explorer.Tools.Protocol