Exported names:
- Datatypes:
- Event
- EventID
- Label
- Trace
- Constructors:
- Demand
- Fun
- LogVar
- Separator
- Value
- Operations:
- getParent
- getPred
- getRef
- isDemand
- isValue
- logDir
- logFile
- logFileClear
- logFilePrefix
- readTrace
- showEvent
Imported modules:
- Prelude

Module Coosy.Trace

Summary of exported operations:

logDir
                  ::  String

logFilePrefix
                  ::  String

logFile
                  ::  String -> String

logFileClear
                  ::  String

getRef
                  ::  Event -> Int

getPred
                  ::  Event -> Int

getParent
                  ::  Event -> Int

isValue
                  ::  Event -> Bool

isDemand
                  ::  Event -> Bool

showEvent
                  ::  Event -> String

readTrace
                  ::  String -> [Event]

Exported datatypes:

Label

Type synonym: Label = String

EventID

Type synonym: EventID = Int

Event

Constructors:

Demand :: Int -> EventID -> EventID -> EventID -> Event
Value :: Int -> String -> EventID -> EventID -> EventID -> Event
Fun :: EventID -> EventID -> EventID -> Event
LogVar :: EventID -> EventID -> EventID -> Event
Separator :: Event

Trace

Type synonym: Trace = [Event]

Exported operations:

logDir :: String

Further infos:

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

logFilePrefix :: String

Further infos:

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

logFile :: String -> String

Further infos:

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

logFileClear :: String

Further infos:

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

getRef :: Event -> Int

Further infos:

partially defined

getPred :: Event -> Int

Further infos:

partially defined

getParent :: Event -> Int

Further infos:

partially defined

isValue :: Event -> Bool

Further infos:

partially defined

isDemand :: Event -> Bool

Further infos:

partially defined

showEvent :: Event -> String

Further infos:

partially defined

readTrace :: String -> [Event]

Exported names:

Imported modules:

Summary of exported operations:

Exported datatypes:

Exported operations: