Safe Haskell	Safe
Language	Haskell2010

SSTG.Core.Execution.Engine

Description

Symbolic STG Execution Engine

Synopsis

Documentation

Load State Guess the main function.

Specified Entry Point Load

Load Result

Constructors

Instances

Eq LoadResult Source #
Methods (==) :: LoadResult -> LoadResult -> Bool # (/=) :: LoadResult -> LoadResult -> Bool #
Read LoadResult Source #
Methods readsPrec :: Int -> ReadS LoadResult # readList :: ReadS [LoadResult] # readPrec :: ReadPrec LoadResult # readListPrec :: ReadPrec [LoadResult] #
Show LoadResult Source #
Methods showsPrec :: Int -> LoadResult -> ShowS # show :: LoadResult -> String # showList :: [LoadResult] -> ShowS #

Run Flags

Constructors

RunFlags
Fields step_count :: Int step_type :: StepType dump_dir :: Maybe FilePath

Instances

Eq RunFlags Source #
Methods (==) :: RunFlags -> RunFlags -> Bool # (/=) :: RunFlags -> RunFlags -> Bool #
Read RunFlags Source #
Methods readsPrec :: Int -> ReadS RunFlags # readList :: ReadS [RunFlags] # readPrec :: ReadPrec RunFlags # readListPrec :: ReadPrec [RunFlags] #
Show RunFlags Source #
Methods showsPrec :: Int -> RunFlags -> ShowS # show :: RunFlags -> String # showList :: [RunFlags] -> ShowS #

Step Type

Constructors

Instances

Eq StepType Source #
Methods (==) :: StepType -> StepType -> Bool # (/=) :: StepType -> StepType -> Bool #
Read StepType Source #
Methods readsPrec :: Int -> ReadS StepType # readList :: ReadS [StepType] # readPrec :: ReadPrec StepType # readListPrec :: ReadPrec [StepType] #
Show StepType Source #
Methods showsPrec :: Int -> StepType -> ShowS # show :: StepType -> String # showList :: [StepType] -> ShowS #