| Line No. | Rev | Author | Line |
|---|---|---|---|
| 1 | 1 | jcs | --Generated automatically by GuiSurfer |
| 2 | 1 | jcs | |
| 3 | 1 | jcs | module GuiTypes where |
| 4 | 1 | jcs | |
| 5 | 1 | jcs | import Data.Map |
| 6 | 1 | jcs | |
| 7 | 1 | jcs | type EventRef = String |
| 8 | 1 | jcs | type CondRef = String |
| 9 | 1 | jcs | type WindowName = String |
| 10 | 1 | jcs | type ExpRef = Int |
| 11 | 1 | jcs | |
| 12 | 1 | jcs | type GuiModel = Map (EventRef,CondRef) [ExpRef] |
| 13 | 1 | jcs | |
| 14 | 1 | jcs | type Pres = Map ExpRef (EventRef,Bool) |
| 15 | 1 | jcs | type End = [ExpRef] |
| 16 | 1 | jcs | type Close = [ExpRef] |
| 17 | 1 | jcs | type Window = WindowName |
| 18 | 1 | jcs | type NewWindow = Map ExpRef WindowName |
| 19 | 1 | jcs | |
| 20 | 1 | jcs | type State = Map EventRef Bool |
| 21 | 1 | jcs | type StateRef = String |
| 22 | 1 | jcs | newtype N = N ([CondRef],[EventRef]) |
| 23 | 1 | jcs | deriving (Eq,Show) |
| 24 | 1 | jcs | |
| 25 | 1 | jcs | type Type = String |
| 26 | 1 | jcs | type AstList = [[String]] |
| 27 | 1 | jcs | type InitPos = Int |
| 28 | 1 | jcs | type EndPos = Int |
| 29 | 1 | jcs | type SourcePosList = [(InitPos,EndPos)] |
| 30 | 1 | jcs | type Exp = (Type,AstList,InitPos,EndPos,SourcePosList) |
| 31 | 1 | jcs | type Exps = Map ExpRef Exp |
| 32 | 1 | jcs | type Events = Map EventRef Exp |
| 33 | 1 | jcs | type Conds = Map CondRef [Exp] |