Exported names:
- Datatypes:
- Control
- FingerPrint
- IEnv
- IOptions
- State
- Task
- Constructors:
- CNode
- IBlockEnv
- IOptions
- State
- Task
- Fields:
- currResult
- graph
- icOptions
- program
- results
- showAllExps
- stepNum
- tasks
- waitTime
- Operations:
- addAssigns
- addResult
- addVarDecls
- askProceed
- bodyOf
- choiceOfDemand
- currentNodeOfTask
- defOpts
- demandOf
- evalExternal
- evalFirstTask
- evalFun
- execIProg
- execProg
- extendGraph
- extendGraphL
- followPath
- funApply
- funcOf
- funDollarBang
- funDollarDollarBang
- funDollarHash
- funNormalForm
- funSeq
- initState
- invokeFunction
- lookupInEnv
- lookupIntNode
- printState
- replaceNodeArg
- rootOfTask
- rootsOfState
- runWith
- selectConsBranch
- selectLitBranch
- showILit
- showResults
- standardFuncs
- step
- updateEnv
- withGraph
Imported modules:

Module ICurry.Interpreter

A simple interpreter for ICurry based on the a small-step semantics.

The following invariants are required for ICurry programs:

No nested case expression
If there is a case expression, it is on some argument and the argument index is contained in the demand information of the function.

Author: Michael Hanus

Version: July 2021

Summary of exported operations:

defOpts
                  ::  IOptions

Deterministic

withGraph
                  ::  IOptions -> Int

Deterministic

lookupInEnv
                  ::  Int -> [(Int,Int)] -> Int

Deterministic

updateEnv
                  ::  [(Int,Int)] -> Int -> Int -> [(Int,Int)]

Deterministic

rootOfTask
                  ::  Task -> Int

Deterministic

currentNodeOfTask
                  ::  Task -> Int

Deterministic

initState
                  ::  [IFunction] -> Graph -> Int -> State

Deterministic

rootsOfState
                  ::  State -> [Int]

Deterministic

showResults
                  ::  State -> String

Deterministic

addResult
                  ::  Int -> State -> State

Deterministic

printState
                  ::  IOptions -> State -> IO ()

Deterministic

askProceed
                  ::  IOptions -> IO Bool

Deterministic

execProg
                  ::  IOptions -> String -> String -> IO ()

execIProg
                  ::  IOptions -> IProg -> String -> IO ()

Deterministic

runWith
                  ::  IOptions -> State -> IO IOptions

Deterministic

evalFun
                  ::  IProg -> String -> [String]

Deterministic

step
                  ::  State -> State

Deterministic

evalFirstTask
                  ::  State -> [Task] -> State

Deterministic

invokeFunction
                  ::  State -> [Task] -> State

Deterministic

evalExternal
                  ::  Graph -> String -> [Int] -> Node

Deterministic

lookupIntNode
                  ::  Int -> Graph -> Int

Deterministic

selectConsBranch
                  ::  Node -> [IConsBranch] -> IBlock

Deterministic

selectLitBranch
                  ::  Node -> [ILitBranch] -> IBlock

Deterministic

addVarDecls
                  ::  Graph -> [(Int,Int)] -> [IVarDecl] -> (Graph,[(Int,Int)])

Deterministic

addAssigns
                  ::  Graph -> [(Int,Int)] -> [IAssign] -> (Graph,[(Int,Int)])

Deterministic

replaceNodeArg
                  ::  Graph -> Int -> Int -> Int -> Graph

Deterministic

followPath
                  ::  Graph -> Int -> [Int] -> Int

Deterministic

extendGraph
                  ::  Graph -> [(Int,Int)] -> IExpr -> (Graph,Either Int Node)

Deterministic

extendGraphL
                  ::  Graph -> [(Int,Int)] -> [IExpr] -> (Graph,[Int])

Deterministic

showILit
                  ::  ILiteral -> String

Deterministic

funcOf
                  ::  String -> [IFunction] -> IFunction

Deterministic

bodyOf
                  ::  String -> [IFunction] -> IFuncBody

Deterministic

demandOf
                  ::  String -> [IFunction] -> Maybe Int

