1 definition module guiInterface
5 /** getSplashImageForGui loads the splash image for Soccer-Fun.
7 getSplashImageForGui :: !*env -> (!GamePicture,!*env) | FileSystem env
10 getActionPicsForGui :: !Match !*env -> (!ActionPics,!*env) | FileSystem env
12 /* Steps the game one step, returns the game and the referee events
14 stepMatchForGui :: !FootballGame !*env -> (![RefereeAction], !FootballGame, !*env) | FileSystem env
16 :: DisplaySpeed = Slowest | Slower | Normal | Fast | Faster | Fastest
17 instance toString DisplaySpeed
18 instance fromString DisplaySpeed
19 instance == DisplaySpeed
21 intervalFactor :: !DisplaySpeed -> Real