src/Gui/render.dcl

   1 definition module render
   2
   3 import StdIOCommon, StdPicture, StdPSt
   4 import matchControl
   5
   6 ::      RenderStyle             = { name :: !String
   7                                           , look :: !Match -> Look
   8                                           }
   9
  10 instance nameOf RenderStyle
  11
  12 /**     allRenderStyles:
  13                 enumerates all present rendering styles.
  14 */
  15 allRenderStyles         :: [RenderStyle]
  16
  17 /**     renderAttributes
  18                 yields the attributes required by the rendering functions to accurately draw a match.
  19 */
  20 renderAttributes        :: !*env -> (![PenAttribute],!*env) | accScreenPicture env
  21
  22 WestColour                      :: Colour
  23 EastColour                      :: Colour