Deterministic

choiceOfDemand
                  ::  State -> Int -> Maybe IExpr

Deterministic

funApply
                  ::  IFunction

Deterministic

funSeq
                  ::  IFunction

Deterministic

funDollarBang
                  ::  IFunction

Deterministic

funDollarDollarBang
                  ::  IFunction

Deterministic

funDollarHash
                  ::  IFunction

Deterministic

funNormalForm
                  ::  IFunction

Deterministic

standardFuncs
                  ::  [IFunction]

Deterministic

Exported datatypes:

IOptions

Constructors:

IOptions :: ICOptions -> Bool -> Int -> Int -> IOptions
Fields:
- icOptions :: ICOptions
- showAllExps :: Bool
- waitTime :: Int
- stepNum :: Int

FingerPrint

Type synonym: FingerPrint = [(ChoiceID,Int)]

Control

Constructors:

CNode :: NodeID -> Control
IBlockEnv :: IBlock -> IEnv -> Control

IEnv

Type synonym: IEnv = [(IVarIndex,NodeID)]

Task

Constructors:

Task :: Control -> [(NodeID,Int)] -> FingerPrint -> Task

State

Constructors:

State :: [IFunction] -> Graph -> [Task] -> [NodeID] -> (Maybe NodeID) -> State
Fields:
- program :: [IFunction]
- graph :: Graph
- tasks :: [Task]
- results :: [NodeID]
- currResult :: (Maybe NodeID)

Exported operations:

defOpts :: IOptions

withGraph :: IOptions -> Int

Further infos:

solution complete, i.e., able to compute all solutions

lookupInEnv :: Int -> [(Int,Int)] -> Int

updateEnv :: [(Int,Int)] -> Int -> Int -> [(Int,Int)]

rootOfTask :: Task -> Int

currentNodeOfTask :: Task -> Int

initState :: [IFunction] -> Graph -> Int -> State

Further infos:

solution complete, i.e., able to compute all solutions

rootsOfState :: State -> [Int]

showResults :: State -> String

addResult :: Int -> State -> State

Further infos:

solution complete, i.e., able to compute all solutions

printState :: IOptions -> State -> IO ()

askProceed :: IOptions -> IO Bool

execProg :: IOptions -> String -> String -> IO ()

execIProg :: IOptions -> IProg -> String -> IO ()

runWith :: IOptions -> State -> IO IOptions

evalFun :: IProg -> String -> [String]

step :: State -> State

evalFirstTask :: State -> [Task] -> State

invokeFunction :: State -> [Task] -> State

evalExternal :: Graph -> String -> [Int] -> Node

lookupIntNode :: Int -> Graph -> Int

selectConsBranch :: Node -> [IConsBranch] -> IBlock

selectLitBranch :: Node -> [ILitBranch] -> IBlock

addVarDecls :: Graph -> [(Int,Int)] -> [IVarDecl] -> (Graph,[(Int,Int)])

addAssigns :: Graph -> [(Int,Int)] -> [IAssign] -> (Graph,[(Int,Int)])

replaceNodeArg :: Graph -> Int -> Int -> Int -> Graph

followPath :: Graph -> Int -> [Int] -> Int

extendGraph :: Graph -> [(Int,Int)] -> IExpr -> (Graph,Either Int Node)

extendGraphL :: Graph -> [(Int,Int)] -> [IExpr] -> (Graph,[Int])

showILit :: ILiteral -> String

funcOf :: String -> [IFunction] -> IFunction

bodyOf :: String -> [IFunction] -> IFuncBody

demandOf :: String -> [IFunction] -> Maybe Int

choiceOfDemand :: State -> Int -> Maybe IExpr

funApply :: IFunction

Further infos:

solution complete, i.e., able to compute all solutions

funSeq :: IFunction

funDollarBang :: IFunction

Further infos:

solution complete, i.e., able to compute all solutions

funDollarDollarBang :: IFunction

funDollarHash :: IFunction

Further infos:

solution complete, i.e., able to compute all solutions

funNormalForm :: IFunction

Further infos:

solution complete, i.e., able to compute all solutions

standardFuncs :: [IFunction]