Hets - the Heterogeneous Tool Set

Copyright(c) Jorina Freya Gerken Till Mossakowski Uni Bremen 2002-2006
LicenseGPLv2 or higher, see LICENSE.txt
Maintainertill@informatik.uni-bremen.de
Stabilityprovisional
Portabilitynon-portable (imports Logic)
Safe HaskellNone

GUI.GraphTypes

Description

 

Synopsis

Documentation

data GInfo Source #

Global datatype for all GUI functions

Constructors

GInfo 

Fields

updateWindowCount :: GInfo -> (Int -> Int) -> IO () Source #

exitGInfo :: GInfo -> IO () Source #

Returns the exit-function

type ConvFunc = GInfo -> String -> LibFunc -> IO () Source #

Type of the convertGraph function. Used as type of a parameter of some functions in GraphMenu and GraphLogic.

type LibFunc = GInfo -> IO () Source #

type DaVinciGraphTypeSyn = Graph DaVinciGraph DaVinciGraphParms DaVinciNode DaVinciNodeType DaVinciNodeTypeParms DaVinciArc DaVinciArcType DaVinciArcTypeParms Source #

data Colors Source #

Colors to use.

Constructors

Black 
Blue 
Coral 
Green 
Yellow 
Purple 

Instances

Eq Colors Source # 

Methods

(==) :: Colors -> Colors -> Bool

(/=) :: Colors -> Colors -> Bool

Ord Colors Source # 

Methods

compare :: Colors -> Colors -> Ordering

(<) :: Colors -> Colors -> Bool

(<=) :: Colors -> Colors -> Bool

(>) :: Colors -> Colors -> Bool

(>=) :: Colors -> Colors -> Bool

max :: Colors -> Colors -> Colors

min :: Colors -> Colors -> Colors

Show Colors Source # 

Methods

showsPrec :: Int -> Colors -> ShowS

show :: Colors -> String

showList :: [Colors] -> ShowS

data Flags Source #

Constructors

Flags 

Fields

getColor Source #

Arguments

:: HetcatsOpts 
-> Colors

Colorname

-> Bool

Colorvariant

-> Bool

Lightvariant

-> String 

Converts colors to grayscale if needed

emptyGInfo :: IO GInfo Source #

Creates an empty GInfo

copyGInfo :: GInfo -> LibName -> IO GInfo Source #

Creates an empty GInfo

lockGlobal :: GInfo -> IO () Source #

Acquire the global lock. If already locked it waits till it is unlocked again.

unlockGlobal :: GInfo -> IO () Source #

Releases the global lock.