Copyright	(c) K. Luettich Rene Wagner Uni Bremen 2002-2005
License	GPLv2 or higher, see LICENSE.txt
Maintainer	luecke@informatik.uni-bremen.de
Stability	provisional
Portability	non-portable (imports HTk)
Safe Haskell	None

GUI.HTkUtils

Description

Utilities on top of HTk

Synopsis

data LBGoalView = LBGoalView {
- statIndicator :: LBStatusIndicator
- goalDescription :: String
}
data LBStatusIndicator
- = LBIndicatorProved
- | LBIndicatorProvedInconsistent
- | LBIndicatorDisproved
- | LBIndicatorOpen
- | LBIndicatorGuessed
- | LBIndicatorConjectured
- | LBIndicatorHandwritten
data EnableWid = forall wid.HasEnable wid => EnW wid
type GUIMVar = MVar (Maybe Toplevel)
listBox :: String -> [String] -> IO (Maybe Int)
errorMess :: String -> IO ()
confirmMess :: String -> IO Bool
messageMess :: String -> IO ()
askFileNameAndSave :: String -> String -> IO ()
createTextSaveDisplay :: String -> String -> String -> IO ()
newFileDialogStr :: String -> FilePath -> IO (Event (Maybe FilePath))
fileDialogStr :: String -> FilePath -> IO (Event (Maybe FilePath))
displayTheoryWithWarning :: String -> String -> String -> G_theory -> IO ()
populateGoalsListBox :: ListBox String -> [LBGoalView] -> IO ()
indicatorFromProofStatus :: ProofStatus a -> LBStatusIndicator
indicatorFromBasicProof :: BasicProof -> LBStatusIndicator
indicatorString :: LBStatusIndicator -> String
enableWids :: [EnableWid] -> IO ()
disableWids :: [EnableWid] -> IO ()
enableWidsUponSelection :: ListBox String -> [EnableWid] -> IO ()
when :: Applicative f => Bool -> f () -> f ()
try :: Exception e => IO a -> IO (Either e a)
forever :: Applicative f => f a -> f b
unless :: Applicative f => Bool -> f () -> f ()
newtype Event a = Event (Toggle -> (IO a -> IO ()) -> IO Result)
class Destroyable o where
- destroy :: o -> IO ()
class Destroyable o => Destructible o where
- destroyed :: o -> Event ()
data Result
- = Immediate
- | Awaiting (IO ())
- | AwaitingAlways (IO ())
class HasConfig option configuration where
- ($$) :: option -> configuration -> configuration
- configUsed :: option -> configuration -> Bool
data Channel a
data WithError a
toWithError :: Either String a -> WithError a
newChannel :: IO (Channel a)
(+>) :: Event a -> Event a -> Event a
(>>>) :: Event a -> IO b -> Event b
(>>>=) :: Event a -> (a -> IO b) -> Event b
allowWhile :: Event () -> Event a -> Event a
always :: IO a -> Event a
choose :: [Event a] -> Event a
computeEvent :: IO (Event a) -> Event a
doRequest :: Request a b -> a -> IO (Event b, IO ())
doneEvent :: a -> Event a
getAllQueued :: Event a -> IO [a]
never :: Event a
noWait :: Event a -> Event ()
poll :: Event a -> IO (Maybe a)
receiveIO :: HasReceive chan => chan a -> IO a
request :: Request a b -> a -> IO b
sendIO :: HasSend chan => chan a -> a -> IO ()
spawnEvent :: Event () -> IO (IO ())
sync :: Event a -> IO a
syncNoWait :: Event a -> IO ()
thenEvent :: Event a -> Event b -> Event b
thenGetEvent :: Event a -> (a -> Event b) -> Event b
tryEV :: Event a -> Event (Either SomeException a)
wrapAbort :: IO (Event a, IO ()) -> Event a
spawn :: IO () -> IO (IO ())
createArc :: Canvas -> [Config Arc] -> IO Arc
extent :: Degree -> Config Arc
getExtent :: Arc -> IO Degree
getStart :: Arc -> IO Degree
start :: Degree -> Config Arc
createBitMapItem :: Canvas -> [Config BitMapItem] -> IO BitMapItem
declVar :: CanvasTagOrID -> TclScript
declVarList :: CanvasTagOrID -> TclCmd
itemsNotOnSameCanvas :: IOError
lowerItem :: (CanvasItem ci, CanvasItem w) => ci -> w -> IO ()
moveItem :: (Synchronized w, CanvasItem w) => w -> Distance -> Distance -> IO ()
putItemAtBottom :: CanvasItem ci => ci -> IO ()
putItemOnTop :: CanvasItem w => w -> IO ()
raiseItem :: (CanvasItem ci, CanvasItem w) => ci -> w -> IO ()
scaleItem :: (Synchronized w, CanvasItem w) => w -> Distance -> Distance -> Double -> Double -> IO ()
(&#&) :: CanvasTag -> CanvasTag -> IO CanvasTag
(^#) :: CanvasTag -> CanvasTag -> IO CanvasTag
aboveItem :: CanvasItem item => item -> SearchSpec
addCanvasTag :: SearchSpec -> CanvasTag -> IO ()
allItems :: SearchSpec
belowItem :: CanvasItem item => item -> SearchSpec
closest :: Position -> SearchSpec
createCanvasTag :: Canvas -> [Config CanvasTag] -> IO CanvasTag
enclosed :: Position -> Position -> SearchSpec
overlapping :: Position -> Position -> SearchSpec
removeCanvasTag :: CanvasItem i => i -> CanvasTag -> IO ()
tagNot :: CanvasTag -> IO CanvasTag
withTag :: CanvasItem item => item -> SearchSpec
(|#|) :: CanvasTag -> CanvasTag -> IO CanvasTag
createEmbeddedCanvasWin :: Widget w => Canvas -> w -> [Config EmbeddedCanvasWin] -> IO EmbeddedCanvasWin
createImageItem :: Canvas -> [Config ImageItem] -> IO ImageItem
arrowshape :: ArrowShape -> Config Line
arrowstyle :: ArrowHead -> Config Line
capstyle :: CapStyle -> Config Line
createLine :: Canvas -> [Config Line] -> IO Line
getArrowshape :: Line -> IO ArrowShape
getArrowstyle :: Line -> IO ArrowHead
getCapstyle :: Line -> IO CapStyle
getJoinstyle :: Line -> IO JoinStyle
joinstyle :: JoinStyle -> Config Line
createOval :: Canvas -> [Config Oval] -> IO Oval
createPolygon :: Canvas -> [Config Polygon] -> IO Polygon
createRectangle :: Canvas -> [Config Rectangle] -> IO Rectangle
createTextItem :: Canvas -> [Config TextItem] -> IO TextItem
errmap :: BitMapHandle
getBitMapHandle :: GUIObject w => w -> ConfigID -> IO BitMapHandle
gray25 :: BitMapHandle
gray50 :: BitMapHandle
hourglass :: BitMapHandle
info :: BitMapHandle
newBitMap :: [Config BitMap] -> IO BitMap
questhead :: BitMapHandle
question :: BitMapHandle
setBitMapHandle :: GUIObject w => w -> ConfigID -> BitMapHandle -> Bool -> IO w
stringToBitMapHandle :: String -> IO BitMapHandle
warning :: BitMapHandle
focusModel :: Window w => FocusModel -> Config w
forceFocus :: Widget w => w -> IO ()
getCurrentGrab :: IO (Maybe CurrentGrab)
getFocus :: Window w => w -> IO (Maybe CurrentFocus)
getFocusModel :: Window w => w -> IO FocusModel
getGrabStatus :: Widget w => w -> IO (Maybe GrabStatus)
getRecentFocus :: Window w => w -> IO (Maybe CurrentFocus)
grabGlobal :: Widget w => w -> IO ()
grabLocal :: Widget w => w -> IO ()
releaseGrab :: Widget w => w -> IO ()
returnGrab :: Maybe CurrentGrab -> IO ()
setFocus :: Widget w => w -> IO ()
getIconMask :: Window w => Icon w -> IO BitMapHandle
iconMask :: (Window w, BitMapDesignator h) => h -> Config (Icon w)
imageToInt :: Image -> IO Int
imgData :: Format -> String -> Config Image
imgGamma :: Double -> Config Image
imgPalette :: PaletteSpec p => p -> Config Image
intToImage :: Int -> IO (Maybe Image)
newImage :: [Config Image] -> IO Image
newBox :: Container par => par -> Flexibility -> [Config Box] -> IO Box
newHBox :: Container par => par -> [Config Box] -> IO Box
newHFBox :: Container par => par -> [Config Box] -> IO Box
newVBox :: Container par => par -> [Config Box] -> IO Box
newVFBox :: Container par => par -> [Config Box] -> IO Box
newFrame :: Container par => par -> [Config Frame] -> IO Frame
createToplevel :: [Config Toplevel] -> IO Toplevel
tkGetToplevelConfig :: ObjectName -> ConfigID -> TclScript
tkSetToplevelConfigs :: ObjectName -> [ConfigOption] -> TclScript
getMaxSize :: Window w => w -> IO Size
getMinSize :: Window w => w -> IO Size
isWMConfig :: ConfigID -> Bool
lowerWin :: (Window w1, Window w2) => w1 -> w2 -> IO ()
maxSize :: Window w => Size -> Config w
minSize :: Window w => Size -> Config w
raiseWin :: (Window w1, Window w2) => w1 -> w2 -> IO ()
bell :: IO ()
ringBell :: Window w => Maybe w -> IO ()
colourmode :: ColourMode -> CreationConfig PostScript
pageAnchor :: Anchor -> CreationConfig PostScript
pageheight :: Distance -> CreationConfig PostScript
pagewidth :: Distance -> CreationConfig PostScript
pagex :: Distance -> CreationConfig PostScript
pagey :: Distance -> CreationConfig PostScript
psfile :: String -> CreationConfig PostScript
psheight :: Distance -> CreationConfig PostScript
pssize :: Size -> CreationConfig PostScript
pswidth :: Distance -> CreationConfig PostScript
rotate :: Bool -> CreationConfig PostScript
getScreenHeight :: Window a => Screen a -> IO Distance
getScreenManager :: Window a => Screen a -> IO String
getScreenVisual :: Window a => Screen a -> IO VisualClass
getScreenWidth :: Window a => Screen a -> IO Distance
buttonColours :: HasColour w => w -> ConfigID -> Bool
activeBackground :: (ColourDesignator c, HasColour w) => c -> Config w
activeForeground :: (ColourDesignator c, HasColour w) => c -> Config w
background :: (ColourDesignator c, HasColour w) => c -> Config w
bg :: (ColourDesignator c, HasColour w) => c -> Config w
disabledForeground :: (ColourDesignator c, HasColour w) => c -> Config w
fg :: (ColourDesignator c, HasColour w) => c -> Config w
foreground :: (ColourDesignator c, HasColour w) => c -> Config w
getActiveBackground :: HasColour w => w -> IO Colour
getActiveForeground :: HasColour w => w -> IO Colour
getBackground :: HasColour w => w -> IO Colour
getDisabledForeground :: HasColour w => w -> IO Colour
getForeground :: HasColour w => w -> IO Colour
hasBackGroundColour :: HasColour w => w -> ConfigID -> Bool
hasForeGroundColour :: HasColour w => w -> ConfigID -> Bool
bind :: GUIObject wid => wid -> [WishEvent] -> IO (Event EventInfo, IO ())
bindPath :: Widget wid => wid -> [WishEvent] -> IO (Event EventInfo, IO ())
bindPathSimple :: Widget wid => wid -> WishEventType -> IO (Event (), IO ())
bindSimple :: GUIObject wid => wid -> WishEventType -> IO (Event (), IO ())
arrow :: Cursor
circle :: Cursor
clock :: Cursor
diamondCross :: Cursor
dot :: Cursor
drapedBox :: Cursor
exchange :: Cursor
fleur :: Cursor
gobbler :: Cursor
gumby :: Cursor
hand1 :: Cursor
hand2 :: Cursor
pencil :: Cursor
plus :: Cursor
spraycan :: Cursor
tcross :: Cursor
watch :: Cursor
xterm :: Cursor
addEventInfoSet :: EventInfoSet -> [EventParameter] -> EventInfoSet
defaultEventInfoSet :: EventInfoSet
delEventInfoSet :: EventInfoSet -> [EventParameter] -> EventInfoSet
emptyEventInfoSet :: EventInfoSet
epFromChar :: Char -> EventParameter
epToChar :: EventParameter -> Char
listEventInfoSet :: EventInfoSet -> [EventParameter]
mkEventInfo :: [(EventParameter, String)] -> EventInfo
mkEventInfoSet :: [EventParameter] -> EventInfoSet
xfont :: XFont
creadTk :: GUIValue a => String -> IO a
delimitString :: String -> String
escapeString :: String -> String
illegalGUIValue :: IOError
toTkString :: String -> String
cm :: Double -> Distance
ic :: Double -> Distance
mm :: Double -> Distance
pp :: Double -> Distance
tocm :: Distance -> Double
toinch :: Distance -> Double
showGridPackOptions :: [GridPackOption] -> String
showPackOptions :: [PackOption] -> String
grid :: Widget w => w -> [GridPackOption] -> IO ()
pack :: Widget w => w -> [PackOption] -> IO ()
showCreationConfigs :: [CreationConfig a] -> IO String
toggle :: Toggle -> Toggle
createTkVariable :: GUIValue a => a -> IO (TkVariable a)
readTkVariable :: GUIValue a => TkVariable a -> IO a
setTkVariable :: GUIValue a => TkVariable a -> a -> IO ()
cleanupWish :: IO ()
delayWish :: IO a -> IO a
forgetPackage :: String -> IO ()
isPackageAvailable :: String -> IO Bool
isTixAvailable :: IO Bool
requirePackage :: String -> IO Bool
createMenu :: GUIObject par => par -> Bool -> [Config Menu] -> IO Menu
popup :: GUIObject i => Menu -> Position -> Maybe i -> IO ()
post :: Menu -> Position -> IO ()
unpost :: Menu -> IO ()
createMenuCascade :: Menu -> [Config MenuCascade] -> IO MenuCascade
createPulldownMenu :: Menu -> [Config MenuCascade] -> IO Menu
createMenuCheckButton :: Menu -> [Config MenuCheckButton] -> IO MenuCheckButton
createMenuCommand :: Menu -> [Config MenuCommand] -> IO MenuCommand
createMenuRadioButton :: Menu -> [Config MenuRadioButton] -> IO MenuRadioButton
createMenuSeparator :: Menu -> [Config MenuSeparator] -> IO MenuSeparator
createEmbeddedTextWin :: (HasIndex Editor i BaseIndex, Widget w) => Editor -> i -> w -> [Config EmbeddedTextWin] -> IO EmbeddedTextWin
getStretch :: EmbeddedTextWin -> IO Toggle
stretch :: Toggle -> Config EmbeddedTextWin
createMark :: HasIndex Editor i BaseIndex => Editor -> String -> i -> IO Mark
getCurrentMarks :: Editor -> IO [Mark]
setMark :: HasIndex Editor i BaseIndex => Mark -> i -> IO ()
setMarkGravity :: Mark -> Gravity -> IO ()
unsetMark :: Mark -> IO ()
addTextTag :: (HasIndex Editor i1 BaseIndex, HasIndex Editor i2 BaseIndex) => TextTag -> i1 -> i2 -> IO ()
bgstipple :: BitMapHandle -> Config TextTag
createTextTag :: (HasIndex Editor i1 BaseIndex, HasIndex Editor i2 BaseIndex) => Editor -> i1 -> i2 -> [Config TextTag] -> IO TextTag
fgstipple :: BitMapHandle -> Config TextTag
getBgstipple :: TextTag -> IO BitMapHandle
getFgstipple :: TextTag -> IO BitMapHandle
getLmargin1 :: TextTag -> IO Distance
getLmargin2 :: TextTag -> IO Distance
getOffset :: TextTag -> IO Distance
getOverstrike :: TextTag -> IO Toggle
getRmargin :: TextTag -> IO Distance
getUnderlined :: TextTag -> IO Toggle
lmargin1 :: Distance -> Config TextTag
lmargin2 :: Distance -> Config TextTag
lowerTextTag :: TextTag -> IO ()
offset :: Distance -> Config TextTag
overstrike :: Toggle -> Config TextTag
raiseTextTag :: TextTag -> IO ()
removeTextTag :: (HasIndex Editor i1 BaseIndex, HasIndex Editor i2 BaseIndex) => TextTag -> i1 -> i2 -> IO ()
rmargin :: Distance -> Config TextTag
underlined :: Toggle -> Config TextTag
getLabelSide :: LabelFrame -> IO LabelSide
labelSide :: LabelSide -> Config LabelFrame
newLabelFrame :: Container par => par -> [Config LabelFrame] -> IO LabelFrame
createNoteBookPage :: NoteBook -> String -> [Config NoteBookPage] -> IO NoteBookPage
newNoteBook :: Container par => par -> [Config NoteBook] -> IO NoteBook
after :: Pane -> CreationConfig Pane
at :: Int -> CreationConfig Pane
before :: Pane -> CreationConfig Pane
createPane :: PanedWindow -> [CreationConfig Pane] -> [Config Pane] -> IO Pane
expand :: Double -> CreationConfig Pane
initsize :: Int -> CreationConfig Pane
maxsize :: Int -> CreationConfig Pane
minsize :: Int -> CreationConfig Pane
newPanedWindow :: Container par => par -> Orientation -> [Config PanedWindow] -> IO PanedWindow
finishHTk :: IO ()
getHTk :: IO HTk
initHTk :: [Config HTk] -> IO HTk
resourceFile :: String -> Config HTk
updateAllTasks :: IO ()
updateIdleTasks :: IO ()
withdrawMainWin :: Config HTk
withdrawWish :: IO ()
newButton :: Container par => par -> [Config Button] -> IO Button
closeEnough :: Double -> Canvas -> IO Canvas
confine :: Bool -> Canvas -> IO Canvas
getCloseEnough :: Canvas -> IO Double
getConfine :: Canvas -> IO Bool
getScrollRegion :: Canvas -> IO ScrollRegion
newCanvas :: Container par => par -> [Config Canvas] -> IO Canvas
screenToCanvasCoord :: Canvas -> Orientation -> Distance -> Maybe Distance -> IO Distance
scrollIncrement :: Orientation -> Distance -> Canvas -> IO Canvas
scrollRegion :: ScrollRegion -> Canvas -> IO Canvas
newCheckButton :: Container par => par -> [Config (CheckButton a)] -> IO (CheckButton a)
entrySubwidget :: GUIValue a => ComboBox a -> Entry a
listBoxSubwidget :: GUIValue a => ComboBox a -> ListBox a
newComboBox :: (GUIValue a, Container par) => par -> Bool -> [Config (ComboBox a)] -> IO (ComboBox a)
pick :: GUIValue a => Int -> Config (ComboBox a)
adjustViewTo :: HasIndex Editor i BaseIndex => Editor -> i -> IO ()
appendText :: Editor -> String -> IO ()
compareIndices :: (HasIndex Editor i1 BaseIndex, HasIndex Editor i2 BaseIndex) => Editor -> String -> i1 -> i2 -> IO Bool
deleteText :: HasIndex Editor i BaseIndex => Editor -> i -> IO ()
deleteTextRange :: (HasIndex Editor i1 BaseIndex, HasIndex Editor i2 BaseIndex) => Editor -> i1 -> i2 -> IO ()
getIndexPosition :: HasIndex Editor i BaseIndex => Editor -> i -> IO Position
getTextLine :: HasIndex Editor i BaseIndex => Editor -> i -> IO String
getTextRange :: (HasIndex Editor i1 BaseIndex, HasIndex Editor i2 BaseIndex) => Editor -> i1 -> i2 -> IO String
getWrapMode :: Editor -> IO WrapMode
insertNewline :: Editor -> IO ()
insertText :: (HasIndex Editor i BaseIndex, GUIValue a) => Editor -> i -> a -> IO ()
newEditor :: Container par => par -> [Config Editor] -> IO Editor
readTextFromFile :: Editor -> FilePath -> IO ()
scanDragTo :: HasIndex Editor i BaseIndex => Editor -> i -> IO ()
scanMark :: HasIndex Editor i BaseIndex => Editor -> i -> IO ()
search :: HasIndex Editor i BaseIndex => Editor -> SearchSwitch -> String -> i -> IO (Maybe BaseIndex)
wrap :: WrapMode -> Config Editor
writeTextToFile :: Editor -> FilePath -> IO ()
getShowText :: GUIValue a => Entry a -> IO Char
newEntry :: (Container par, GUIValue a) => par -> [Config (Entry a)] -> IO (Entry a)
showText :: GUIValue a => Char -> Entry a -> IO (Entry a)
newLabel :: Container par => par -> [Config Label] -> IO Label
activateElem :: HasIndex (ListBox a) i Int => ListBox a -> i -> IO ()
elemNotFound :: IOError
getSelectMode :: GUIValue a => ListBox a -> IO SelectMode
newListBox :: (Container par, GUIValue a) => par -> [Config (ListBox a)] -> IO (ListBox a)
selectMode :: GUIValue a => SelectMode -> ListBox a -> IO (ListBox a)
selectionAnchor :: HasIndex (ListBox a) i Int => ListBox a -> i -> IO ()
newMenuButton :: Container par => par -> [Config MenuButton] -> IO MenuButton
aspect :: Int -> Config Message
getAspect :: Message -> IO Int
newMessage :: Container par => par -> [Config Message] -> IO Message
newOptionMenu :: (Container par, GUIValue a) => par -> [a] -> [Config (OptionMenu a)] -> IO (OptionMenu a)
newRadioButton :: Container par => par -> [Config (RadioButton a)] -> IO (RadioButton a)
bigIncrement :: ScaleValue a => a -> Config (Slider (Scale a))
digits :: Int -> Config (Scale a)
getBigIncrement :: ScaleValue a => Slider (Scale a) -> IO a
getDigits :: Scale a -> IO Int
getInterval :: ScaleValue a => Scale a -> IO (a, a)
getIntervalFrom :: ScaleValue a => Scale a -> IO a
getIntervalTo :: ScaleValue a => Scale a -> IO a
getShowValue :: Slider (Scale a) -> IO Toggle
interval :: ScaleValue a => (a, a) -> Config (Scale a)
intervalFrom :: ScaleValue a => a -> Config (Scale a)
intervalTo :: ScaleValue a => a -> Config (Scale a)
newScale :: (GUIValue a, ScaleValue a, Container par) => par -> [Config (Scale a)] -> IO (Scale a)
showValue :: Toggle -> Config (Slider (Scale a))
activateScrollBarElem :: ScrollBar -> ScrollBarElem -> IO ()
fraction :: ScrollBar -> Position -> IO Fraction
getActivatedElem :: ScrollBar -> IO (Maybe ScrollBarElem)
identify :: ScrollBar -> Position -> IO (Maybe ScrollBarElem)
newScrollBar :: Container par => par -> [Config ScrollBar] -> IO ScrollBar
setView :: ScrollBar -> Fraction -> Fraction -> IO ()
(#) :: a -> (a -> b) -> b
coerceWithError :: WithError a -> a
coerceWithErrorIO :: WithError a -> IO a
coerceWithErrorOrBreak :: (String -> a) -> WithError a -> a
coerceWithErrorOrBreakIO :: (String -> a) -> WithError a -> IO a
coerceWithErrorOrBreakIOPrefix :: String -> (String -> a) -> WithError a -> IO a
coerceWithErrorOrBreakPrefix :: String -> (String -> a) -> WithError a -> a
coerceWithErrorStringIO :: String -> WithError a -> IO a
concatWithError :: [WithError a] -> WithError [a]
config :: IO () -> Config w
configure :: w -> [Config w] -> IO w
done :: Monad m => m ()
exceptionToError :: Exception e => (e -> Maybe String) -> IO a -> IO (WithError a)
foreach :: Monad m => [a] -> (a -> m b) -> m ()
foreverUntil :: Monad m => m Bool -> m ()
fromWithError :: WithError a -> Either String a
fromWithError1 :: a -> WithError a -> a
hasError :: String -> WithError a
hasValue :: a -> WithError a
incase :: Maybe a -> (a -> IO b) -> IO ()
isError :: WithError a -> Bool
listWithError :: [WithError a] -> WithError [a]
mapWithError :: (a -> b) -> WithError a -> WithError b
mapWithError' :: (a -> WithError b) -> WithError a -> WithError b
mapWithErrorIO :: (a -> IO b) -> WithError a -> IO (WithError b)
mapWithErrorIO' :: (a -> IO (WithError b)) -> WithError a -> IO (WithError b)
monadifyWithError :: forall (m :: Type -> Type) a. Monad m => WithError a -> MonadWithError m a
pairWithError :: WithError a -> WithError b -> WithError (a, b)
propagate :: Answer a -> IO a
raise :: IOError -> IO a
swapIOWithError :: WithError (IO a) -> IO (WithError a)
toMonadWithError :: Monad m => m a -> MonadWithError m a
tryUntilOK :: IO a -> IO a
while :: Monad m => m a -> (a -> Bool) -> m a
class HasEvent (eventType :: Type -> Type) where
- toEvent :: eventType a -> Event a
class HasReceive (chan :: Type -> Type) where
- receive :: chan a -> Event a
class HasSend (chan :: Type -> Type) where
- send :: chan a -> a -> Event ()
data Request a b = Request (a -> IO (Event b, IO ()))
class Synchronized a where
- synchronize :: a -> IO b -> IO b
data Arc
data BitMapItem
class GUIObject w => CanvasItem w
class CanvasItem w => FilledCanvasItem w where
- filling :: ColourDesignator c => c -> Config w
- getFilling :: w -> IO Colour
- outline :: ColourDesignator c => c -> Config w
- getOutline :: w -> IO Colour
- stipple :: BitMapHandle -> Config w
- getStipple :: w -> IO BitMapHandle
- outlinewidth :: Distance -> Config w
- getOutlineWidth :: w -> IO Distance
class HasCoords w where
- coord :: Coord -> Config w
- getCoord :: w -> IO Coord
class CanvasItem w => SegmentedCanvasItem w where
- splinesteps :: Int -> Config w
- getSplinesteps :: w -> IO Int
- smooth :: Bool -> Config w
- getSmooth :: w -> IO Bool
data CanvasTag
data SearchSpec
class CanvasItem w => TaggedCanvasItem w where
- tags :: [CanvasTag] -> Config w
data EmbeddedCanvasWin
data ImageItem
data ArrowHead
- = BothEnds
- | LastEnd
- | FirstEnd
- | NoHead
data CapStyle
- = CapRound
- | CapProjecting
- | CapButt
data JoinStyle
- = JoinRound
- | JoinMiter
- | JoinBevel
data Line
data Oval
data Polygon
data Rectangle
data TextItem
data BitMap
class BitMapDesignator d where
- toBitMap :: d -> BitMapHandle
data BitMapHandle
- = Predefined String
- | BitMapHandle BitMap
- | BitMapFile String
class GUIObject w => HasBitMap w where
- bitmap :: BitMapDesignator d => d -> Config w
- getBitMap :: w -> IO BitMapHandle
data CurrentFocus
data CurrentGrab = CurrentGrab GUIOBJECT
data FocusModel
- = ActiveFocus
- | PassiveFocus
data GrabStatus
- = Local
- | Global
data Window w => Icon w = Icon w
data Format
- = GIF
- | PPM
- | PGM
class GUIObject w => HasPhoto w where
- photo :: Image -> Config w
- getPhoto :: w -> IO (Maybe Image)
data Image
data BaseIndex
- = IndexNo Int
- | IndexPos Position
- | IndexText String
data EndOfText = EndOfText
data First = First
class HasIndex w i b where
- getBaseIndex :: w -> i -> IO b
data Last = Last
data Pixels = Pixels Distance Distance
class GUIObject w => HasSelection w where
- clearSelection :: w -> IO ()
class HasSelectionBaseIndex w i where
- getSelection :: w -> IO (Maybe i)
class HasSelectionIndex w i => HasSelectionBaseIndexRange w i where
- getSelectionStart :: w -> IO (Maybe i)
- getSelectionEnd :: w -> IO (Maybe i)
- getSelectionRange :: w -> IO (Maybe (i, i))
class HasSelectionIndex w i where
- selection :: i -> Config w
- isSelected :: w -> i -> IO Bool
class HasSelectionIndexRange w i1 i2 where
- selectionRange :: i1 -> i2 -> Config w
newtype Selection w = Selection w
class Widget w => HasSlider w where
- repeatInterval :: Int -> Config (Slider w)
- getRepeatInterval :: Slider w -> IO Int
- repeatDelay :: Int -> Config (Slider w)
- getRepeatDelay :: Slider w -> IO Int
newtype Slider w = Slider w
data Box
data Frame
newtype Toplevel = Toplevel GUIOBJECT
data AspectRatio
type Display = String
data Whom
class GUIObject w => Window w where
- iconify :: w -> IO ()
- deiconify :: w -> IO ()
- withdraw :: w -> IO ()
- putWinOnTop :: w -> IO ()
- putWinAtBottom :: w -> IO ()
- screen :: Display -> Config w
- getScreen :: w -> IO Display
- getClassName :: w -> IO String
- getWindowState :: w -> IO WindowState
- aspectRatio :: AspectRatio -> Config w
- getAspectRatio :: w -> IO AspectRatio
- positionFrom :: Whom -> Config w
- getPositionFrom :: w -> IO Whom
- sizeFrom :: Whom -> Config w
- getSizeFrom :: w -> IO Whom
data WindowState
- = Deiconified
- | Iconified
- | Withdrawn
data ColourMode
- = FullColourMode
- | GrayScaleMode
- | MonoChromeMode
class GUIObject w => HasPostscript w where
- postscript :: w -> [CreationConfig PostScript] -> IO ()
data PostScript
newtype Screen w = Screen w
data VisualClass
- = DirectColour
- | GrayScale
- | PseudoColour
- | StaticColour
- | StaticGray
- | TrueColour
class GUIObject w => Widget w where
- cursor :: CursorDesignator ch => ch -> Config w
- getCursor :: w -> IO Cursor
- takeFocus :: Bool -> Config w
- getTakeFocus :: w -> IO Bool
class Widget w => ButtonWidget w where
- flash :: w -> IO ()
- invoke :: w -> IO ()
newtype Colour = Colour String
class ColourDesignator c where
- toColour :: c -> Colour
class GUIObject w => HasAlign w where
- align :: Alignment -> Config w
- getAlign :: w -> IO Alignment
class GUIObject w => HasAnchor w where
- anchor :: Anchor -> Config w
- getAnchor :: w -> IO Anchor
class GUIObject w => HasBBox w i where
- bbox :: w -> i -> IO (Maybe (Distance, Distance, Distance, Distance))
class GUIObject w => HasBorder w where
- borderwidth :: Distance -> Config w
- getBorderwidth :: w -> IO Distance
- relief :: Relief -> Config w
- getRelief :: w -> IO Relief
class GUIObject w => HasCanvAnchor w where
- canvAnchor :: Anchor -> Config w
- getCanvAnchor :: w -> IO Anchor
class GUIObject w => HasColour w where
- legalColourID :: w -> ConfigID -> Bool
- setColour :: w -> ConfigID -> Colour -> IO w
- getColour :: w -> ConfigID -> IO Colour
class GUIObject w => HasEnable w where
- state :: State -> Config w
- getState :: w -> IO State
- disable :: Config w
- enable :: Config w
- isEnabled :: w -> IO Bool
class GUIObject w => HasFile w where
- filename :: String -> Config w
- getFileName :: w -> IO String
class GUIObject w => HasFont w where
- font :: FontDesignator f => f -> Config w
- getFont :: w -> IO Font
class (HasSize w, HasPosition w) => HasGeometry w where
- geometry :: Geometry -> Config w
- getGeometry :: w -> IO Geometry
class GUIObject w => HasGrid w where
- setgrid :: Toggle -> Config w
- getGrid :: w -> IO Toggle
class HasIncrement w a where
- increment :: a -> Config w
- getIncrement :: w -> IO a
class GUIObject w => HasJustify w where
- justify :: Justify -> Config w
- getJustify :: w -> IO Justify
class GUIObject w => HasOrientation w where
- orient :: Orientation -> Config w
- getOrient :: w -> IO Orientation
class GUIObject w => HasPosition w where
- position :: Position -> Config w
- getPosition :: w -> IO Position
class GUIObject w => HasSize w where
- width :: Distance -> Config w
- getWidth :: w -> IO Distance
- height :: Distance -> Config w
- getHeight :: w -> IO Distance
- size :: Size -> Config w
- getSize :: w -> IO Size
class (GUIObject w, GUIValue v) => HasText w v where
- text :: v -> Config w
- getText :: w -> IO v
class GUIObject w => HasUnderline w where
- underline :: Int -> Config w
- getUnderline :: w -> IO Int
- wraplength :: Int -> Config w
- getWraplength :: w -> IO Int
class (GUIObject w, GUIValue v) => HasValue w v where
- value :: v -> Config w
- getValue :: w -> IO v
class GUIObject w => HasCommand w where
- clicked :: w -> IO (Event ())
data BCursor = BCursor String (Maybe String) Colour (Maybe Colour)
newtype Cursor = Cursor String
class CursorDesignator ch where
- toCursor :: ch -> Cursor
data XCursor = XCursor String (Maybe Colour) (Maybe Colour)
data EventInfo = EventInfo Distance Distance Distance Distance Int
data EventInfoSet
data EventParameter
- = HASH
- | Pa
- | Pb
- | Pc
- | Pd
- | Pf
- | Ph
- | Pk
- | Pm
- | Po
- | Pp
- | Ps
- | Pt
- | Pv
- | Pw
- | Px
- | Py
- | PA
- | PB
- | PE
- | PK
- | PN
- | PR
- | PS
- | PT
- | PW
- | PX
- | PY
newtype Font = Font String
class FontDesignator fh where
- toFont :: fh -> Font
data FontFamily
- = Lucida
- | Times
- | Helvetica
- | Courier
- | Symbol
- | Other String
data FontSlant
- = Roman
- | Italic
- | Oblique
data FontSpacing
- = MonoSpace
- | Proportional
data FontWeight
- = NormalWeight
- | Medium
- | Bold
data FontWidth
- = NormalWidth
- | Condensed
- | Narrow
data XFont
- = XFont {
  - foundry :: String
  - family :: Maybe FontFamily
  - weight :: Maybe FontWeight
  - slant :: Maybe FontSlant
  - fontwidth :: Maybe FontWidth
  - pixels :: Maybe Int
  - points :: Maybe Int
  - xres :: Maybe Int
  - yres :: Maybe Int
  - spacing :: Maybe FontSpacing
  - charwidth :: Maybe Int
  - charset :: Maybe String
  }
- | XFontAlias String
data GUIVALUE = GUIVALUE Generator String
class (Show a, Read a) => GUIValue a where
- cdefault :: a
- toGUIValue :: a -> GUIVALUE
- maybeGUIValue :: GUIVALUE -> Maybe a
- fromGUIValue :: GUIVALUE -> a
data Generator
- = HaskellTk
- | Tk
newtype RawData = RawData String
newtype TkCommand = TkCommand String
type Coord = [Position]
newtype Distance = Distance Int
type Geometry = (Distance, Distance, Distance, Distance)
type Position = (Distance, Distance)
type Size = (Distance, Distance)
data GridPackOption
- = Column Int
- | Row Int
- | GridPos (Int, Int)
- | Sticky StickyKind
- | Columnspan Int
- | Rowspan Int
- | GridPadX Int
- | GridPadY Int
- | GridIPadX Int
- | GridIPadY Int
data StickyKind
- = N
- | S
- | E
- | W
- | NS
- | NE
- | NW
- | SE
- | SW
- | EW
- | NSE
- | NSW
- | NEW
- | SEW
- | NSEW
data FillSpec
- = X
- | Y
- | Both
- | None
data PackOption
- = Side SideSpec
- | Fill FillSpec
- | Expand Toggle
- | IPadX Distance
- | IPadY Distance
- | PadX Distance
- | PadY Distance
- | Anchor Anchor
data SideSpec
- = AtLeft
- | AtRight
- | AtTop
- | AtBottom
data AbstractWidget = NONE
class GUIObject a => Container a
data Alignment
- = Top
- | InCenter
- | Bottom
- | Baseline
data Anchor
- = SouthEast
- | South
- | SouthWest
- | East
- | Center
- | West
- | NorthEast
- | North
- | NorthWest
type CreationConfig w = IO String
data Flexibility
- = Rigid
- | Flexible
data Justify
- = JustLeft
- | JustCenter
- | JustRight
data Orientation
- = Horizontal
- | Vertical
data Relief
- = Groove
- | Ridge
- | Flat
- | Sunken
- | Raised
data State
- = Disabled
- | Active
- | Normal
data Toggle
- = Off
- | On
class GUIObject w => HasVariable w where
- variable :: TkVariable v -> Config w
newtype GUIValue a => TkVariable a = TkVariable ObjectID
class GUIObject w => HasTooltip w where
- tooltip :: String -> w -> IO w
- destroyTooltip :: w -> IO ()
newtype KeySym = KeySym String
data WishEvent = WishEvent [WishEventModifier] WishEventType
data WishEventModifier
- = Control
- | Shift
- | Lock
- | CommandKey
- | Meta
- | M
- | Alt
- | Mod1
- | Mod2
- | Mod3
- | Mod4
- | Mod5
- | Button1
- | Button2
- | Button3
- | Button4
- | Button5
- | Double
- | Triple
data WishEventType
- = Activate
- | ButtonPress (Maybe BNo)
- | ButtonRelease (Maybe BNo)
- | Circulate
- | Colormap
- | Configure
- | Deactivate
- | Destroy
- | Enter
- | Expose
- | FocusIn
- | FocusOut
- | Gravity
- | KeyPress (Maybe KeySym)
- | KeyRelease (Maybe KeySym)
- | Motion
- | Leave
- | Map
- | Property
- | Reparent
- | Unmap
- | Visibility
class GUIObject w => HasMenu w where
- menu :: Menu -> Config w
data Menu = Menu GUIOBJECT (Ref Int)
data MenuCascade
data MenuCheckButton
data MenuCommand
data MenuRadioButton
data MenuSeparator
data EmbeddedTextWin
data Gravity
- = ToLeft
- | ToRight
data Mark = Mark Editor String
data TextTag
data LabelFrame
data LabelSide
- = TopLabel
- | LeftLabel
- | RightLabel
- | BottomLabel
- | NoLabel
- | AcrossTopLabel
data NoteBook
data NoteBookPage
data Pane
data PanedWindow
data HTk
data Button
data Canvas
type ScrollRegion = (Position, Position)
data CheckButton a
data GUIValue a => ComboBox a
data Editor
class GUIObject w => HasLineSpacing w where
- spaceAbove :: Distance -> Config w
- getSpaceAbove :: w -> IO Distance
- spaceWrap :: Distance -> Config w
- getSpaceWrap :: w -> IO Distance
- spaceBelow :: Distance -> Config w
- getSpaceBelow :: w -> IO Distance
class GUIObject w => HasTabulators w where
- tabs :: String -> Config w
- getTabs :: w -> IO String
data IndexModifier
- = ForwardChars Int
- | BackwardChars Int
- | ForwardLines Int
- | BackwardLines Int
- | LineStart
- | LineEnd
- | WordStart
- | WordEnd
newtype IndexModifiers = IndexModifiers [IndexModifier]
data SearchDirection
- = Forward
- | Backward
data SearchMode
- = Exact
- | Nocase
data SearchSwitch = SearchSwitch {
- searchdirection :: SearchDirection
- searchmode :: SearchMode
- rexexp :: Bool
}
data WrapMode
- = NoWrap
- | CharWrap
- | WordWrap
data Entry a
data XCoord = XCoord Distance
data Label
data ListBox a
data Eq a => ListBoxElem a = ListBoxElem a
data SelectMode
- = Single
- | Browse
- | Multiple
- | Extended
data MenuButton
data Message
data OptionMenu a
data RadioButton a
data Scale a
class (Num a, GUIValue a) => ScaleValue a where
- toDouble :: a -> Double
- fromDouble :: Double -> a
type Fraction = Double
class Widget w => HasScroller w where
- isWfOrientation :: w -> Orientation -> Bool
- scrollbar :: Orientation -> ScrollBar -> Config w
- moveto :: Orientation -> w -> Fraction -> IO ()
- scroll :: Orientation -> w -> Int -> ScrollUnit -> IO ()
- view :: Orientation -> w -> IO (Fraction, Fraction)
data ScrollBar
data ScrollBarElem
- = Arrow1
- | Trough1
- | ScrollBarSlider
- | Trough2
- | Arrow2
data ScrollUnit
- = Units
- | Pages
type Answer a = Either SomeException a
type Config w = w -> IO w
newtype MonadWithError (m :: Type -> Type) a = MonadWithError (m (WithError a))
getScrollBars :: HasScroller a => ScrollBox a -> [ScrollBar]
getScrolledWidget :: (Widget a, HasScroller a) => ScrollBox a -> a
newScrollBox :: (Widget wid, HasScroller wid, Container par) => par -> (Frame -> IO wid) -> [Config (ScrollBox wid)] -> IO (ScrollBox wid, wid)
data ScrollBox a = ScrollBox {
- fScrollFrame :: Frame
- fPadFrames :: [Frame]
- fScrollBars :: [ScrollBar]
- fScrolledWidget :: a
}
(//) :: Form value1 -> Form value2 -> Form (value1, value2)
(\\) :: Form x -> Form y -> Form (x, y)
column :: [Form value] -> Form [value]
doForm :: String -> Form value -> IO (Maybe value)
doFormList :: String -> [(Form x, String)] -> IO (Event (WithError x), IO ())
doFormMust :: String -> Form value -> IO value
editableTextForm :: [Config Editor] -> Form String
editableTextForm0 :: [Config Editor] -> Form String
emptyForm :: Form ()
guardForm :: (x -> Bool) -> String -> Form x -> Form x
guardFormIO :: (x -> IO Bool) -> String -> Form x -> Form x
guardNothing :: String -> Form (Maybe x) -> Form x
mapForm :: (x -> WithError y) -> Form x -> Form y
mapFormIO :: (x -> IO (WithError y)) -> Form x -> Form y
mapMakeFormEntry :: FormValue value2 => (value1 -> value2) -> (value2 -> value1) -> Frame -> value1 -> IO (EnteredForm value1)
newFormEntry :: (FormLabel label, FormValue value) => label -> value -> Form value
newFormMenu :: FormLabel label => label -> HTkMenu value -> Form (Maybe value)
newFormOptionMenu :: GUIValue a => [a] -> Form a
newFormOptionMenu2 :: (Eq a, GUIValue a) => [(a, b)] -> Form b
nullForm :: FormLabel label => label -> Form ()
row :: [Form value] -> Form [value]
data EmptyLabel = EmptyLabel
data Form value
class FormLabel label where
- formLabel :: Frame -> label -> IO (IO ())
class FormTextField value where
- makeFormString :: value -> String
- readFormString :: String -> WithError value
class FormTextFieldIO value where
- makeFormStringIO :: value -> IO String
- readFormStringIO :: String -> IO (WithError value)
class FormValue value where
- makeFormEntry :: Frame -> value -> IO (EnteredForm value)
class HasConfigRadioButton value where
- configRadioButton :: value -> Config (RadioButton Int)
newtype Password value = Password value
data Radio x
- = Radio x
- | NoRadio
data WrappedFormLabel = FormLabel label => WrappedFormLabel label
createTextDisplay :: String -> String -> [Config Editor] -> IO ()
createTextDisplayExt :: String -> String -> [Config Editor] -> IO () -> IO (Toplevel, Editor)

Documentation

data LBGoalView Source #

Represents a goal in a ListBox that uses populateGoalsListBox

Constructors

LBGoalView
Fields statIndicator :: LBStatusIndicator status indicator goalDescription :: String description

data LBStatusIndicator Source #

Constructors

LBIndicatorProved
LBIndicatorProvedInconsistent
LBIndicatorDisproved
LBIndicatorOpen
LBIndicatorGuessed
LBIndicatorConjectured
LBIndicatorHandwritten

data EnableWid Source #

existential type for widgets that can be enabled and disabled

Constructors

forall wid.HasEnable wid => EnW wid

type GUIMVar = MVar (Maybe Toplevel) Source #

Type for storing the proof management window

listBox :: String -> [String] -> IO (Maybe Int) Source #

create a window with title and list of options, return selected option

errorMess :: String -> IO () #

confirmMess :: String -> IO Bool #

messageMess :: String -> IO () #

askFileNameAndSave Source #

Arguments

:: String	default filename for saving the text
-> String	text to be saved
-> IO ()

createTextSaveDisplay Source #

Arguments

:: String	title of the window
-> String	default filename for saving the text
-> String	text to be displayed
-> IO ()

Display some (longish) text in an uneditable, scrollable editor. Simplified version of createTextSaveDisplayExt

newFileDialogStr :: String -> FilePath -> IO (Event (Maybe FilePath)) #

fileDialogStr :: String -> FilePath -> IO (Event (Maybe FilePath)) #

displayTheoryWithWarning Source #

Arguments

:: String	kind of theory
-> String	name of theory
-> String	warning text
-> G_theory	to be shown theory
-> IO ()

returns a window displaying the given theory and the given warning text.

populateGoalsListBox Source #

Arguments

:: ListBox String	listbox
-> [LBGoalView]	list of goals length must remain constant after the first call
-> IO ()

Populates a ListBox with goals. After the initial call to this function the number of goals is assumed to remain constant in ensuing calls.

indicatorFromProofStatus :: ProofStatus a -> LBStatusIndicator Source #

Converts a ProofStatus into a LBStatusIndicator

indicatorFromBasicProof :: BasicProof -> LBStatusIndicator Source #

Converts a BasicProof into a LBStatusIndicator

indicatorString :: LBStatusIndicator -> String Source #

Converts a LBStatusIndicator into a short String representing it in a ListBox

enableWids :: [EnableWid] -> IO () Source #

disableWids :: [EnableWid] -> IO () Source #

enableWidsUponSelection :: ListBox String -> [EnableWid] -> IO () Source #

enables widgets only if at least one entry is selected in the listbox, otherwise the widgets are disabled

when :: Applicative f => Bool -> f () -> f () #

try :: Exception e => IO a -> IO (Either e a) #

forever :: Applicative f => f a -> f b #

unless :: Applicative f => Bool -> f () -> f () #

newtype Event a #

Constructors

Event (Toggle -> (IO a -> IO ()) -> IO Result)

Instances

Instances details

Monad Event
Instance details Defined in Events.Events Methods (>>=) :: Event a -> (a -> Event b) -> Event b (>>) :: Event a -> Event b -> Event b return :: a -> Event a
Functor Event
Instance details Defined in Events.Events Methods fmap :: (a -> b) -> Event a -> Event b (<$) :: a -> Event b -> Event a
MonadFail Event
Instance details Defined in Events.Events Methods fail :: String -> Event a
Applicative Event
Instance details Defined in Events.Events Methods pure :: a -> Event a (<>) :: Event (a -> b) -> Event a -> Event b liftA2 :: (a -> b -> c) -> Event a -> Event b -> Event c (>) :: Event a -> Event b -> Event b (<*) :: Event a -> Event b -> Event a
HasEvent Event
Instance details Defined in Events.Events Methods toEvent :: Event a -> Event a #

class Destroyable o where #

Methods

destroy :: o -> IO () #

Instances

Instances details

Destroyable DaVinciGraph
Instance details Defined in UDrawGraph.Graph Methods destroy :: DaVinciGraph -> IO () #
Destroyable Context
Instance details Defined in UDrawGraph.Basic Methods destroy :: Context -> IO () #
Destroyable DaVinci
Instance details Defined in UDrawGraph.Basic Methods destroy :: DaVinci -> IO () #
Destroyable Arc
Instance details Defined in HTk.Canvasitems.Arc Methods destroy :: Arc -> IO () #
Destroyable BitMapItem
Instance details Defined in HTk.Canvasitems.BitMapItem Methods destroy :: BitMapItem -> IO () #
Destroyable CanvasTag
Instance details Defined in HTk.Canvasitems.CanvasTag Methods destroy :: CanvasTag -> IO () #
Destroyable EmbeddedCanvasWin
Instance details Defined in HTk.Canvasitems.EmbeddedCanvasWin Methods destroy :: EmbeddedCanvasWin -> IO () #
Destroyable ImageItem
Instance details Defined in HTk.Canvasitems.ImageItem Methods destroy :: ImageItem -> IO () #
Destroyable Line
Instance details Defined in HTk.Canvasitems.Line Methods destroy :: Line -> IO () #
Destroyable Oval
Instance details Defined in HTk.Canvasitems.Oval Methods destroy :: Oval -> IO () #
Destroyable Polygon
Instance details Defined in HTk.Canvasitems.Polygon Methods destroy :: Polygon -> IO () #
Destroyable Rectangle
Instance details Defined in HTk.Canvasitems.Rectangle Methods destroy :: Rectangle -> IO () #
Destroyable TextItem
Instance details Defined in HTk.Canvasitems.TextItem Methods destroy :: TextItem -> IO () #
Destroyable BitMap
Instance details Defined in HTk.Components.BitMap Methods destroy :: BitMap -> IO () #
Destroyable Image
Instance details Defined in HTk.Components.Image Methods destroy :: Image -> IO () #
Destroyable Box
Instance details Defined in HTk.Containers.Box Methods destroy :: Box -> IO () #
Destroyable Frame
Instance details Defined in HTk.Containers.Frame Methods destroy :: Frame -> IO () #
Destroyable Toplevel
Instance details Defined in HTk.Containers.Toplevel Methods destroy :: Toplevel -> IO () #
Destroyable Menu
Instance details Defined in HTk.Menuitems.Menu Methods destroy :: Menu -> IO () #
Destroyable EmbeddedTextWin
Instance details Defined in HTk.Textitems.EmbeddedTextWin Methods destroy :: EmbeddedTextWin -> IO () #
Destroyable TextTag
Instance details Defined in HTk.Textitems.TextTag Methods destroy :: TextTag -> IO () #
Destroyable LabelFrame
Instance details Defined in HTk.Tix.LabelFrame Methods destroy :: LabelFrame -> IO () #
Destroyable NoteBook
Instance details Defined in HTk.Tix.NoteBook Methods destroy :: NoteBook -> IO () #
Destroyable NoteBookPage
Instance details Defined in HTk.Tix.NoteBook Methods destroy :: NoteBookPage -> IO () #
Destroyable Pane
Instance details Defined in HTk.Tix.PanedWindow Methods destroy :: Pane -> IO () #
Destroyable PanedWindow
Instance details Defined in HTk.Tix.PanedWindow Methods destroy :: PanedWindow -> IO () #
Destroyable HTk
Instance details Defined in HTk.Toplevel.HTk Methods destroy :: HTk -> IO () #
Destroyable Button
Instance details Defined in HTk.Widgets.Button Methods destroy :: Button -> IO () #
Destroyable Canvas
Instance details Defined in HTk.Widgets.Canvas Methods destroy :: Canvas -> IO () #
Destroyable Editor
Instance details Defined in HTk.Widgets.Editor Methods destroy :: Editor -> IO () #
Destroyable Label
Instance details Defined in HTk.Widgets.Label Methods destroy :: Label -> IO () #
Destroyable MenuButton
Instance details Defined in HTk.Widgets.MenuButton Methods destroy :: MenuButton -> IO () #
Destroyable Message
Instance details Defined in HTk.Widgets.Message Methods destroy :: Message -> IO () #
Destroyable ScrollBar
Instance details Defined in HTk.Widgets.ScrollBar Methods destroy :: ScrollBar -> IO () #
Destroyable Wish
Instance details Defined in HTk.Kernel.Wish Methods destroy :: Wish -> IO () #
Destroyable SimpleTool
Instance details Defined in Reactor.InfoBus Methods destroy :: SimpleTool -> IO () #
Destroyable (CheckButton a)
Instance details Defined in HTk.Widgets.CheckButton Methods destroy :: CheckButton a -> IO () #
GUIValue a => Destroyable (ComboBox a)
Instance details Defined in HTk.Widgets.ComboBox Methods destroy :: ComboBox a -> IO () #
Destroyable (Entry a)
Instance details Defined in HTk.Widgets.Entry Methods destroy :: Entry a -> IO () #
Destroyable (ListBox a)
Instance details Defined in HTk.Widgets.ListBox Methods destroy :: ListBox a -> IO () #
Destroyable (OptionMenu a)
Instance details Defined in HTk.Widgets.OptionMenu Methods destroy :: OptionMenu a -> IO () #
Destroyable (RadioButton a)
Instance details Defined in HTk.Widgets.RadioButton Methods destroy :: RadioButton a -> IO () #
Destroyable (Scale a)
Instance details Defined in HTk.Widgets.Scale Methods destroy :: Scale a -> IO () #
Destroyable (ScrollBox a)
Instance details Defined in HTk.Toolkit.ScrollBox Methods destroy :: ScrollBox a -> IO () #
GraphAll graph graphParms node nodeType nodeTypeParms arc arcType arcTypeParms => Destroyable (Graph graph graphParms node nodeType nodeTypeParms arc arcType arcTypeParms)
Instance details Defined in Graphs.GraphDisp Methods destroy :: Graph graph graphParms node nodeType nodeTypeParms arc arcType arcTypeParms -> IO () #

class Destroyable o => Destructible o where #

Methods

destroyed :: o -> Event () #

Instances

Instances details

Destructible DaVinciGraph
Instance details Defined in UDrawGraph.Graph Methods destroyed :: DaVinciGraph -> Event () #
Destructible Context
Instance details Defined in UDrawGraph.Basic Methods destroyed :: Context -> Event () #
GraphAll graph graphParms node nodeType nodeTypeParms arc arcType arcTypeParms => Destructible (Graph graph graphParms node nodeType nodeTypeParms arc arcType arcTypeParms)
Instance details Defined in Graphs.GraphDisp Methods destroyed :: Graph graph graphParms node nodeType nodeTypeParms arc arcType arcTypeParms -> Event () #

data Result #

Constructors

Immediate
Awaiting (IO ())
AwaitingAlways (IO ())

class HasConfig option configuration where #

Methods

($$) :: option -> configuration -> configuration #

configUsed :: option -> configuration -> Bool #

Instances

Instances details

GraphConfig graphConfig => HasConfig graphConfig DaVinciGraphParms
Instance details Defined in UDrawGraph.Graph Methods ($$) :: graphConfig -> DaVinciGraphParms -> DaVinciGraphParms # configUsed :: graphConfig -> DaVinciGraphParms -> Bool #
HasConfig GlobalMenu DaVinciGraphParms
Instance details Defined in UDrawGraph.Graph Methods ($$) :: GlobalMenu -> DaVinciGraphParms -> DaVinciGraphParms # configUsed :: GlobalMenu -> DaVinciGraphParms -> Bool #
HasConfig GraphTitle DaVinciGraphParms
Instance details Defined in UDrawGraph.Graph Methods ($$) :: GraphTitle -> DaVinciGraphParms -> DaVinciGraphParms # configUsed :: GraphTitle -> DaVinciGraphParms -> Bool #
HasConfig Delayer DaVinciGraphParms
Instance details Defined in UDrawGraph.Graph Methods ($$) :: Delayer -> DaVinciGraphParms -> DaVinciGraphParms # configUsed :: Delayer -> DaVinciGraphParms -> Bool #
HasConfig Orientation DaVinciGraphParms
Instance details Defined in UDrawGraph.Graph Methods ($$) :: Orientation -> DaVinciGraphParms -> DaVinciGraphParms # configUsed :: Orientation -> DaVinciGraphParms -> Bool #
HasConfig ActionWrapper DaVinciGraphParms
Instance details Defined in UDrawGraph.Graph Methods ($$) :: ActionWrapper -> DaVinciGraphParms -> DaVinciGraphParms # configUsed :: ActionWrapper -> DaVinciGraphParms -> Bool #
HasConfig AllowClose DaVinciGraphParms
Instance details Defined in UDrawGraph.Graph Methods ($$) :: AllowClose -> DaVinciGraphParms -> DaVinciGraphParms # configUsed :: AllowClose -> DaVinciGraphParms -> Bool #
HasConfig AllowDragging DaVinciGraphParms
Instance details Defined in UDrawGraph.Graph Methods ($$) :: AllowDragging -> DaVinciGraphParms -> DaVinciGraphParms # configUsed :: AllowDragging -> DaVinciGraphParms -> Bool #
HasConfig FileMenuAct DaVinciGraphParms
Instance details Defined in UDrawGraph.Graph Methods ($$) :: FileMenuAct -> DaVinciGraphParms -> DaVinciGraphParms # configUsed :: FileMenuAct -> DaVinciGraphParms -> Bool #
HasConfig GraphGesture DaVinciGraphParms
Instance details Defined in UDrawGraph.Graph Methods ($$) :: GraphGesture -> DaVinciGraphParms -> DaVinciGraphParms # configUsed :: GraphGesture -> DaVinciGraphParms -> Bool #
HasConfig OptimiseLayout DaVinciGraphParms
Instance details Defined in UDrawGraph.Graph Methods ($$) :: OptimiseLayout -> DaVinciGraphParms -> DaVinciGraphParms # configUsed :: OptimiseLayout -> DaVinciGraphParms -> Bool #
HasConfig SurveyView DaVinciGraphParms
Instance details Defined in UDrawGraph.Graph Methods ($$) :: SurveyView -> DaVinciGraphParms -> DaVinciGraphParms # configUsed :: SurveyView -> DaVinciGraphParms -> Bool #
HasConfig (SimpleSource GraphTitle) DaVinciGraphParms
Instance details Defined in UDrawGraph.Graph Methods ($$) :: SimpleSource GraphTitle -> DaVinciGraphParms -> DaVinciGraphParms # configUsed :: SimpleSource GraphTitle -> DaVinciGraphParms -> Bool #
HasConfig (FileMenuOption, Maybe (DaVinciGraph -> IO ())) DaVinciGraphParms
Instance details Defined in UDrawGraph.Graph Methods ($$) :: (FileMenuOption, Maybe (DaVinciGraph -> IO ())) -> DaVinciGraphParms -> DaVinciGraphParms # configUsed :: (FileMenuOption, Maybe (DaVinciGraph -> IO ())) -> DaVinciGraphParms -> Bool #

data Channel a #

Instances

Instances details

HasReceive Channel
Instance details Defined in Events.Channels Methods receive :: Channel a -> Event a #
HasSend Channel
Instance details Defined in Events.Channels Methods send :: Channel a -> a -> Event () #

data WithError a #

Instances

Instances details

Monad WithError
Instance details Defined in Util.Computation Methods (>>=) :: WithError a -> (a -> WithError b) -> WithError b (>>) :: WithError a -> WithError b -> WithError b return :: a -> WithError a
Functor WithError
Instance details Defined in Util.Computation Methods fmap :: (a -> b) -> WithError a -> WithError b (<$) :: a -> WithError b -> WithError a
MonadFail WithError
Instance details Defined in Util.Computation Methods fail :: String -> WithError a
Applicative WithError
Instance details Defined in Util.Computation Methods pure :: a -> WithError a (<>) :: WithError (a -> b) -> WithError a -> WithError b liftA2 :: (a -> b -> c) -> WithError a -> WithError b -> WithError c (>) :: WithError a -> WithError b -> WithError b (<*) :: WithError a -> WithError b -> WithError a

toWithError :: Either String a -> WithError a #

newChannel :: IO (Channel a) #

(+>) :: Event a -> Event a -> Event a #

(>>>) :: Event a -> IO b -> Event b #

(>>>=) :: Event a -> (a -> IO b) -> Event b #

allowWhile :: Event () -> Event a -> Event a #

always :: IO a -> Event a #

choose :: [Event a] -> Event a #

computeEvent :: IO (Event a) -> Event a #

doRequest :: Request a b -> a -> IO (Event b, IO ()) #

doneEvent :: a -> Event a #

getAllQueued :: Event a -> IO [a] #

never :: Event a #

noWait :: Event a -> Event () #

poll :: Event a -> IO (Maybe a) #

receiveIO :: HasReceive chan => chan a -> IO a #

request :: Request a b -> a -> IO b #

sendIO :: HasSend chan => chan a -> a -> IO () #

spawnEvent :: Event () -> IO (IO ()) #

sync :: Event a -> IO a #

syncNoWait :: Event a -> IO () #

thenEvent :: Event a -> Event b -> Event b #

thenGetEvent :: Event a -> (a -> Event b) -> Event b #

tryEV :: Event a -> Event (Either SomeException a) #

wrapAbort :: IO (Event a, IO ()) -> Event a #

spawn :: IO () -> IO (IO ()) #

createArc :: Canvas -> [Config Arc] -> IO Arc #

extent :: Degree -> Config Arc #

getExtent :: Arc -> IO Degree #

getStart :: Arc -> IO Degree #

start :: Degree -> Config Arc #

createBitMapItem :: Canvas -> [Config BitMapItem] -> IO BitMapItem #

declVar :: CanvasTagOrID -> TclScript #

declVarList :: CanvasTagOrID -> TclCmd #

itemsNotOnSameCanvas :: IOError #

lowerItem :: (CanvasItem ci, CanvasItem w) => ci -> w -> IO () #

moveItem :: (Synchronized w, CanvasItem w) => w -> Distance -> Distance -> IO () #

putItemAtBottom :: CanvasItem ci => ci -> IO () #

putItemOnTop :: CanvasItem w => w -> IO () #

raiseItem :: (CanvasItem ci, CanvasItem w) => ci -> w -> IO () #

scaleItem :: (Synchronized w, CanvasItem w) => w -> Distance -> Distance -> Double -> Double -> IO () #

(&#&) :: CanvasTag -> CanvasTag -> IO CanvasTag #

(^#) :: CanvasTag -> CanvasTag -> IO CanvasTag #

aboveItem :: CanvasItem item => item -> SearchSpec #

addCanvasTag :: SearchSpec -> CanvasTag -> IO () #

allItems :: SearchSpec #

belowItem :: CanvasItem item => item -> SearchSpec #

closest :: Position -> SearchSpec #

createCanvasTag :: Canvas -> [Config CanvasTag] -> IO CanvasTag #

enclosed :: Position -> Position -> SearchSpec #

overlapping :: Position -> Position -> SearchSpec #

removeCanvasTag :: CanvasItem i => i -> CanvasTag -> IO () #

tagNot :: CanvasTag -> IO CanvasTag #

withTag :: CanvasItem item => item -> SearchSpec #

(|#|) :: CanvasTag -> CanvasTag -> IO CanvasTag #

createEmbeddedCanvasWin :: Widget w => Canvas -> w -> [Config EmbeddedCanvasWin] -> IO EmbeddedCanvasWin #

createImageItem :: Canvas -> [Config ImageItem] -> IO ImageItem #

arrowshape :: ArrowShape -> Config Line #

arrowstyle :: ArrowHead -> Config Line #

capstyle :: CapStyle -> Config Line #

createLine :: Canvas -> [Config Line] -> IO Line #

getArrowshape :: Line -> IO ArrowShape #

getArrowstyle :: Line -> IO ArrowHead #

getCapstyle :: Line -> IO CapStyle #

getJoinstyle :: Line -> IO JoinStyle #

joinstyle :: JoinStyle -> Config Line #

createOval :: Canvas -> [Config Oval] -> IO Oval #

createPolygon :: Canvas -> [Config Polygon] -> IO Polygon #

createRectangle :: Canvas -> [Config Rectangle] -> IO Rectangle #

createTextItem :: Canvas -> [Config TextItem] -> IO TextItem #

errmap :: BitMapHandle #

getBitMapHandle :: GUIObject w => w -> ConfigID -> IO BitMapHandle #

gray25 :: BitMapHandle #

gray50 :: BitMapHandle #

hourglass :: BitMapHandle #

info :: BitMapHandle #

newBitMap :: [Config BitMap] -> IO BitMap #

questhead :: BitMapHandle #

question :: BitMapHandle #

setBitMapHandle :: GUIObject w => w -> ConfigID -> BitMapHandle -> Bool -> IO w #

stringToBitMapHandle :: String -> IO BitMapHandle #

warning :: BitMapHandle #

focusModel :: Window w => FocusModel -> Config w #

forceFocus :: Widget w => w -> IO () #

getCurrentGrab :: IO (Maybe CurrentGrab) #

getFocus :: Window w => w -> IO (Maybe CurrentFocus) #

getFocusModel :: Window w => w -> IO FocusModel #

getGrabStatus :: Widget w => w -> IO (Maybe GrabStatus) #

getRecentFocus :: Window w => w -> IO (Maybe CurrentFocus) #

grabGlobal :: Widget w => w -> IO () #

grabLocal :: Widget w => w -> IO () #

releaseGrab :: Widget w => w -> IO () #

returnGrab :: Maybe CurrentGrab -> IO () #

setFocus :: Widget w => w -> IO () #

getIconMask :: Window w => Icon w -> IO BitMapHandle #

iconMask :: (Window w, BitMapDesignator h) => h -> Config (Icon w) #

imageToInt :: Image -> IO Int #

imgData :: Format -> String -> Config Image #

imgGamma :: Double -> Config Image #

imgPalette :: PaletteSpec p => p -> Config Image #

intToImage :: Int -> IO (Maybe Image) #

newImage :: [Config Image] -> IO Image #

newBox :: Container par => par -> Flexibility -> [Config Box] -> IO Box #

newHBox :: Container par => par -> [Config Box] -> IO Box #

newHFBox :: Container par => par -> [Config Box] -> IO Box #

newVBox :: Container par => par -> [Config Box] -> IO Box #

newVFBox :: Container par => par -> [Config Box] -> IO Box #

newFrame :: Container par => par -> [Config Frame] -> IO Frame #

createToplevel :: [Config Toplevel] -> IO Toplevel #

tkGetToplevelConfig :: ObjectName -> ConfigID -> TclScript #

tkSetToplevelConfigs :: ObjectName -> [ConfigOption] -> TclScript #

getMaxSize :: Window w => w -> IO Size #

getMinSize :: Window w => w -> IO Size #

isWMConfig :: ConfigID -> Bool #

lowerWin :: (Window w1, Window w2) => w1 -> w2 -> IO () #

maxSize :: Window w => Size -> Config w #

minSize :: Window w => Size -> Config w #

raiseWin :: (Window w1, Window w2) => w1 -> w2 -> IO () #

bell :: IO () #

ringBell :: Window w => Maybe w -> IO () #

colourmode :: ColourMode -> CreationConfig PostScript #

pageAnchor :: Anchor -> CreationConfig PostScript #

pageheight :: Distance -> CreationConfig PostScript #

pagewidth :: Distance -> CreationConfig PostScript #

pagex :: Distance -> CreationConfig PostScript #

pagey :: Distance -> CreationConfig PostScript #

psfile :: String -> CreationConfig PostScript #

psheight :: Distance -> CreationConfig PostScript #

pssize :: Size -> CreationConfig PostScript #

pswidth :: Distance -> CreationConfig PostScript #

rotate :: Bool -> CreationConfig PostScript #

getScreenHeight :: Window a => Screen a -> IO Distance #

getScreenManager :: Window a => Screen a -> IO String #

getScreenVisual :: Window a => Screen a -> IO VisualClass #

getScreenWidth :: Window a => Screen a -> IO Distance #

buttonColours :: HasColour w => w -> ConfigID -> Bool #

activeBackground :: (ColourDesignator c, HasColour w) => c -> Config w #

activeForeground :: (ColourDesignator c, HasColour w) => c -> Config w #

background :: (ColourDesignator c, HasColour w) => c -> Config w #

bg :: (ColourDesignator c, HasColour w) => c -> Config w #

disabledForeground :: (ColourDesignator c, HasColour w) => c -> Config w #

fg :: (ColourDesignator c, HasColour w) => c -> Config w #

foreground :: (ColourDesignator c, HasColour w) => c -> Config w #

getActiveBackground :: HasColour w => w -> IO Colour #

getActiveForeground :: HasColour w => w -> IO Colour #

getBackground :: HasColour w => w -> IO Colour #

getDisabledForeground :: HasColour w => w -> IO Colour #

getForeground :: HasColour w => w -> IO Colour #

hasBackGroundColour :: HasColour w => w -> ConfigID -> Bool #

hasForeGroundColour :: HasColour w => w -> ConfigID -> Bool #

bind :: GUIObject wid => wid -> [WishEvent] -> IO (Event EventInfo, IO ()) #

bindPath :: Widget wid => wid -> [WishEvent] -> IO (Event EventInfo, IO ()) #

bindPathSimple :: Widget wid => wid -> WishEventType -> IO (Event (), IO ()) #

bindSimple :: GUIObject wid => wid -> WishEventType -> IO (Event (), IO ()) #

arrow :: Cursor #

circle :: Cursor #

clock :: Cursor #

diamondCross :: Cursor #

dot :: Cursor #

drapedBox :: Cursor #

exchange :: Cursor #

fleur :: Cursor #

gobbler :: Cursor #

gumby :: Cursor #

hand1 :: Cursor #

hand2 :: Cursor #

pencil :: Cursor #

plus :: Cursor #

spraycan :: Cursor #

tcross :: Cursor #

watch :: Cursor #

xterm :: Cursor #

addEventInfoSet :: EventInfoSet -> [EventParameter] -> EventInfoSet #

defaultEventInfoSet :: EventInfoSet #

delEventInfoSet :: EventInfoSet -> [EventParameter] -> EventInfoSet #

emptyEventInfoSet :: EventInfoSet #

epFromChar :: Char -> EventParameter #

epToChar :: EventParameter -> Char #

listEventInfoSet :: EventInfoSet -> [EventParameter] #

mkEventInfo :: [(EventParameter, String)] -> EventInfo #

mkEventInfoSet :: [EventParameter] -> EventInfoSet #

xfont :: XFont #

creadTk :: GUIValue a => String -> IO a #

delimitString :: String -> String #

escapeString :: String -> String #

illegalGUIValue :: IOError #

toTkString :: String -> String #

cm :: Double -> Distance #

ic :: Double -> Distance #

mm :: Double -> Distance #

pp :: Double -> Distance #

tocm :: Distance -> Double #

toinch :: Distance -> Double #

showGridPackOptions :: [GridPackOption] -> String #

showPackOptions :: [PackOption] -> String #

grid :: Widget w => w -> [GridPackOption] -> IO () #

pack :: Widget w => w -> [PackOption] -> IO () #

showCreationConfigs :: [CreationConfig a] -> IO String #

toggle :: Toggle -> Toggle #

createTkVariable :: GUIValue a => a -> IO (TkVariable a) #

readTkVariable :: GUIValue a => TkVariable a -> IO a #

setTkVariable :: GUIValue a => TkVariable a -> a -> IO () #

cleanupWish :: IO () #

delayWish :: IO a -> IO a #

forgetPackage :: String -> IO () #

isPackageAvailable :: String -> IO Bool #

isTixAvailable :: IO Bool #

requirePackage :: String -> IO Bool #

createMenu :: GUIObject par => par -> Bool -> [Config Menu] -> IO Menu #

popup :: GUIObject i => Menu -> Position -> Maybe i -> IO () #

post :: Menu -> Position -> IO () #

unpost :: Menu -> IO () #

createMenuCascade :: Menu -> [Config MenuCascade] -> IO MenuCascade #

createPulldownMenu :: Menu -> [Config MenuCascade] -> IO Menu #

createMenuCheckButton :: Menu -> [Config MenuCheckButton] -> IO MenuCheckButton #

createMenuCommand :: Menu -> [Config MenuCommand] -> IO MenuCommand #

createMenuRadioButton :: Menu -> [Config MenuRadioButton] -> IO MenuRadioButton #

createMenuSeparator :: Menu -> [Config MenuSeparator] -> IO MenuSeparator #

createEmbeddedTextWin :: (HasIndex Editor i BaseIndex, Widget w) => Editor -> i -> w -> [Config EmbeddedTextWin] -> IO EmbeddedTextWin #

getStretch :: EmbeddedTextWin -> IO Toggle #

stretch :: Toggle -> Config EmbeddedTextWin #

createMark :: HasIndex Editor i BaseIndex => Editor -> String -> i -> IO Mark #

getCurrentMarks :: Editor -> IO [Mark] #

setMark :: HasIndex Editor i BaseIndex => Mark -> i -> IO () #

setMarkGravity :: Mark -> Gravity -> IO () #

unsetMark :: Mark -> IO () #

addTextTag :: (HasIndex Editor i1 BaseIndex, HasIndex Editor i2 BaseIndex) => TextTag -> i1 -> i2 -> IO () #

bgstipple :: BitMapHandle -> Config TextTag #

createTextTag :: (HasIndex Editor i1 BaseIndex, HasIndex Editor i2 BaseIndex) => Editor -> i1 -> i2 -> [Config TextTag] -> IO TextTag #

fgstipple :: BitMapHandle -> Config TextTag #

getBgstipple :: TextTag -> IO BitMapHandle #

getFgstipple :: TextTag -> IO BitMapHandle #

getLmargin1 :: TextTag -> IO Distance #

getLmargin2 :: TextTag -> IO Distance #

getOffset :: TextTag -> IO Distance #

getOverstrike :: TextTag -> IO Toggle #

getRmargin :: TextTag -> IO Distance #

getUnderlined :: TextTag -> IO Toggle #

lmargin1 :: Distance -> Config TextTag #

lmargin2 :: Distance -> Config TextTag #

lowerTextTag :: TextTag -> IO () #

offset :: Distance -> Config TextTag #

overstrike :: Toggle -> Config TextTag #

raiseTextTag :: TextTag -> IO () #

removeTextTag :: (HasIndex Editor i1 BaseIndex, HasIndex Editor i2 BaseIndex) => TextTag -> i1 -> i2 -> IO () #

rmargin :: Distance -> Config TextTag #

underlined :: Toggle -> Config TextTag #

getLabelSide :: LabelFrame -> IO LabelSide #

labelSide :: LabelSide -> Config LabelFrame #

newLabelFrame :: Container par => par -> [Config LabelFrame] -> IO LabelFrame #

createNoteBookPage :: NoteBook -> String -> [Config NoteBookPage] -> IO NoteBookPage #

newNoteBook :: Container par => par -> [Config NoteBook] -> IO NoteBook #

after :: Pane -> CreationConfig Pane #

at :: Int -> CreationConfig Pane #

before :: Pane -> CreationConfig Pane #

createPane :: PanedWindow -> [CreationConfig Pane] -> [Config Pane] -> IO Pane #

expand :: Double -> CreationConfig Pane #

initsize :: Int -> CreationConfig Pane #

maxsize :: Int -> CreationConfig Pane #

minsize :: Int -> CreationConfig Pane #

newPanedWindow :: Container par => par -> Orientation -> [Config PanedWindow] -> IO PanedWindow #

finishHTk :: IO () #

getHTk :: IO HTk #

initHTk :: [Config HTk] -> IO HTk #

resourceFile :: String -> Config HTk #

updateAllTasks :: IO () #

updateIdleTasks :: IO () #

withdrawMainWin :: Config HTk #

withdrawWish :: IO () #

newButton :: Container par => par -> [Config Button] -> IO Button #

closeEnough :: Double -> Canvas -> IO Canvas #

confine :: Bool -> Canvas -> IO Canvas #

getCloseEnough :: Canvas -> IO Double #

getConfine :: Canvas -> IO Bool #

getScrollRegion :: Canvas -> IO ScrollRegion #

newCanvas :: Container par => par -> [Config Canvas] -> IO Canvas #

screenToCanvasCoord :: Canvas -> Orientation -> Distance -> Maybe Distance -> IO Distance #

scrollIncrement :: Orientation -> Distance -> Canvas -> IO Canvas #

scrollRegion :: ScrollRegion -> Canvas -> IO Canvas #

newCheckButton :: Container par => par -> [Config (CheckButton a)] -> IO (CheckButton a) #

entrySubwidget :: GUIValue a => ComboBox a -> Entry a #

listBoxSubwidget :: GUIValue a => ComboBox a -> ListBox a #

newComboBox :: (GUIValue a, Container par) => par -> Bool -> [Config (ComboBox a)] -> IO (ComboBox a) #

pick :: GUIValue a => Int -> Config (ComboBox a) #

adjustViewTo :: HasIndex Editor i BaseIndex => Editor -> i -> IO () #

appendText :: Editor -> String -> IO () #

compareIndices :: (HasIndex Editor i1 BaseIndex, HasIndex Editor i2 BaseIndex) => Editor -> String -> i1 -> i2 -> IO Bool #

deleteText :: HasIndex Editor i BaseIndex => Editor -> i -> IO () #

deleteTextRange :: (HasIndex Editor i1 BaseIndex, HasIndex Editor i2 BaseIndex) => Editor -> i1 -> i2 -> IO () #

getIndexPosition :: HasIndex Editor i BaseIndex => Editor -> i -> IO Position #

getTextLine :: HasIndex Editor i BaseIndex => Editor -> i -> IO String #

getTextRange :: (HasIndex Editor i1 BaseIndex, HasIndex Editor i2 BaseIndex) => Editor -> i1 -> i2 -> IO String #

getWrapMode :: Editor -> IO WrapMode #

insertNewline :: Editor -> IO () #

insertText :: (HasIndex Editor i BaseIndex, GUIValue a) => Editor -> i -> a -> IO () #

newEditor :: Container par => par -> [Config Editor] -> IO Editor #

readTextFromFile :: Editor -> FilePath -> IO () #

scanDragTo :: HasIndex Editor i BaseIndex => Editor -> i -> IO () #

scanMark :: HasIndex Editor i BaseIndex => Editor -> i -> IO () #

search :: HasIndex Editor i BaseIndex => Editor -> SearchSwitch -> String -> i -> IO (Maybe BaseIndex) #

wrap :: WrapMode -> Config Editor #

writeTextToFile :: Editor -> FilePath -> IO () #

getShowText :: GUIValue a => Entry a -> IO Char #

newEntry :: (Container par, GUIValue a) => par -> [Config (Entry a)] -> IO (Entry a) #

showText :: GUIValue a => Char -> Entry a -> IO (Entry a) #

newLabel :: Container par => par -> [Config Label] -> IO Label #

activateElem :: HasIndex (ListBox a) i Int => ListBox a -> i -> IO () #

elemNotFound :: IOError #

getSelectMode :: GUIValue a => ListBox a -> IO SelectMode #

newListBox :: (Container par, GUIValue a) => par -> [Config (ListBox a)] -> IO (ListBox a) #

selectMode :: GUIValue a => SelectMode -> ListBox a -> IO (ListBox a) #

selectionAnchor :: HasIndex (ListBox a) i Int => ListBox a -> i -> IO () #

newMenuButton :: Container par => par -> [Config MenuButton] -> IO MenuButton #

aspect :: Int -> Config Message #

getAspect :: Message -> IO Int #

newMessage :: Container par => par -> [Config Message] -> IO Message #

newOptionMenu :: (Container par, GUIValue a) => par -> [a] -> [Config (OptionMenu a)] -> IO (OptionMenu a) #

newRadioButton :: Container par => par -> [Config (RadioButton a)] -> IO (RadioButton a) #

bigIncrement :: ScaleValue a => a -> Config (Slider (Scale a)) #

digits :: Int -> Config (Scale a) #

getBigIncrement :: ScaleValue a => Slider (Scale a) -> IO a #

getDigits :: Scale a -> IO Int #

getInterval :: ScaleValue a => Scale a -> IO (a, a) #

getIntervalFrom :: ScaleValue a => Scale a -> IO a #

getIntervalTo :: ScaleValue a => Scale a -> IO a #

getShowValue :: Slider (Scale a) -> IO Toggle #

interval :: ScaleValue a => (a, a) -> Config (Scale a) #

intervalFrom :: ScaleValue a => a -> Config (Scale a) #

intervalTo :: ScaleValue a => a -> Config (Scale a) #

newScale :: (GUIValue a, ScaleValue a, Container par) => par -> [Config (Scale a)] -> IO (Scale a) #

showValue :: Toggle -> Config (Slider (Scale a)) #

activateScrollBarElem :: ScrollBar -> ScrollBarElem -> IO () #

fraction :: ScrollBar -> Position -> IO Fraction #

getActivatedElem :: ScrollBar -> IO (Maybe ScrollBarElem) #

identify :: ScrollBar -> Position -> IO (Maybe ScrollBarElem) #

newScrollBar :: Container par => par -> [Config ScrollBar] -> IO ScrollBar #

setView :: ScrollBar -> Fraction -> Fraction -> IO () #

(#) :: a -> (a -> b) -> b #

coerceWithError :: WithError a -> a #

coerceWithErrorIO :: WithError a -> IO a #

coerceWithErrorOrBreak :: (String -> a) -> WithError a -> a #

coerceWithErrorOrBreakIO :: (String -> a) -> WithError a -> IO a #

coerceWithErrorOrBreakIOPrefix :: String -> (String -> a) -> WithError a -> IO a #

coerceWithErrorOrBreakPrefix :: String -> (String -> a) -> WithError a -> a #

coerceWithErrorStringIO :: String -> WithError a -> IO a #

concatWithError :: [WithError a] -> WithError [a] #

config :: IO () -> Config w #

configure :: w -> [Config w] -> IO w #

done :: Monad m => m () #

exceptionToError :: Exception e => (e -> Maybe String) -> IO a -> IO (WithError a) #

foreach :: Monad m => [a] -> (a -> m b) -> m () #

foreverUntil :: Monad m => m Bool -> m () #

fromWithError :: WithError a -> Either String a #

fromWithError1 :: a -> WithError a -> a #

hasError :: String -> WithError a #

hasValue :: a -> WithError a #

incase :: Maybe a -> (a -> IO b) -> IO () #

isError :: WithError a -> Bool #

listWithError :: [WithError a] -> WithError [a] #

mapWithError :: (a -> b) -> WithError a -> WithError b #

mapWithError' :: (a -> WithError b) -> WithError a -> WithError b #

mapWithErrorIO :: (a -> IO b) -> WithError a -> IO (WithError b) #

mapWithErrorIO' :: (a -> IO (WithError b)) -> WithError a -> IO (WithError b) #

monadifyWithError :: forall (m :: Type -> Type) a. Monad m => WithError a -> MonadWithError m a #

pairWithError :: WithError a -> WithError b -> WithError (a, b) #

propagate :: Answer a -> IO a #

raise :: IOError -> IO a #

swapIOWithError :: WithError (IO a) -> IO (WithError a) #

toMonadWithError :: Monad m => m a -> MonadWithError m a #

tryUntilOK :: IO a -> IO a #

while :: Monad m => m a -> (a -> Bool) -> m a #

class HasEvent (eventType :: Type -> Type) where #

Methods

toEvent :: eventType a -> Event a #

Instances

Instances details

HasEvent Event
Instance details Defined in Events.Events Methods toEvent :: Event a -> Event a #

class HasReceive (chan :: Type -> Type) where #

Methods

receive :: chan a -> Event a #

Instances

Instances details

HasReceive Channel
Instance details Defined in Events.Channels Methods receive :: Channel a -> Event a #

class HasSend (chan :: Type -> Type) where #

Methods

send :: chan a -> a -> Event () #

Instances

Instances details

HasSend Channel
Instance details Defined in Events.Channels Methods send :: Channel a -> a -> Event () #

data Request a b #

Constructors

Request (a -> IO (Event b, IO ()))

class Synchronized a where #

Methods

synchronize :: a -> IO b -> IO b #

Instances

Instances details

Synchronized BSem
Instance details Defined in Reactor.BSem Methods synchronize :: BSem -> IO b -> IO b #
Synchronized Arc
Instance details Defined in HTk.Canvasitems.Arc Methods synchronize :: Arc -> IO b -> IO b #
Synchronized BitMapItem
Instance details Defined in HTk.Canvasitems.BitMapItem Methods synchronize :: BitMapItem -> IO b -> IO b #
Synchronized CanvasTag
Instance details Defined in HTk.Canvasitems.CanvasTag Methods synchronize :: CanvasTag -> IO b -> IO b #
Synchronized EmbeddedCanvasWin
Instance details Defined in HTk.Canvasitems.EmbeddedCanvasWin Methods synchronize :: EmbeddedCanvasWin -> IO b -> IO b #
Synchronized ImageItem
Instance details Defined in HTk.Canvasitems.ImageItem Methods synchronize :: ImageItem -> IO b -> IO b #
Synchronized Line
Instance details Defined in HTk.Canvasitems.Line Methods synchronize :: Line -> IO b -> IO b #
Synchronized Oval
Instance details Defined in HTk.Canvasitems.Oval Methods synchronize :: Oval -> IO b -> IO b #
Synchronized Polygon
Instance details Defined in HTk.Canvasitems.Polygon Methods synchronize :: Polygon -> IO b -> IO b #
Synchronized Rectangle
Instance details Defined in HTk.Canvasitems.Rectangle Methods synchronize :: Rectangle -> IO b -> IO b #
Synchronized TextItem
Instance details Defined in HTk.Canvasitems.TextItem Methods synchronize :: TextItem -> IO b -> IO b #
Synchronized BitMap
Instance details Defined in HTk.Components.BitMap Methods synchronize :: BitMap -> IO b -> IO b #
Synchronized Image
Instance details Defined in HTk.Components.Image Methods synchronize :: Image -> IO b -> IO b #
Synchronized Box
Instance details Defined in HTk.Containers.Box Methods synchronize :: Box -> IO b -> IO b #
Synchronized Frame
Instance details Defined in HTk.Containers.Frame Methods synchronize :: Frame -> IO b -> IO b #
Synchronized Toplevel
Instance details Defined in HTk.Containers.Toplevel Methods synchronize :: Toplevel -> IO b -> IO b #
Synchronized Menu
Instance details Defined in HTk.Menuitems.Menu Methods synchronize :: Menu -> IO b -> IO b #
Synchronized MenuCascade
Instance details Defined in HTk.Menuitems.MenuCascade Methods synchronize :: MenuCascade -> IO b -> IO b #
Synchronized MenuCheckButton
Instance details Defined in HTk.Menuitems.MenuCheckButton Methods synchronize :: MenuCheckButton -> IO b -> IO b #
Synchronized MenuCommand
Instance details Defined in HTk.Menuitems.MenuCommand Methods synchronize :: MenuCommand -> IO b -> IO b #
Synchronized MenuRadioButton
Instance details Defined in HTk.Menuitems.MenuRadioButton Methods synchronize :: MenuRadioButton -> IO b -> IO b #
Synchronized MenuSeparator
Instance details Defined in HTk.Menuitems.MenuSeparator Methods synchronize :: MenuSeparator -> IO b -> IO b #
Synchronized EmbeddedTextWin
Instance details Defined in HTk.Textitems.EmbeddedTextWin Methods synchronize :: EmbeddedTextWin -> IO b -> IO b #
Synchronized TextTag
Instance details Defined in HTk.Textitems.TextTag Methods synchronize :: TextTag -> IO b -> IO b #
Synchronized LabelFrame
Instance details Defined in HTk.Tix.LabelFrame Methods synchronize :: LabelFrame -> IO b -> IO b #
Synchronized NoteBook
Instance details Defined in HTk.Tix.NoteBook Methods synchronize :: NoteBook -> IO b -> IO b #
Synchronized NoteBookPage
Instance details Defined in HTk.Tix.NoteBook Methods synchronize :: NoteBookPage -> IO b -> IO b #
Synchronized Pane
Instance details Defined in HTk.Tix.PanedWindow Methods synchronize :: Pane -> IO b -> IO b #
Synchronized PanedWindow
Instance details Defined in HTk.Tix.PanedWindow Methods synchronize :: PanedWindow -> IO b -> IO b #
Synchronized HTk
Instance details Defined in HTk.Toplevel.HTk Methods synchronize :: HTk -> IO b -> IO b #
Synchronized Button
Instance details Defined in HTk.Widgets.Button Methods synchronize :: Button -> IO b -> IO b #
Synchronized Canvas
Instance details Defined in HTk.Widgets.Canvas Methods synchronize :: Canvas -> IO b -> IO b #
Synchronized Editor
Instance details Defined in HTk.Widgets.Editor Methods synchronize :: Editor -> IO b -> IO b #
Synchronized Label
Instance details Defined in HTk.Widgets.Label Methods synchronize :: Label -> IO b -> IO b #
Synchronized MenuButton
Instance details Defined in HTk.Widgets.MenuButton Methods synchronize :: MenuButton -> IO b -> IO b #
Synchronized Message
Instance details Defined in HTk.Widgets.Message Methods synchronize :: Message -> IO b -> IO b #
Synchronized GUIOBJECT
Instance details Defined in HTk.Kernel.GUIObject Methods synchronize :: GUIOBJECT -> IO b -> IO b #
Window w => Synchronized (Icon w)
Instance details Defined in HTk.Components.Icon Methods synchronize :: Icon w -> IO b -> IO b #
Synchronized (CheckButton a)
Instance details Defined in HTk.Widgets.CheckButton Methods synchronize :: CheckButton a -> IO b -> IO b #
GUIValue a => Synchronized (ComboBox a)
Instance details Defined in HTk.Widgets.ComboBox Methods synchronize :: ComboBox a -> IO b -> IO b #
Synchronized (Entry a)
Instance details Defined in HTk.Widgets.Entry Methods synchronize :: Entry a -> IO b -> IO b #
Synchronized (ListBox a)
Instance details Defined in HTk.Widgets.ListBox Methods synchronize :: ListBox a -> IO b -> IO b #
Synchronized (RadioButton a)
Instance details Defined in HTk.Widgets.RadioButton Methods synchronize :: RadioButton a -> IO b -> IO b #
Synchronized (Scale a)
Instance details Defined in HTk.Widgets.Scale Methods synchronize :: Scale a -> IO b -> IO b #
Synchronized (ScrollBox a)
Instance details Defined in HTk.Toolkit.ScrollBox Methods synchronize :: ScrollBox a -> IO b -> IO b #

data Arc #

Instances

Instances details

Eq Arc
Instance details Defined in HTk.Canvasitems.Arc Methods (==) :: Arc -> Arc -> Bool (/=) :: Arc -> Arc -> Bool
Destroyable Arc
Instance details Defined in HTk.Canvasitems.Arc Methods destroy :: Arc -> IO () #
Synchronized Arc
Instance details Defined in HTk.Canvasitems.Arc Methods synchronize :: Arc -> IO b -> IO b #
CanvasItem Arc
Instance details Defined in HTk.Canvasitems.Arc
FilledCanvasItem Arc
Instance details Defined in HTk.Canvasitems.Arc Methods filling :: ColourDesignator c => c -> Config Arc # getFilling :: Arc -> IO Colour # outline :: ColourDesignator c => c -> Config Arc # getOutline :: Arc -> IO Colour # stipple :: BitMapHandle -> Config Arc # getStipple :: Arc -> IO BitMapHandle # outlinewidth :: Distance -> Config Arc # getOutlineWidth :: Arc -> IO Distance #
TaggedCanvasItem Arc
Instance details Defined in HTk.Canvasitems.Arc Methods tags :: [CanvasTag] -> Config Arc #
HasGeometry Arc
Instance details Defined in HTk.Canvasitems.Arc Methods geometry :: Geometry -> Config Arc # getGeometry :: Arc -> IO Geometry #
HasPosition Arc
Instance details Defined in HTk.Canvasitems.Arc Methods position :: Position -> Config Arc # getPosition :: Arc -> IO Position #
HasSize Arc
Instance details Defined in HTk.Canvasitems.Arc Methods width :: Distance -> Config Arc # getWidth :: Arc -> IO Distance # height :: Distance -> Config Arc # getHeight :: Arc -> IO Distance # size :: Size -> Config Arc # getSize :: Arc -> IO Size #
GUIObject Arc
Instance details Defined in HTk.Canvasitems.Arc Methods toGUIObject :: Arc -> GUIOBJECT cname :: Arc -> String cset :: GUIValue a => Arc -> ConfigID -> a -> IO Arc cget :: GUIValue a => Arc -> ConfigID -> IO a

data BitMapItem #

Instances

Instances details

Eq BitMapItem
Instance details Defined in HTk.Canvasitems.BitMapItem Methods (==) :: BitMapItem -> BitMapItem -> Bool (/=) :: BitMapItem -> BitMapItem -> Bool
Destroyable BitMapItem
Instance details Defined in HTk.Canvasitems.BitMapItem Methods destroy :: BitMapItem -> IO () #
Synchronized BitMapItem
Instance details Defined in HTk.Canvasitems.BitMapItem Methods synchronize :: BitMapItem -> IO b -> IO b #
CanvasItem BitMapItem
Instance details Defined in HTk.Canvasitems.BitMapItem
FilledCanvasItem BitMapItem
Instance details Defined in HTk.Canvasitems.BitMapItem Methods filling :: ColourDesignator c => c -> Config BitMapItem # getFilling :: BitMapItem -> IO Colour # outline :: ColourDesignator c => c -> Config BitMapItem # getOutline :: BitMapItem -> IO Colour # stipple :: BitMapHandle -> Config BitMapItem # getStipple :: BitMapItem -> IO BitMapHandle # outlinewidth :: Distance -> Config BitMapItem # getOutlineWidth :: BitMapItem -> IO Distance #
TaggedCanvasItem BitMapItem
Instance details Defined in HTk.Canvasitems.BitMapItem Methods tags :: [CanvasTag] -> Config BitMapItem #
HasBitMap BitMapItem
Instance details Defined in HTk.Canvasitems.BitMapItem Methods bitmap :: BitMapDesignator d => d -> Config BitMapItem # getBitMap :: BitMapItem -> IO BitMapHandle #
HasCanvAnchor BitMapItem
Instance details Defined in HTk.Canvasitems.BitMapItem Methods canvAnchor :: Anchor -> Config BitMapItem # getCanvAnchor :: BitMapItem -> IO Anchor #
HasPosition BitMapItem
Instance details Defined in HTk.Canvasitems.BitMapItem Methods position :: Position -> Config BitMapItem # getPosition :: BitMapItem -> IO Position #
GUIObject BitMapItem
Instance details Defined in HTk.Canvasitems.BitMapItem Methods toGUIObject :: BitMapItem -> GUIOBJECT cname :: BitMapItem -> String cset :: GUIValue a => BitMapItem -> ConfigID -> a -> IO BitMapItem cget :: GUIValue a => BitMapItem -> ConfigID -> IO a

class GUIObject w => CanvasItem w #

Instances

Instances details

CanvasItem Arc
Instance details Defined in HTk.Canvasitems.Arc
CanvasItem BitMapItem
Instance details Defined in HTk.Canvasitems.BitMapItem
CanvasItem CanvasTag
Instance details Defined in HTk.Canvasitems.CanvasTag
CanvasItem EmbeddedCanvasWin
Instance details Defined in HTk.Canvasitems.EmbeddedCanvasWin
CanvasItem ImageItem
Instance details Defined in HTk.Canvasitems.ImageItem
CanvasItem Line
Instance details Defined in HTk.Canvasitems.Line
CanvasItem Oval
Instance details Defined in HTk.Canvasitems.Oval
CanvasItem Polygon
Instance details Defined in HTk.Canvasitems.Polygon
CanvasItem Rectangle
Instance details Defined in HTk.Canvasitems.Rectangle
CanvasItem TextItem
Instance details Defined in HTk.Canvasitems.TextItem

class CanvasItem w => FilledCanvasItem w where #

Minimal complete definition

Nothing

Methods

filling :: ColourDesignator c => c -> Config w #

getFilling :: w -> IO Colour #

outline :: ColourDesignator c => c -> Config w #

getOutline :: w -> IO Colour #

stipple :: BitMapHandle -> Config w #

getStipple :: w -> IO BitMapHandle #

outlinewidth :: Distance -> Config w #

getOutlineWidth :: w -> IO Distance #

Instances

Instances details

FilledCanvasItem Arc
Instance details Defined in HTk.Canvasitems.Arc Methods filling :: ColourDesignator c => c -> Config Arc # getFilling :: Arc -> IO Colour # outline :: ColourDesignator c => c -> Config Arc # getOutline :: Arc -> IO Colour # stipple :: BitMapHandle -> Config Arc # getStipple :: Arc -> IO BitMapHandle # outlinewidth :: Distance -> Config Arc # getOutlineWidth :: Arc -> IO Distance #
FilledCanvasItem BitMapItem
Instance details Defined in HTk.Canvasitems.BitMapItem Methods filling :: ColourDesignator c => c -> Config BitMapItem # getFilling :: BitMapItem -> IO Colour # outline :: ColourDesignator c => c -> Config BitMapItem # getOutline :: BitMapItem -> IO Colour # stipple :: BitMapHandle -> Config BitMapItem # getStipple :: BitMapItem -> IO BitMapHandle # outlinewidth :: Distance -> Config BitMapItem # getOutlineWidth :: BitMapItem -> IO Distance #
FilledCanvasItem Line
Instance details Defined in HTk.Canvasitems.Line Methods filling :: ColourDesignator c => c -> Config Line # getFilling :: Line -> IO Colour # outline :: ColourDesignator c => c -> Config Line # getOutline :: Line -> IO Colour # stipple :: BitMapHandle -> Config Line # getStipple :: Line -> IO BitMapHandle # outlinewidth :: Distance -> Config Line # getOutlineWidth :: Line -> IO Distance #
FilledCanvasItem Oval
Instance details Defined in HTk.Canvasitems.Oval Methods filling :: ColourDesignator c => c -> Config Oval # getFilling :: Oval -> IO Colour # outline :: ColourDesignator c => c -> Config Oval # getOutline :: Oval -> IO Colour # stipple :: BitMapHandle -> Config Oval # getStipple :: Oval -> IO BitMapHandle # outlinewidth :: Distance -> Config Oval # getOutlineWidth :: Oval -> IO Distance #
FilledCanvasItem Polygon
Instance details Defined in HTk.Canvasitems.Polygon Methods filling :: ColourDesignator c => c -> Config Polygon # getFilling :: Polygon -> IO Colour # outline :: ColourDesignator c => c -> Config Polygon # getOutline :: Polygon -> IO Colour # stipple :: BitMapHandle -> Config Polygon # getStipple :: Polygon -> IO BitMapHandle # outlinewidth :: Distance -> Config Polygon # getOutlineWidth :: Polygon -> IO Distance #
FilledCanvasItem Rectangle
Instance details Defined in HTk.Canvasitems.Rectangle Methods filling :: ColourDesignator c => c -> Config Rectangle # getFilling :: Rectangle -> IO Colour # outline :: ColourDesignator c => c -> Config Rectangle # getOutline :: Rectangle -> IO Colour # stipple :: BitMapHandle -> Config Rectangle # getStipple :: Rectangle -> IO BitMapHandle # outlinewidth :: Distance -> Config Rectangle # getOutlineWidth :: Rectangle -> IO Distance #
FilledCanvasItem TextItem
Instance details Defined in HTk.Canvasitems.TextItem Methods filling :: ColourDesignator c => c -> Config TextItem # getFilling :: TextItem -> IO Colour # outline :: ColourDesignator c => c -> Config TextItem # getOutline :: TextItem -> IO Colour # stipple :: BitMapHandle -> Config TextItem # getStipple :: TextItem -> IO BitMapHandle # outlinewidth :: Distance -> Config TextItem # getOutlineWidth :: TextItem -> IO Distance #

class HasCoords w where #

Methods

coord :: Coord -> Config w #

getCoord :: w -> IO Coord #

Instances

Instances details

CanvasItem w => HasCoords w
Instance details Defined in HTk.Canvasitems.CanvasItem Methods coord :: Coord -> Config w # getCoord :: w -> IO Coord #

class CanvasItem w => SegmentedCanvasItem w where #

Minimal complete definition

Nothing

Methods

splinesteps :: Int -> Config w #

getSplinesteps :: w -> IO Int #

smooth :: Bool -> Config w #

getSmooth :: w -> IO Bool #

Instances

Instances details

SegmentedCanvasItem Line
Instance details Defined in HTk.Canvasitems.Line Methods splinesteps :: Int -> Config Line # getSplinesteps :: Line -> IO Int # smooth :: Bool -> Config Line # getSmooth :: Line -> IO Bool #
SegmentedCanvasItem Polygon
Instance details Defined in HTk.Canvasitems.Polygon Methods splinesteps :: Int -> Config Polygon # getSplinesteps :: Polygon -> IO Int # smooth :: Bool -> Config Polygon # getSmooth :: Polygon -> IO Bool #

data CanvasTag #

Instances

Instances details

Eq CanvasTag
Instance details Defined in HTk.Canvasitems.CanvasTag Methods (==) :: CanvasTag -> CanvasTag -> Bool (/=) :: CanvasTag -> CanvasTag -> Bool
Destroyable CanvasTag
Instance details Defined in HTk.Canvasitems.CanvasTag Methods destroy :: CanvasTag -> IO () #
Synchronized CanvasTag
Instance details Defined in HTk.Canvasitems.CanvasTag Methods synchronize :: CanvasTag -> IO b -> IO b #
CanvasItem CanvasTag
Instance details Defined in HTk.Canvasitems.CanvasTag
GUIObject CanvasTag
Instance details Defined in HTk.Canvasitems.CanvasTag Methods toGUIObject :: CanvasTag -> GUIOBJECT cname :: CanvasTag -> String cset :: GUIValue a => CanvasTag -> ConfigID -> a -> IO CanvasTag cget :: GUIValue a => CanvasTag -> ConfigID -> IO a

data SearchSpec #

class CanvasItem w => TaggedCanvasItem w where #

Minimal complete definition

Nothing

Methods

tags :: [CanvasTag] -> Config w #

Instances

Instances details

TaggedCanvasItem Arc
Instance details Defined in HTk.Canvasitems.Arc Methods tags :: [CanvasTag] -> Config Arc #
TaggedCanvasItem BitMapItem
Instance details Defined in HTk.Canvasitems.BitMapItem Methods tags :: [CanvasTag] -> Config BitMapItem #
TaggedCanvasItem EmbeddedCanvasWin
Instance details Defined in HTk.Canvasitems.EmbeddedCanvasWin Methods tags :: [CanvasTag] -> Config EmbeddedCanvasWin #
TaggedCanvasItem ImageItem
Instance details Defined in HTk.Canvasitems.ImageItem Methods tags :: [CanvasTag] -> Config ImageItem #
TaggedCanvasItem Line
Instance details Defined in HTk.Canvasitems.Line Methods tags :: [CanvasTag] -> Config Line #
TaggedCanvasItem Oval
Instance details Defined in HTk.Canvasitems.Oval Methods tags :: [CanvasTag] -> Config Oval #
TaggedCanvasItem Polygon
Instance details Defined in HTk.Canvasitems.Polygon Methods tags :: [CanvasTag] -> Config Polygon #
TaggedCanvasItem Rectangle
Instance details Defined in HTk.Canvasitems.Rectangle Methods tags :: [CanvasTag] -> Config Rectangle #
TaggedCanvasItem TextItem
Instance details Defined in HTk.Canvasitems.TextItem Methods tags :: [CanvasTag] -> Config TextItem #

data EmbeddedCanvasWin #

Instances

Instances details

Eq EmbeddedCanvasWin
Instance details Defined in HTk.Canvasitems.EmbeddedCanvasWin Methods (==) :: EmbeddedCanvasWin -> EmbeddedCanvasWin -> Bool (/=) :: EmbeddedCanvasWin -> EmbeddedCanvasWin -> Bool
Destroyable EmbeddedCanvasWin
Instance details Defined in HTk.Canvasitems.EmbeddedCanvasWin Methods destroy :: EmbeddedCanvasWin -> IO () #
Synchronized EmbeddedCanvasWin
Instance details Defined in HTk.Canvasitems.EmbeddedCanvasWin Methods synchronize :: EmbeddedCanvasWin -> IO b -> IO b #
CanvasItem EmbeddedCanvasWin
Instance details Defined in HTk.Canvasitems.EmbeddedCanvasWin
TaggedCanvasItem EmbeddedCanvasWin
Instance details Defined in HTk.Canvasitems.EmbeddedCanvasWin Methods tags :: [CanvasTag] -> Config EmbeddedCanvasWin #
Widget EmbeddedCanvasWin
Instance details Defined in HTk.Canvasitems.EmbeddedCanvasWin Methods cursor :: CursorDesignator ch => ch -> Config EmbeddedCanvasWin # getCursor :: EmbeddedCanvasWin -> IO Cursor # takeFocus :: Bool -> Config EmbeddedCanvasWin # getTakeFocus :: EmbeddedCanvasWin -> IO Bool #
HasCanvAnchor EmbeddedCanvasWin
Instance details Defined in HTk.Canvasitems.EmbeddedCanvasWin Methods canvAnchor :: Anchor -> Config EmbeddedCanvasWin # getCanvAnchor :: EmbeddedCanvasWin -> IO Anchor #
HasPosition EmbeddedCanvasWin
Instance details Defined in HTk.Canvasitems.EmbeddedCanvasWin Methods position :: Position -> Config EmbeddedCanvasWin # getPosition :: EmbeddedCanvasWin -> IO Position #
HasSize EmbeddedCanvasWin
Instance details Defined in HTk.Canvasitems.EmbeddedCanvasWin Methods width :: Distance -> Config EmbeddedCanvasWin # getWidth :: EmbeddedCanvasWin -> IO Distance # height :: Distance -> Config EmbeddedCanvasWin # getHeight :: EmbeddedCanvasWin -> IO Distance # size :: Size -> Config EmbeddedCanvasWin # getSize :: EmbeddedCanvasWin -> IO Size #
GUIObject EmbeddedCanvasWin
Instance details Defined in HTk.Canvasitems.EmbeddedCanvasWin Methods toGUIObject :: EmbeddedCanvasWin -> GUIOBJECT cname :: EmbeddedCanvasWin -> String cset :: GUIValue a => EmbeddedCanvasWin -> ConfigID -> a -> IO EmbeddedCanvasWin cget :: GUIValue a => EmbeddedCanvasWin -> ConfigID -> IO a

data ImageItem #

Instances

Instances details

Eq ImageItem
Instance details Defined in HTk.Canvasitems.ImageItem Methods (==) :: ImageItem -> ImageItem -> Bool (/=) :: ImageItem -> ImageItem -> Bool
Destroyable ImageItem
Instance details Defined in HTk.Canvasitems.ImageItem Methods destroy :: ImageItem -> IO () #
Synchronized ImageItem
Instance details Defined in HTk.Canvasitems.ImageItem Methods synchronize :: ImageItem -> IO b -> IO b #
CanvasItem ImageItem
Instance details Defined in HTk.Canvasitems.ImageItem
TaggedCanvasItem ImageItem
Instance details Defined in HTk.Canvasitems.ImageItem Methods tags :: [CanvasTag] -> Config ImageItem #
HasPhoto ImageItem
Instance details Defined in HTk.Canvasitems.ImageItem Methods photo :: Image -> Config ImageItem # getPhoto :: ImageItem -> IO (Maybe Image) #
HasCanvAnchor ImageItem
Instance details Defined in HTk.Canvasitems.ImageItem Methods canvAnchor :: Anchor -> Config ImageItem # getCanvAnchor :: ImageItem -> IO Anchor #
HasPosition ImageItem
Instance details Defined in HTk.Canvasitems.ImageItem Methods position :: Position -> Config ImageItem # getPosition :: ImageItem -> IO Position #
GUIObject ImageItem
Instance details Defined in HTk.Canvasitems.ImageItem Methods toGUIObject :: ImageItem -> GUIOBJECT cname :: ImageItem -> String cset :: GUIValue a => ImageItem -> ConfigID -> a -> IO ImageItem cget :: GUIValue a => ImageItem -> ConfigID -> IO a

data ArrowHead #

Constructors

BothEnds
LastEnd
FirstEnd
NoHead

Instances

Instances details

Enum ArrowHead
Instance details Defined in HTk.Canvasitems.Line Methods succ :: ArrowHead -> ArrowHead pred :: ArrowHead -> ArrowHead toEnum :: Int -> ArrowHead fromEnum :: ArrowHead -> Int enumFrom :: ArrowHead -> [ArrowHead] enumFromThen :: ArrowHead -> ArrowHead -> [ArrowHead] enumFromTo :: ArrowHead -> ArrowHead -> [ArrowHead] enumFromThenTo :: ArrowHead -> ArrowHead -> ArrowHead -> [ArrowHead]
Eq ArrowHead
Instance details Defined in HTk.Canvasitems.Line Methods (==) :: ArrowHead -> ArrowHead -> Bool (/=) :: ArrowHead -> ArrowHead -> Bool
Ord ArrowHead
Instance details Defined in HTk.Canvasitems.Line Methods compare :: ArrowHead -> ArrowHead -> Ordering (<) :: ArrowHead -> ArrowHead -> Bool (<=) :: ArrowHead -> ArrowHead -> Bool (>) :: ArrowHead -> ArrowHead -> Bool (>=) :: ArrowHead -> ArrowHead -> Bool max :: ArrowHead -> ArrowHead -> ArrowHead min :: ArrowHead -> ArrowHead -> ArrowHead
Read ArrowHead
Instance details Defined in HTk.Canvasitems.Line Methods readsPrec :: Int -> ReadS ArrowHead readList :: ReadS [ArrowHead] readPrec :: ReadPrec ArrowHead readListPrec :: ReadPrec [ArrowHead]
Show ArrowHead
Instance details Defined in HTk.Canvasitems.Line Methods showsPrec :: Int -> ArrowHead -> ShowS show :: ArrowHead -> String showList :: [ArrowHead] -> ShowS
GUIValue ArrowHead
Instance details Defined in HTk.Canvasitems.Line Methods cdefault :: ArrowHead # toGUIValue :: ArrowHead -> GUIVALUE # maybeGUIValue :: GUIVALUE -> Maybe ArrowHead # fromGUIValue :: GUIVALUE -> ArrowHead #

data CapStyle #

Constructors

CapRound
CapProjecting
CapButt

Instances

Instances details

Enum CapStyle
Instance details Defined in HTk.Canvasitems.Line Methods succ :: CapStyle -> CapStyle pred :: CapStyle -> CapStyle toEnum :: Int -> CapStyle fromEnum :: CapStyle -> Int enumFrom :: CapStyle -> [CapStyle] enumFromThen :: CapStyle -> CapStyle -> [CapStyle] enumFromTo :: CapStyle -> CapStyle -> [CapStyle] enumFromThenTo :: CapStyle -> CapStyle -> CapStyle -> [CapStyle]
Eq CapStyle
Instance details Defined in HTk.Canvasitems.Line Methods (==) :: CapStyle -> CapStyle -> Bool (/=) :: CapStyle -> CapStyle -> Bool
Ord CapStyle
Instance details Defined in HTk.Canvasitems.Line Methods compare :: CapStyle -> CapStyle -> Ordering (<) :: CapStyle -> CapStyle -> Bool (<=) :: CapStyle -> CapStyle -> Bool (>) :: CapStyle -> CapStyle -> Bool (>=) :: CapStyle -> CapStyle -> Bool max :: CapStyle -> CapStyle -> CapStyle min :: CapStyle -> CapStyle -> CapStyle
Read CapStyle
Instance details Defined in HTk.Canvasitems.Line Methods readsPrec :: Int -> ReadS CapStyle readList :: ReadS [CapStyle] readPrec :: ReadPrec CapStyle readListPrec :: ReadPrec [CapStyle]
Show CapStyle
Instance details Defined in HTk.Canvasitems.Line Methods showsPrec :: Int -> CapStyle -> ShowS show :: CapStyle -> String showList :: [CapStyle] -> ShowS
GUIValue CapStyle
Instance details Defined in HTk.Canvasitems.Line Methods cdefault :: CapStyle # toGUIValue :: CapStyle -> GUIVALUE # maybeGUIValue :: GUIVALUE -> Maybe CapStyle # fromGUIValue :: GUIVALUE -> CapStyle #

data JoinStyle #

Constructors

JoinRound
JoinMiter
JoinBevel

Instances

Instances details

Enum JoinStyle
Instance details Defined in HTk.Canvasitems.Line Methods succ :: JoinStyle -> JoinStyle pred :: JoinStyle -> JoinStyle toEnum :: Int -> JoinStyle fromEnum :: JoinStyle -> Int enumFrom :: JoinStyle -> [JoinStyle] enumFromThen :: JoinStyle -> JoinStyle -> [JoinStyle] enumFromTo :: JoinStyle -> JoinStyle -> [JoinStyle] enumFromThenTo :: JoinStyle -> JoinStyle -> JoinStyle -> [JoinStyle]
Eq JoinStyle
Instance details Defined in HTk.Canvasitems.Line Methods (==) :: JoinStyle -> JoinStyle -> Bool (/=) :: JoinStyle -> JoinStyle -> Bool
Ord JoinStyle
Instance details Defined in HTk.Canvasitems.Line Methods compare :: JoinStyle -> JoinStyle -> Ordering (<) :: JoinStyle -> JoinStyle -> Bool (<=) :: JoinStyle -> JoinStyle -> Bool (>) :: JoinStyle -> JoinStyle -> Bool (>=) :: JoinStyle -> JoinStyle -> Bool max :: JoinStyle -> JoinStyle -> JoinStyle min :: JoinStyle -> JoinStyle -> JoinStyle
Read JoinStyle
Instance details Defined in HTk.Canvasitems.Line Methods readsPrec :: Int -> ReadS JoinStyle readList :: ReadS [JoinStyle] readPrec :: ReadPrec JoinStyle readListPrec :: ReadPrec [JoinStyle]
Show JoinStyle
Instance details Defined in HTk.Canvasitems.Line Methods showsPrec :: Int -> JoinStyle -> ShowS show :: JoinStyle -> String showList :: [JoinStyle] -> ShowS
GUIValue JoinStyle
Instance details Defined in HTk.Canvasitems.Line Methods cdefault :: JoinStyle # toGUIValue :: JoinStyle -> GUIVALUE # maybeGUIValue :: GUIVALUE -> Maybe JoinStyle # fromGUIValue :: GUIVALUE -> JoinStyle #

data Line #

Instances

Instances details

Eq Line
Instance details Defined in HTk.Canvasitems.Line Methods (==) :: Line -> Line -> Bool (/=) :: Line -> Line -> Bool
Destroyable Line
Instance details Defined in HTk.Canvasitems.Line Methods destroy :: Line -> IO () #
Synchronized Line
Instance details Defined in HTk.Canvasitems.Line Methods synchronize :: Line -> IO b -> IO b #
CanvasItem Line
Instance details Defined in HTk.Canvasitems.Line
FilledCanvasItem Line
Instance details Defined in HTk.Canvasitems.Line Methods filling :: ColourDesignator c => c -> Config Line # getFilling :: Line -> IO Colour # outline :: ColourDesignator c => c -> Config Line # getOutline :: Line -> IO Colour # stipple :: BitMapHandle -> Config Line # getStipple :: Line -> IO BitMapHandle # outlinewidth :: Distance -> Config Line # getOutlineWidth :: Line -> IO Distance #
SegmentedCanvasItem Line
Instance details Defined in HTk.Canvasitems.Line Methods splinesteps :: Int -> Config Line # getSplinesteps :: Line -> IO Int # smooth :: Bool -> Config Line # getSmooth :: Line -> IO Bool #
TaggedCanvasItem Line
Instance details Defined in HTk.Canvasitems.Line Methods tags :: [CanvasTag] -> Config Line #
HasSize Line
Instance details Defined in HTk.Canvasitems.Line Methods width :: Distance -> Config Line # getWidth :: Line -> IO Distance # height :: Distance -> Config Line # getHeight :: Line -> IO Distance # size :: Size -> Config Line # getSize :: Line -> IO Size #
GUIObject Line
Instance details Defined in HTk.Canvasitems.Line Methods toGUIObject :: Line -> GUIOBJECT cname :: Line -> String cset :: GUIValue a => Line -> ConfigID -> a -> IO Line cget :: GUIValue a => Line -> ConfigID -> IO a

data Oval #

Instances

Instances details

Eq Oval
Instance details Defined in HTk.Canvasitems.Oval Methods (==) :: Oval -> Oval -> Bool (/=) :: Oval -> Oval -> Bool
Destroyable Oval
Instance details Defined in HTk.Canvasitems.Oval Methods destroy :: Oval -> IO () #
Synchronized Oval
Instance details Defined in HTk.Canvasitems.Oval Methods synchronize :: Oval -> IO b -> IO b #
CanvasItem Oval
Instance details Defined in HTk.Canvasitems.Oval
FilledCanvasItem Oval
Instance details Defined in HTk.Canvasitems.Oval Methods filling :: ColourDesignator c => c -> Config Oval # getFilling :: Oval -> IO Colour # outline :: ColourDesignator c => c -> Config Oval # getOutline :: Oval -> IO Colour # stipple :: BitMapHandle -> Config Oval # getStipple :: Oval -> IO BitMapHandle # outlinewidth :: Distance -> Config Oval # getOutlineWidth :: Oval -> IO Distance #
TaggedCanvasItem Oval
Instance details Defined in HTk.Canvasitems.Oval Methods tags :: [CanvasTag] -> Config Oval #
HasGeometry Oval
Instance details Defined in HTk.Canvasitems.Oval Methods geometry :: Geometry -> Config Oval # getGeometry :: Oval -> IO Geometry #
HasPosition Oval
Instance details Defined in HTk.Canvasitems.Oval Methods position :: Position -> Config Oval # getPosition :: Oval -> IO Position #
HasSize Oval
Instance details Defined in HTk.Canvasitems.Oval Methods width :: Distance -> Config Oval # getWidth :: Oval -> IO Distance # height :: Distance -> Config Oval # getHeight :: Oval -> IO Distance # size :: Size -> Config Oval # getSize :: Oval -> IO Size #
GUIObject Oval
Instance details Defined in HTk.Canvasitems.Oval Methods toGUIObject :: Oval -> GUIOBJECT cname :: Oval -> String cset :: GUIValue a => Oval -> ConfigID -> a -> IO Oval cget :: GUIValue a => Oval -> ConfigID -> IO a

data Polygon #

Instances

Instances details

Eq Polygon
Instance details Defined in HTk.Canvasitems.Polygon Methods (==) :: Polygon -> Polygon -> Bool (/=) :: Polygon -> Polygon -> Bool
Destroyable Polygon
Instance details Defined in HTk.Canvasitems.Polygon Methods destroy :: Polygon -> IO () #
Synchronized Polygon
Instance details Defined in HTk.Canvasitems.Polygon Methods synchronize :: Polygon -> IO b -> IO b #
CanvasItem Polygon
Instance details Defined in HTk.Canvasitems.Polygon
FilledCanvasItem Polygon
Instance details Defined in HTk.Canvasitems.Polygon Methods filling :: ColourDesignator c => c -> Config Polygon # getFilling :: Polygon -> IO Colour # outline :: ColourDesignator c => c -> Config Polygon # getOutline :: Polygon -> IO Colour # stipple :: BitMapHandle -> Config Polygon # getStipple :: Polygon -> IO BitMapHandle # outlinewidth :: Distance -> Config Polygon # getOutlineWidth :: Polygon -> IO Distance #
SegmentedCanvasItem Polygon
Instance details Defined in HTk.Canvasitems.Polygon Methods splinesteps :: Int -> Config Polygon # getSplinesteps :: Polygon -> IO Int # smooth :: Bool -> Config Polygon # getSmooth :: Polygon -> IO Bool #
TaggedCanvasItem Polygon
Instance details Defined in HTk.Canvasitems.Polygon Methods tags :: [CanvasTag] -> Config Polygon #
GUIObject Polygon
Instance details Defined in HTk.Canvasitems.Polygon Methods toGUIObject :: Polygon -> GUIOBJECT cname :: Polygon -> String cset :: GUIValue a => Polygon -> ConfigID -> a -> IO Polygon cget :: GUIValue a => Polygon -> ConfigID -> IO a

data Rectangle #

Instances

Instances details

Eq Rectangle
Instance details Defined in HTk.Canvasitems.Rectangle Methods (==) :: Rectangle -> Rectangle -> Bool (/=) :: Rectangle -> Rectangle -> Bool
Destroyable Rectangle
Instance details Defined in HTk.Canvasitems.Rectangle Methods destroy :: Rectangle -> IO () #
Synchronized Rectangle
Instance details Defined in HTk.Canvasitems.Rectangle Methods synchronize :: Rectangle -> IO b -> IO b #
CanvasItem Rectangle
Instance details Defined in HTk.Canvasitems.Rectangle
FilledCanvasItem Rectangle
Instance details Defined in HTk.Canvasitems.Rectangle Methods filling :: ColourDesignator c => c -> Config Rectangle # getFilling :: Rectangle -> IO Colour # outline :: ColourDesignator c => c -> Config Rectangle # getOutline :: Rectangle -> IO Colour # stipple :: BitMapHandle -> Config Rectangle # getStipple :: Rectangle -> IO BitMapHandle # outlinewidth :: Distance -> Config Rectangle # getOutlineWidth :: Rectangle -> IO Distance #
TaggedCanvasItem Rectangle
Instance details Defined in HTk.Canvasitems.Rectangle Methods tags :: [CanvasTag] -> Config Rectangle #
HasGeometry Rectangle
Instance details Defined in HTk.Canvasitems.Rectangle Methods geometry :: Geometry -> Config Rectangle # getGeometry :: Rectangle -> IO Geometry #
HasPosition Rectangle
Instance details Defined in HTk.Canvasitems.Rectangle Methods position :: Position -> Config Rectangle # getPosition :: Rectangle -> IO Position #
HasSize Rectangle
Instance details Defined in HTk.Canvasitems.Rectangle Methods width :: Distance -> Config Rectangle # getWidth :: Rectangle -> IO Distance # height :: Distance -> Config Rectangle # getHeight :: Rectangle -> IO Distance # size :: Size -> Config Rectangle # getSize :: Rectangle -> IO Size #
GUIObject Rectangle
Instance details Defined in HTk.Canvasitems.Rectangle Methods toGUIObject :: Rectangle -> GUIOBJECT cname :: Rectangle -> String cset :: GUIValue a => Rectangle -> ConfigID -> a -> IO Rectangle cget :: GUIValue a => Rectangle -> ConfigID -> IO a

data TextItem #

Instances

Instances details

Eq TextItem
Instance details Defined in HTk.Canvasitems.TextItem Methods (==) :: TextItem -> TextItem -> Bool (/=) :: TextItem -> TextItem -> Bool
Destroyable TextItem
Instance details Defined in HTk.Canvasitems.TextItem Methods destroy :: TextItem -> IO () #
Synchronized TextItem
Instance details Defined in HTk.Canvasitems.TextItem Methods synchronize :: TextItem -> IO b -> IO b #
CanvasItem TextItem
Instance details Defined in HTk.Canvasitems.TextItem
FilledCanvasItem TextItem
Instance details Defined in HTk.Canvasitems.TextItem Methods filling :: ColourDesignator c => c -> Config TextItem # getFilling :: TextItem -> IO Colour # outline :: ColourDesignator c => c -> Config TextItem # getOutline :: TextItem -> IO Colour # stipple :: BitMapHandle -> Config TextItem # getStipple :: TextItem -> IO BitMapHandle # outlinewidth :: Distance -> Config TextItem # getOutlineWidth :: TextItem -> IO Distance #
TaggedCanvasItem TextItem
Instance details Defined in HTk.Canvasitems.TextItem Methods tags :: [CanvasTag] -> Config TextItem #
HasAnchor TextItem
Instance details Defined in HTk.Canvasitems.TextItem Methods anchor :: Anchor -> Config TextItem # getAnchor :: TextItem -> IO Anchor #
HasCanvAnchor TextItem
Instance details Defined in HTk.Canvasitems.TextItem Methods canvAnchor :: Anchor -> Config TextItem # getCanvAnchor :: TextItem -> IO Anchor #
HasFont TextItem
Instance details Defined in HTk.Canvasitems.TextItem Methods font :: FontDesignator f => f -> Config TextItem # getFont :: TextItem -> IO Font #
HasJustify TextItem
Instance details Defined in HTk.Canvasitems.TextItem Methods justify :: Justify -> Config TextItem # getJustify :: TextItem -> IO Justify #
HasPosition TextItem
Instance details Defined in HTk.Canvasitems.TextItem Methods position :: Position -> Config TextItem # getPosition :: TextItem -> IO Position #
HasSize TextItem
Instance details Defined in HTk.Canvasitems.TextItem Methods width :: Distance -> Config TextItem # getWidth :: TextItem -> IO Distance # height :: Distance -> Config TextItem # getHeight :: TextItem -> IO Distance # size :: Size -> Config TextItem # getSize :: TextItem -> IO Size #
GUIObject TextItem
Instance details Defined in HTk.Canvasitems.TextItem Methods toGUIObject :: TextItem -> GUIOBJECT cname :: TextItem -> String cset :: GUIValue a => TextItem -> ConfigID -> a -> IO TextItem cget :: GUIValue a => TextItem -> ConfigID -> IO a
GUIValue b => HasText TextItem b
Instance details Defined in HTk.Canvasitems.TextItem Methods text :: b -> Config TextItem # getText :: TextItem -> IO b #

data BitMap #

Instances

Instances details

Eq BitMap
Instance details Defined in HTk.Components.BitMap Methods (==) :: BitMap -> BitMap -> Bool (/=) :: BitMap -> BitMap -> Bool
Destroyable BitMap
Instance details Defined in HTk.Components.BitMap Methods destroy :: BitMap -> IO () #
Synchronized BitMap
Instance details Defined in HTk.Components.BitMap Methods synchronize :: BitMap -> IO b -> IO b #
BitMapDesignator BitMap
Instance details Defined in HTk.Components.BitMap Methods toBitMap :: BitMap -> BitMapHandle #
Widget BitMap
Instance details Defined in HTk.Components.BitMap Methods cursor :: CursorDesignator ch => ch -> Config BitMap # getCursor :: BitMap -> IO Cursor # takeFocus :: Bool -> Config BitMap # getTakeFocus :: BitMap -> IO Bool #
HasBorder BitMap
Instance details Defined in HTk.Components.BitMap Methods borderwidth :: Distance -> Config BitMap # getBorderwidth :: BitMap -> IO Distance # relief :: Relief -> Config BitMap # getRelief :: BitMap -> IO Relief #
HasColour BitMap
Instance details Defined in HTk.Components.BitMap Methods legalColourID :: BitMap -> ConfigID -> Bool # setColour :: BitMap -> ConfigID -> Colour -> IO BitMap # getColour :: BitMap -> ConfigID -> IO Colour #
HasFile BitMap
Instance details Defined in HTk.Components.BitMap Methods filename :: String -> Config BitMap # getFileName :: BitMap -> IO String #
HasSize BitMap
Instance details Defined in HTk.Components.BitMap Methods width :: Distance -> Config BitMap # getWidth :: BitMap -> IO Distance # height :: Distance -> Config BitMap # getHeight :: BitMap -> IO Distance # size :: Size -> Config BitMap # getSize :: BitMap -> IO Size #
GUIObject BitMap
Instance details Defined in HTk.Components.BitMap Methods toGUIObject :: BitMap -> GUIOBJECT cname :: BitMap -> String cset :: GUIValue a => BitMap -> ConfigID -> a -> IO BitMap cget :: GUIValue a => BitMap -> ConfigID -> IO a

class BitMapDesignator d where #

Methods

toBitMap :: d -> BitMapHandle #

Instances

Instances details

BitMapDesignator BitMap
Instance details Defined in HTk.Components.BitMap Methods toBitMap :: BitMap -> BitMapHandle #
BitMapDesignator BitMapHandle
Instance details Defined in HTk.Components.BitMap Methods toBitMap :: BitMapHandle -> BitMapHandle #
BitMapDesignator [Char]
Instance details Defined in HTk.Components.BitMap Methods toBitMap :: [Char] -> BitMapHandle #

data BitMapHandle #

Constructors

Predefined String
BitMapHandle BitMap
BitMapFile String

Instances

Instances details

BitMapDesignator BitMapHandle
Instance details Defined in HTk.Components.BitMap Methods toBitMap :: BitMapHandle -> BitMapHandle #

class GUIObject w => HasBitMap w where #

Minimal complete definition

Nothing

Methods

bitmap :: BitMapDesignator d => d -> Config w #

getBitMap :: w -> IO BitMapHandle #

Instances

Instances details

HasBitMap BitMapItem
Instance details Defined in HTk.Canvasitems.BitMapItem Methods bitmap :: BitMapDesignator d => d -> Config BitMapItem # getBitMap :: BitMapItem -> IO BitMapHandle #
HasBitMap MenuCascade
Instance details Defined in HTk.Menuitems.MenuCascade Methods bitmap :: BitMapDesignator d => d -> Config MenuCascade # getBitMap :: MenuCascade -> IO BitMapHandle #
HasBitMap MenuCheckButton
Instance details Defined in HTk.Menuitems.MenuCheckButton Methods bitmap :: BitMapDesignator d => d -> Config MenuCheckButton # getBitMap :: MenuCheckButton -> IO BitMapHandle #
HasBitMap MenuCommand
Instance details Defined in HTk.Menuitems.MenuCommand Methods bitmap :: BitMapDesignator d => d -> Config MenuCommand # getBitMap :: MenuCommand -> IO BitMapHandle #
HasBitMap MenuRadioButton
Instance details Defined in HTk.Menuitems.MenuRadioButton Methods bitmap :: BitMapDesignator d => d -> Config MenuRadioButton # getBitMap :: MenuRadioButton -> IO BitMapHandle #
HasBitMap Button
Instance details Defined in HTk.Widgets.Button Methods bitmap :: BitMapDesignator d => d -> Config Button # getBitMap :: Button -> IO BitMapHandle #
HasBitMap Label
Instance details Defined in HTk.Widgets.Label Methods bitmap :: BitMapDesignator d => d -> Config Label # getBitMap :: Label -> IO BitMapHandle #
HasBitMap MenuButton
Instance details Defined in HTk.Widgets.MenuButton Methods bitmap :: BitMapDesignator d => d -> Config MenuButton # getBitMap :: MenuButton -> IO BitMapHandle #
Window w => HasBitMap (Icon w)
Instance details Defined in HTk.Components.Icon Methods bitmap :: BitMapDesignator d => d -> Config (Icon w) # getBitMap :: Icon w -> IO BitMapHandle #
HasBitMap (CheckButton a)
Instance details Defined in HTk.Widgets.CheckButton Methods bitmap :: BitMapDesignator d => d -> Config (CheckButton a) # getBitMap :: CheckButton a -> IO BitMapHandle #
HasBitMap (RadioButton a)
Instance details Defined in HTk.Widgets.RadioButton Methods bitmap :: BitMapDesignator d => d -> Config (RadioButton a) # getBitMap :: RadioButton a -> IO BitMapHandle #

data CurrentFocus #

Instances

Instances details

Object CurrentFocus
Instance details Defined in HTk.Components.Focus Methods objectID :: CurrentFocus -> ObjectID
Widget CurrentFocus
Instance details Defined in HTk.Components.Focus Methods cursor :: CursorDesignator ch => ch -> Config CurrentFocus # getCursor :: CurrentFocus -> IO Cursor # takeFocus :: Bool -> Config CurrentFocus # getTakeFocus :: CurrentFocus -> IO Bool #
GUIObject CurrentFocus
Instance details Defined in HTk.Components.Focus Methods toGUIObject :: CurrentFocus -> GUIOBJECT cname :: CurrentFocus -> String cset :: GUIValue a => CurrentFocus -> ConfigID -> a -> IO CurrentFocus cget :: GUIValue a => CurrentFocus -> ConfigID -> IO a

data CurrentGrab #

Constructors

CurrentGrab GUIOBJECT

Instances

Instances details

Eq CurrentGrab
Instance details Defined in HTk.Components.Focus Methods (==) :: CurrentGrab -> CurrentGrab -> Bool (/=) :: CurrentGrab -> CurrentGrab -> Bool
Object CurrentGrab
Instance details Defined in HTk.Components.Focus Methods objectID :: CurrentGrab -> ObjectID
Widget CurrentGrab
Instance details Defined in HTk.Components.Focus Methods cursor :: CursorDesignator ch => ch -> Config CurrentGrab # getCursor :: CurrentGrab -> IO Cursor # takeFocus :: Bool -> Config CurrentGrab # getTakeFocus :: CurrentGrab -> IO Bool #
GUIObject CurrentGrab
Instance details Defined in HTk.Components.Focus Methods toGUIObject :: CurrentGrab -> GUIOBJECT cname :: CurrentGrab -> String cset :: GUIValue a => CurrentGrab -> ConfigID -> a -> IO CurrentGrab cget :: GUIValue a => CurrentGrab -> ConfigID -> IO a

data FocusModel #

Constructors

ActiveFocus
PassiveFocus

Instances

Instances details

Enum FocusModel
Instance details Defined in HTk.Components.Focus Methods succ :: FocusModel -> FocusModel pred :: FocusModel -> FocusModel toEnum :: Int -> FocusModel fromEnum :: FocusModel -> Int enumFrom :: FocusModel -> [FocusModel] enumFromThen :: FocusModel -> FocusModel -> [FocusModel] enumFromTo :: FocusModel -> FocusModel -> [FocusModel] enumFromThenTo :: FocusModel -> FocusModel -> FocusModel -> [FocusModel]
Eq FocusModel
Instance details Defined in HTk.Components.Focus Methods (==) :: FocusModel -> FocusModel -> Bool (/=) :: FocusModel -> FocusModel -> Bool
Ord FocusModel
Instance details Defined in HTk.Components.Focus Methods compare :: FocusModel -> FocusModel -> Ordering (<) :: FocusModel -> FocusModel -> Bool (<=) :: FocusModel -> FocusModel -> Bool (>) :: FocusModel -> FocusModel -> Bool (>=) :: FocusModel -> FocusModel -> Bool max :: FocusModel -> FocusModel -> FocusModel min :: FocusModel -> FocusModel -> FocusModel
Read FocusModel
Instance details Defined in HTk.Components.Focus Methods readsPrec :: Int -> ReadS FocusModel readList :: ReadS [FocusModel] readPrec :: ReadPrec FocusModel readListPrec :: ReadPrec [FocusModel]
Show FocusModel
Instance details Defined in HTk.Components.Focus Methods showsPrec :: Int -> FocusModel -> ShowS show :: FocusModel -> String showList :: [FocusModel] -> ShowS
GUIValue FocusModel
Instance details Defined in HTk.Components.Focus Methods cdefault :: FocusModel # toGUIValue :: FocusModel -> GUIVALUE # maybeGUIValue :: GUIVALUE -> Maybe FocusModel # fromGUIValue :: GUIVALUE -> FocusModel #

data GrabStatus #

Constructors

Local
Global

Instances

Instances details

Enum GrabStatus
Instance details Defined in HTk.Components.Focus Methods succ :: GrabStatus -> GrabStatus pred :: GrabStatus -> GrabStatus toEnum :: Int -> GrabStatus fromEnum :: GrabStatus -> Int enumFrom :: GrabStatus -> [GrabStatus] enumFromThen :: GrabStatus -> GrabStatus -> [GrabStatus] enumFromTo :: GrabStatus -> GrabStatus -> [GrabStatus] enumFromThenTo :: GrabStatus -> GrabStatus -> GrabStatus -> [GrabStatus]
Eq GrabStatus
Instance details Defined in HTk.Components.Focus Methods (==) :: GrabStatus -> GrabStatus -> Bool (/=) :: GrabStatus -> GrabStatus -> Bool
Ord GrabStatus
Instance details Defined in HTk.Components.Focus Methods compare :: GrabStatus -> GrabStatus -> Ordering (<) :: GrabStatus -> GrabStatus -> Bool (<=) :: GrabStatus -> GrabStatus -> Bool (>) :: GrabStatus -> GrabStatus -> Bool (>=) :: GrabStatus -> GrabStatus -> Bool max :: GrabStatus -> GrabStatus -> GrabStatus min :: GrabStatus -> GrabStatus -> GrabStatus
Read GrabStatus
Instance details Defined in HTk.Components.Focus Methods readsPrec :: Int -> ReadS GrabStatus readList :: ReadS [GrabStatus] readPrec :: ReadPrec GrabStatus readListPrec :: ReadPrec [GrabStatus]
Show GrabStatus
Instance details Defined in HTk.Components.Focus Methods showsPrec :: Int -> GrabStatus -> ShowS show :: GrabStatus -> String showList :: [GrabStatus] -> ShowS
GUIValue GrabStatus
Instance details Defined in HTk.Components.Focus Methods cdefault :: GrabStatus # toGUIValue :: GrabStatus -> GUIVALUE # maybeGUIValue :: GUIVALUE -> Maybe GrabStatus # fromGUIValue :: GUIVALUE -> GrabStatus #

data Window w => Icon w #

Constructors

Icon w

Instances

Instances details

(Window w, Eq w) => Eq (Icon w)
Instance details Defined in HTk.Components.Icon Methods (==) :: Icon w -> Icon w -> Bool (/=) :: Icon w -> Icon w -> Bool
(Window w, Ord w) => Ord (Icon w)
Instance details Defined in HTk.Components.Icon Methods compare :: Icon w -> Icon w -> Ordering (<) :: Icon w -> Icon w -> Bool (<=) :: Icon w -> Icon w -> Bool (>) :: Icon w -> Icon w -> Bool (>=) :: Icon w -> Icon w -> Bool max :: Icon w -> Icon w -> Icon w min :: Icon w -> Icon w -> Icon w
Window w => Synchronized (Icon w)
Instance details Defined in HTk.Components.Icon Methods synchronize :: Icon w -> IO b -> IO b #
Window w => HasBitMap (Icon w)
Instance details Defined in HTk.Components.Icon Methods bitmap :: BitMapDesignator d => d -> Config (Icon w) # getBitMap :: Icon w -> IO BitMapHandle #
Window w => HasPosition (Icon w)
Instance details Defined in HTk.Components.Icon Methods position :: Position -> Config (Icon w) # getPosition :: Icon w -> IO Position #
Window w => GUIObject (Icon w)
Instance details Defined in HTk.Components.Icon Methods toGUIObject :: Icon w -> GUIOBJECT cname :: Icon w -> String cset :: GUIValue a => Icon w -> ConfigID -> a -> IO (Icon w) cget :: GUIValue a => Icon w -> ConfigID -> IO a
(Window w, GUIValue v) => HasText (Icon w) v
Instance details Defined in HTk.Components.Icon Methods text :: v -> Config (Icon w) # getText :: Icon w -> IO v #

data Format #

Constructors

GIF
PPM
PGM

class GUIObject w => HasPhoto w where #

Minimal complete definition

Nothing

Methods

photo :: Image -> Config w #

getPhoto :: w -> IO (Maybe Image) #

Instances

Instances details

HasPhoto ImageItem
Instance details Defined in HTk.Canvasitems.ImageItem Methods photo :: Image -> Config ImageItem # getPhoto :: ImageItem -> IO (Maybe Image) #
HasPhoto MenuCascade
Instance details Defined in HTk.Menuitems.MenuCascade Methods photo :: Image -> Config MenuCascade # getPhoto :: MenuCascade -> IO (Maybe Image) #
HasPhoto MenuCheckButton
Instance details Defined in HTk.Menuitems.MenuCheckButton Methods photo :: Image -> Config MenuCheckButton # getPhoto :: MenuCheckButton -> IO (Maybe Image) #
HasPhoto MenuCommand
Instance details Defined in HTk.Menuitems.MenuCommand Methods photo :: Image -> Config MenuCommand # getPhoto :: MenuCommand -> IO (Maybe Image) #
HasPhoto MenuRadioButton
Instance details Defined in HTk.Menuitems.MenuRadioButton Methods photo :: Image -> Config MenuRadioButton # getPhoto :: MenuRadioButton -> IO (Maybe Image) #
HasPhoto Button
Instance details Defined in HTk.Widgets.Button Methods photo :: Image -> Config Button # getPhoto :: Button -> IO (Maybe Image) #
HasPhoto Label
Instance details Defined in HTk.Widgets.Label Methods photo :: Image -> Config Label # getPhoto :: Label -> IO (Maybe Image) #
HasPhoto MenuButton
Instance details Defined in HTk.Widgets.MenuButton Methods photo :: Image -> Config MenuButton # getPhoto :: MenuButton -> IO (Maybe Image) #
HasPhoto (CheckButton a)
Instance details Defined in HTk.Widgets.CheckButton Methods photo :: Image -> Config (CheckButton a) # getPhoto :: CheckButton a -> IO (Maybe Image) #
HasPhoto (RadioButton a)
Instance details Defined in HTk.Widgets.RadioButton Methods photo :: Image -> Config (RadioButton a) # getPhoto :: RadioButton a -> IO (Maybe Image) #
HasPhoto (Dialog a)
Instance details Defined in HTk.Toolkit.DialogWin Methods photo :: Image -> Config (Dialog a) # getPhoto :: Dialog a -> IO (Maybe Image) #

data Image #

Instances

Instances details

Eq Image
Instance details Defined in HTk.Components.Image Methods (==) :: Image -> Image -> Bool (/=) :: Image -> Image -> Bool
Destroyable Image
Instance details Defined in HTk.Components.Image Methods destroy :: Image -> IO () #
Synchronized Image
Instance details Defined in HTk.Components.Image Methods synchronize :: Image -> IO b -> IO b #
Widget Image
Instance details Defined in HTk.Components.Image Methods cursor :: CursorDesignator ch => ch -> Config Image # getCursor :: Image -> IO Cursor # takeFocus :: Bool -> Config Image # getTakeFocus :: Image -> IO Bool #
HasBorder Image
Instance details Defined in HTk.Components.Image Methods borderwidth :: Distance -> Config Image # getBorderwidth :: Image -> IO Distance # relief :: Relief -> Config Image # getRelief :: Image -> IO Relief #
HasColour Image
Instance details Defined in HTk.Components.Image Methods legalColourID :: Image -> ConfigID -> Bool # setColour :: Image -> ConfigID -> Colour -> IO Image # getColour :: Image -> ConfigID -> IO Colour #
HasFile Image
Instance details Defined in HTk.Components.Image Methods filename :: String -> Config Image # getFileName :: Image -> IO String #
HasSize Image
Instance details Defined in HTk.Components.Image Methods width :: Distance -> Config Image # getWidth :: Image -> IO Distance # height :: Distance -> Config Image # getHeight :: Image -> IO Distance # size :: Size -> Config Image # getSize :: Image -> IO Size #
GUIObject Image
Instance details Defined in HTk.Components.Image Methods toGUIObject :: Image -> GUIOBJECT cname :: Image -> String cset :: GUIValue a => Image -> ConfigID -> a -> IO Image cget :: GUIValue a => Image -> ConfigID -> IO a
FormLabel Image
Instance details Defined in HTk.Toolkit.SimpleForm Methods formLabel :: Frame -> Image -> IO (IO ()) #

data BaseIndex #

Constructors

IndexNo Int
IndexPos Position
IndexText String

Instances

Instances details

Read BaseIndex
Instance details Defined in HTk.Components.Index Methods readsPrec :: Int -> ReadS BaseIndex readList :: ReadS [BaseIndex] readPrec :: ReadPrec BaseIndex readListPrec :: ReadPrec [BaseIndex]
Show BaseIndex
Instance details Defined in HTk.Components.Index Methods showsPrec :: Int -> BaseIndex -> ShowS show :: BaseIndex -> String showList :: [BaseIndex] -> ShowS
GUIValue BaseIndex
Instance details Defined in HTk.Components.Index Methods cdefault :: BaseIndex # toGUIValue :: BaseIndex -> GUIVALUE # maybeGUIValue :: GUIVALUE -> Maybe BaseIndex # fromGUIValue :: GUIVALUE -> BaseIndex #
HasIndex Editor BaseIndex BaseIndex
Instance details Defined in HTk.Widgets.Editor Methods getBaseIndex :: Editor -> BaseIndex -> IO BaseIndex #
HasIndex Editor EndOfText BaseIndex
Instance details Defined in HTk.Widgets.Editor Methods getBaseIndex :: Editor -> EndOfText -> IO BaseIndex #
HasIndex Editor Pixels BaseIndex
Instance details Defined in HTk.Widgets.Editor Methods getBaseIndex :: Editor -> Pixels -> IO BaseIndex #
HasIndex Editor EmbeddedTextWin BaseIndex
Instance details Defined in HTk.Textitems.EmbeddedTextWin Methods getBaseIndex :: Editor -> EmbeddedTextWin -> IO BaseIndex #
HasIndex Editor Mark BaseIndex
Instance details Defined in HTk.Textitems.Mark Methods getBaseIndex :: Editor -> Mark -> IO BaseIndex #
HasIndex Editor MousePosition BaseIndex
Instance details Defined in HTk.Textitems.Mark Methods getBaseIndex :: Editor -> MousePosition -> IO BaseIndex #
HasIndex Editor i BaseIndex => HasIndex Editor (i, [IndexModifier]) BaseIndex
Instance details Defined in HTk.Widgets.Editor Methods getBaseIndex :: Editor -> (i, [IndexModifier]) -> IO BaseIndex #
HasIndex Editor i BaseIndex => HasIndex Editor (i, IndexModifier) BaseIndex
Instance details Defined in HTk.Widgets.Editor Methods getBaseIndex :: Editor -> (i, IndexModifier) -> IO BaseIndex #
HasIndex Editor (Distance, Distance) BaseIndex
Instance details Defined in HTk.Widgets.Editor Methods getBaseIndex :: Editor -> (Distance, Distance) -> IO BaseIndex #
HasIndex Editor (TextTag, First) BaseIndex
Instance details Defined in HTk.Textitems.TextTag Methods getBaseIndex :: Editor -> (TextTag, First) -> IO BaseIndex #
HasIndex Editor (TextTag, Last) BaseIndex
Instance details Defined in HTk.Textitems.TextTag Methods getBaseIndex :: Editor -> (TextTag, Last) -> IO BaseIndex #
HasIndex (Entry a) XCoord BaseIndex
Instance details Defined in HTk.Widgets.Entry Methods getBaseIndex :: Entry a -> XCoord -> IO BaseIndex #
HasIndex (Entry a) Int BaseIndex
Instance details Defined in HTk.Widgets.Entry Methods getBaseIndex :: Entry a -> Int -> IO BaseIndex #
HasIndex (Entry a) EndOfText BaseIndex
Instance details Defined in HTk.Widgets.Entry Methods getBaseIndex :: Entry a -> EndOfText -> IO BaseIndex #
HasIndex (Entry a) BaseIndex BaseIndex
Instance details Defined in HTk.Widgets.Entry Methods getBaseIndex :: Entry a -> BaseIndex -> IO BaseIndex #
HasIndex (Entry a) (ICursor (Entry a)) BaseIndex
Instance details Defined in HTk.Widgets.Entry Methods getBaseIndex :: Entry a -> ICursor (Entry a) -> IO BaseIndex #
HasIndex (Entry a) (Selection (Entry a), First) BaseIndex
Instance details Defined in HTk.Widgets.Entry Methods getBaseIndex :: Entry a -> (Selection (Entry a), First) -> IO BaseIndex #
HasIndex (Entry a) (Selection (Entry a), Last) BaseIndex
Instance details Defined in HTk.Widgets.Entry Methods getBaseIndex :: Entry a -> (Selection (Entry a), Last) -> IO BaseIndex #

data EndOfText #

Constructors

EndOfText

Instances

Instances details

Eq EndOfText
Instance details Defined in HTk.Components.Index Methods (==) :: EndOfText -> EndOfText -> Bool (/=) :: EndOfText -> EndOfText -> Bool
Read EndOfText
Instance details Defined in HTk.Components.Index Methods readsPrec :: Int -> ReadS EndOfText readList :: ReadS [EndOfText] readPrec :: ReadPrec EndOfText readListPrec :: ReadPrec [EndOfText]
Show EndOfText
Instance details Defined in HTk.Components.Index Methods showsPrec :: Int -> EndOfText -> ShowS show :: EndOfText -> String showList :: [EndOfText] -> ShowS
GUIValue EndOfText
Instance details Defined in HTk.Components.Index Methods cdefault :: EndOfText # toGUIValue :: EndOfText -> GUIVALUE # maybeGUIValue :: GUIVALUE -> Maybe EndOfText # fromGUIValue :: GUIVALUE -> EndOfText #
HasIndex Editor EndOfText BaseIndex
Instance details Defined in HTk.Widgets.Editor Methods getBaseIndex :: Editor -> EndOfText -> IO BaseIndex #
HasIndex (Entry a) EndOfText BaseIndex
Instance details Defined in HTk.Widgets.Entry Methods getBaseIndex :: Entry a -> EndOfText -> IO BaseIndex #
HasIndex (ListBox a) EndOfText Int
Instance details Defined in HTk.Widgets.ListBox Methods getBaseIndex :: ListBox a -> EndOfText -> IO Int #

data First #

Constructors

First

Instances

Instances details

Show First
Instance details Defined in HTk.Components.Index Methods showsPrec :: Int -> First -> ShowS show :: First -> String showList :: [First] -> ShowS
HasIndex Editor (TextTag, First) BaseIndex
Instance details Defined in HTk.Textitems.TextTag Methods getBaseIndex :: Editor -> (TextTag, First) -> IO BaseIndex #
HasIndex (Entry a) (Selection (Entry a), First) BaseIndex
Instance details Defined in HTk.Widgets.Entry Methods getBaseIndex :: Entry a -> (Selection (Entry a), First) -> IO BaseIndex #

class HasIndex w i b where #

Methods

getBaseIndex :: w -> i -> IO b #

Instances

Instances details

HasIndex Editor BaseIndex BaseIndex
Instance details Defined in HTk.Widgets.Editor Methods getBaseIndex :: Editor -> BaseIndex -> IO BaseIndex #
HasIndex Editor EndOfText BaseIndex
Instance details Defined in HTk.Widgets.Editor Methods getBaseIndex :: Editor -> EndOfText -> IO BaseIndex #
HasIndex Editor Pixels BaseIndex
Instance details Defined in HTk.Widgets.Editor Methods getBaseIndex :: Editor -> Pixels -> IO BaseIndex #
HasIndex Editor EmbeddedTextWin BaseIndex
Instance details Defined in HTk.Textitems.EmbeddedTextWin Methods getBaseIndex :: Editor -> EmbeddedTextWin -> IO BaseIndex #
HasIndex Editor Mark BaseIndex
Instance details Defined in HTk.Textitems.Mark Methods getBaseIndex :: Editor -> Mark -> IO BaseIndex #
HasIndex Editor MousePosition BaseIndex
Instance details Defined in HTk.Textitems.Mark Methods getBaseIndex :: Editor -> MousePosition -> IO BaseIndex #
HasIndex Editor i BaseIndex => HasIndex Editor i (Distance, Distance)
Instance details Defined in HTk.Widgets.Editor Methods getBaseIndex :: Editor -> i -> IO (Distance, Distance) #
HasIndex Editor i BaseIndex => HasIndex Editor (i, [IndexModifier]) BaseIndex
Instance details Defined in HTk.Widgets.Editor Methods getBaseIndex :: Editor -> (i, [IndexModifier]) -> IO BaseIndex #
HasIndex Editor i BaseIndex => HasIndex Editor (i, IndexModifier) BaseIndex
Instance details Defined in HTk.Widgets.Editor Methods getBaseIndex :: Editor -> (i, IndexModifier) -> IO BaseIndex #
HasIndex Editor (Distance, Distance) BaseIndex
Instance details Defined in HTk.Widgets.Editor Methods getBaseIndex :: Editor -> (Distance, Distance) -> IO BaseIndex #
HasIndex Editor (TextTag, First) BaseIndex
Instance details Defined in HTk.Textitems.TextTag Methods getBaseIndex :: Editor -> (TextTag, First) -> IO BaseIndex #
HasIndex Editor (TextTag, Last) BaseIndex
Instance details Defined in HTk.Textitems.TextTag Methods getBaseIndex :: Editor -> (TextTag, Last) -> IO BaseIndex #
HasIndex (Entry a) i BaseIndex => HasIndex (Entry a) i Int
Instance details Defined in HTk.Widgets.Entry Methods getBaseIndex :: Entry a -> i -> IO Int #
HasIndex (Entry a) XCoord BaseIndex
Instance details Defined in HTk.Widgets.Entry Methods getBaseIndex :: Entry a -> XCoord -> IO BaseIndex #
HasIndex (Entry a) Int BaseIndex
Instance details Defined in HTk.Widgets.Entry Methods getBaseIndex :: Entry a -> Int -> IO BaseIndex #
HasIndex (Entry a) EndOfText BaseIndex
Instance details Defined in HTk.Widgets.Entry Methods getBaseIndex :: Entry a -> EndOfText -> IO BaseIndex #
HasIndex (Entry a) BaseIndex BaseIndex
Instance details Defined in HTk.Widgets.Entry Methods getBaseIndex :: Entry a -> BaseIndex -> IO BaseIndex #
HasIndex (ListBox a) Int Int
Instance details Defined in HTk.Widgets.ListBox Methods getBaseIndex :: ListBox a -> Int -> IO Int #
HasIndex (ListBox a) Pixels Int
Instance details Defined in HTk.Widgets.ListBox Methods getBaseIndex :: ListBox a -> Pixels -> IO Int #
HasIndex (ListBox a) EndOfText Int
Instance details Defined in HTk.Widgets.ListBox Methods getBaseIndex :: ListBox a -> EndOfText -> IO Int #
(Eq a, GUIValue a, GUIValue [a]) => HasIndex (ListBox a) Int (ListBoxElem a)
Instance details Defined in HTk.Widgets.ListBox Methods getBaseIndex :: ListBox a -> Int -> IO (ListBoxElem a) #
HasIndex (Entry a) (ICursor (Entry a)) BaseIndex
Instance details Defined in HTk.Widgets.Entry Methods getBaseIndex :: Entry a -> ICursor (Entry a) -> IO BaseIndex #
(Eq a, GUIValue a) => HasIndex (ListBox [a]) (ListBoxElem a) Int
Instance details Defined in HTk.Widgets.ListBox Methods getBaseIndex :: ListBox [a] -> ListBoxElem a -> IO Int #
HasIndex (Entry a) (Selection (Entry a), First) BaseIndex
Instance details Defined in HTk.Widgets.Entry Methods getBaseIndex :: Entry a -> (Selection (Entry a), First) -> IO BaseIndex #
HasIndex (Entry a) (Selection (Entry a), Last) BaseIndex
Instance details Defined in HTk.Widgets.Entry Methods getBaseIndex :: Entry a -> (Selection (Entry a), Last) -> IO BaseIndex #

data Last #

Constructors

Last

Instances

Instances details

Show Last
Instance details Defined in HTk.Components.Index Methods showsPrec :: Int -> Last -> ShowS show :: Last -> String showList :: [Last] -> ShowS
HasIndex Editor (TextTag, Last) BaseIndex
Instance details Defined in HTk.Textitems.TextTag Methods getBaseIndex :: Editor -> (TextTag, Last) -> IO BaseIndex #
HasIndex (Entry a) (Selection (Entry a), Last) BaseIndex
Instance details Defined in HTk.Widgets.Entry Methods getBaseIndex :: Entry a -> (Selection (Entry a), Last) -> IO BaseIndex #

data Pixels #

Constructors

Pixels Distance Distance

Instances

Instances details

Show Pixels
Instance details Defined in HTk.Components.Index Methods showsPrec :: Int -> Pixels -> ShowS show :: Pixels -> String showList :: [Pixels] -> ShowS
HasIndex Editor Pixels BaseIndex
Instance details Defined in HTk.Widgets.Editor Methods getBaseIndex :: Editor -> Pixels -> IO BaseIndex #
HasIndex (ListBox a) Pixels Int
Instance details Defined in HTk.Widgets.ListBox Methods getBaseIndex :: ListBox a -> Pixels -> IO Int #

class GUIObject w => HasSelection w where #

Methods

clearSelection :: w -> IO () #

Instances

Instances details

HasSelection Editor
Instance details Defined in HTk.Widgets.Editor Methods clearSelection :: Editor -> IO () #
HasSelection (Entry a)
Instance details Defined in HTk.Widgets.Entry Methods clearSelection :: Entry a -> IO () #
HasSelection (ListBox a)
Instance details Defined in HTk.Widgets.ListBox Methods clearSelection :: ListBox a -> IO () #

class HasSelectionBaseIndex w i where #

Methods

getSelection :: w -> IO (Maybe i) #

Instances

Instances details

HasSelectionBaseIndex Editor ((Distance, Distance), (Distance, Distance))
Instance details Defined in HTk.Widgets.Editor Methods getSelection :: Editor -> IO (Maybe ((Distance, Distance), (Distance, Distance))) #
HasSelectionBaseIndex (ListBox a) [Int]
Instance details Defined in HTk.Widgets.ListBox Methods getSelection :: ListBox a -> IO (Maybe [Int]) #
HasSelectionBaseIndex (Entry a) (Int, Int)
Instance details Defined in HTk.Widgets.Entry Methods getSelection :: Entry a -> IO (Maybe (Int, Int)) #

class HasSelectionIndex w i => HasSelectionBaseIndexRange w i where #

Minimal complete definition

getSelectionStart, getSelectionEnd

Methods

getSelectionStart :: w -> IO (Maybe i) #

getSelectionEnd :: w -> IO (Maybe i) #

getSelectionRange :: w -> IO (Maybe (i, i)) #

Instances

Instances details

HasSelectionBaseIndexRange Editor (Distance, Distance)
Instance details Defined in HTk.Widgets.Editor Methods getSelectionStart :: Editor -> IO (Maybe (Distance, Distance)) # getSelectionEnd :: Editor -> IO (Maybe (Distance, Distance)) # getSelectionRange :: Editor -> IO (Maybe ((Distance, Distance), (Distance, Distance))) #
HasSelectionBaseIndexRange (Entry a) Int
Instance details Defined in HTk.Widgets.Entry Methods getSelectionStart :: Entry a -> IO (Maybe Int) # getSelectionEnd :: Entry a -> IO (Maybe Int) # getSelectionRange :: Entry a -> IO (Maybe (Int, Int)) #
HasSelectionBaseIndexRange (ListBox a) Int
Instance details Defined in HTk.Widgets.ListBox Methods getSelectionStart :: ListBox a -> IO (Maybe Int) # getSelectionEnd :: ListBox a -> IO (Maybe Int) # getSelectionRange :: ListBox a -> IO (Maybe (Int, Int)) #

class HasSelectionIndex w i where #

Methods

selection :: i -> Config w #

isSelected :: w -> i -> IO Bool #

Instances

Instances details

HasIndex Editor i BaseIndex => HasSelectionIndex Editor i
Instance details Defined in HTk.Widgets.Editor Methods selection :: i -> Config Editor # isSelected :: Editor -> i -> IO Bool #
HasIndex (Entry a) i BaseIndex => HasSelectionIndex (Entry a) i
Instance details Defined in HTk.Widgets.Entry Methods selection :: i -> Config (Entry a) # isSelected :: Entry a -> i -> IO Bool #
HasIndex (ListBox a) i Int => HasSelectionIndex (ListBox a) i
Instance details Defined in HTk.Widgets.ListBox Methods selection :: i -> Config (ListBox a) # isSelected :: ListBox a -> i -> IO Bool #

class HasSelectionIndexRange w i1 i2 where #

Methods

selectionRange :: i1 -> i2 -> Config w #

Instances

Instances details

(HasIndex Editor i1 BaseIndex, HasIndex Editor i2 BaseIndex) => HasSelectionIndexRange Editor i1 i2
Instance details Defined in HTk.Widgets.Editor Methods selectionRange :: i1 -> i2 -> Config Editor #
(HasIndex (Entry a) i1 BaseIndex, HasIndex (Entry a) i2 BaseIndex) => HasSelectionIndexRange (Entry a) i1 i2
Instance details Defined in HTk.Widgets.Entry Methods selectionRange :: i1 -> i2 -> Config (Entry a) #
(HasIndex (ListBox a) i1 Int, HasIndex (ListBox a) i2 Int) => HasSelectionIndexRange (ListBox a) i1 i2
Instance details Defined in HTk.Widgets.ListBox Methods selectionRange :: i1 -> i2 -> Config (ListBox a) #

newtype Selection w #

Constructors

Selection w

Instances

Instances details

(HasSelection w, Widget w) => HasBorder (Selection w)
Instance details Defined in HTk.Components.Selection Methods borderwidth :: Distance -> Config (Selection w) # getBorderwidth :: Selection w -> IO Distance # relief :: Relief -> Config (Selection w) # getRelief :: Selection w -> IO Relief #
(HasSelection w, Widget w) => HasColour (Selection w)
Instance details Defined in HTk.Components.Selection Methods legalColourID :: Selection w -> ConfigID -> Bool # setColour :: Selection w -> ConfigID -> Colour -> IO (Selection w) # getColour :: Selection w -> ConfigID -> IO Colour #
GUIObject w => GUIObject (Selection w)
Instance details Defined in HTk.Components.Selection Methods toGUIObject :: Selection w -> GUIOBJECT cname :: Selection w -> String cset :: GUIValue a => Selection w -> ConfigID -> a -> IO (Selection w) cget :: GUIValue a => Selection w -> ConfigID -> IO a
HasIndex (Entry a) (Selection (Entry a), First) BaseIndex
Instance details Defined in HTk.Widgets.Entry Methods getBaseIndex :: Entry a -> (Selection (Entry a), First) -> IO BaseIndex #
HasIndex (Entry a) (Selection (Entry a), Last) BaseIndex
Instance details Defined in HTk.Widgets.Entry Methods getBaseIndex :: Entry a -> (Selection (Entry a), Last) -> IO BaseIndex #

class Widget w => HasSlider w where #

Minimal complete definition

Nothing

Methods

repeatInterval :: Int -> Config (Slider w) #

getRepeatInterval :: Slider w -> IO Int #

repeatDelay :: Int -> Config (Slider w) #

getRepeatDelay :: Slider w -> IO Int #

Instances

Instances details

HasSlider ScrollBar
Instance details Defined in HTk.Widgets.ScrollBar Methods repeatInterval :: Int -> Config (Slider ScrollBar) # getRepeatInterval :: Slider ScrollBar -> IO Int # repeatDelay :: Int -> Config (Slider ScrollBar) # getRepeatDelay :: Slider ScrollBar -> IO Int #
HasSlider (Scale a)
Instance details Defined in HTk.Widgets.Scale Methods repeatInterval :: Int -> Config (Slider (Scale a)) # getRepeatInterval :: Slider (Scale a) -> IO Int # repeatDelay :: Int -> Config (Slider (Scale a)) # getRepeatDelay :: Slider (Scale a) -> IO Int #

newtype Slider w #

Constructors

Slider w

Instances

Instances details

(HasSlider w, GUIObject w) => HasColour (Slider w)
Instance details Defined in HTk.Components.Slider Methods legalColourID :: Slider w -> ConfigID -> Bool # setColour :: Slider w -> ConfigID -> Colour -> IO (Slider w) # getColour :: Slider w -> ConfigID -> IO Colour #
HasSize (Slider (Scale a))
Instance details Defined in HTk.Widgets.Scale Methods width :: Distance -> Config (Slider (Scale a)) # getWidth :: Slider (Scale a) -> IO Distance # height :: Distance -> Config (Slider (Scale a)) # getHeight :: Slider (Scale a) -> IO Distance # size :: Size -> Config (Slider (Scale a)) # getSize :: Slider (Scale a) -> IO Size #
GUIObject w => GUIObject (Slider w)
Instance details Defined in HTk.Components.Slider Methods toGUIObject :: Slider w -> GUIOBJECT cname :: Slider w -> String cset :: GUIValue a => Slider w -> ConfigID -> a -> IO (Slider w) cget :: GUIValue a => Slider w -> ConfigID -> IO a
ScaleValue a => HasIncrement (Slider (Scale a)) a
Instance details Defined in HTk.Widgets.Scale Methods increment :: a -> Config (Slider (Scale a)) # getIncrement :: Slider (Scale a) -> IO a #

data Box #

Instances

Instances details

Eq Box
Instance details Defined in HTk.Containers.Box Methods (==) :: Box -> Box -> Bool (/=) :: Box -> Box -> Bool
Destroyable Box
Instance details Defined in HTk.Containers.Box Methods destroy :: Box -> IO () #
Synchronized Box
Instance details Defined in HTk.Containers.Box Methods synchronize :: Box -> IO b -> IO b #
Widget Box
Instance details Defined in HTk.Containers.Box Methods cursor :: CursorDesignator ch => ch -> Config Box # getCursor :: Box -> IO Cursor # takeFocus :: Bool -> Config Box # getTakeFocus :: Box -> IO Bool #
HasBorder Box
Instance details Defined in HTk.Containers.Box Methods borderwidth :: Distance -> Config Box # getBorderwidth :: Box -> IO Distance # relief :: Relief -> Config Box # getRelief :: Box -> IO Relief #
HasColour Box
Instance details Defined in HTk.Containers.Box Methods legalColourID :: Box -> ConfigID -> Bool # setColour :: Box -> ConfigID -> Colour -> IO Box # getColour :: Box -> ConfigID -> IO Colour #
HasOrientation Box
Instance details Defined in HTk.Containers.Box Methods orient :: Orientation -> Config Box # getOrient :: Box -> IO Orientation #
HasSize Box
Instance details Defined in HTk.Containers.Box Methods width :: Distance -> Config Box # getWidth :: Box -> IO Distance # height :: Distance -> Config Box # getHeight :: Box -> IO Distance # size :: Size -> Config Box # getSize :: Box -> IO Size #
Container Box
Instance details Defined in HTk.Containers.Box
GUIObject Box
Instance details Defined in HTk.Containers.Box Methods toGUIObject :: Box -> GUIOBJECT cname :: Box -> String cset :: GUIValue a => Box -> ConfigID -> a -> IO Box cget :: GUIValue a => Box -> ConfigID -> IO a

data Frame #

Instances

Instances details

Eq Frame
Instance details Defined in HTk.Containers.Frame Methods (==) :: Frame -> Frame -> Bool (/=) :: Frame -> Frame -> Bool
Destroyable Frame
Instance details Defined in HTk.Containers.Frame Methods destroy :: Frame -> IO () #
Synchronized Frame
Instance details Defined in HTk.Containers.Frame Methods synchronize :: Frame -> IO b -> IO b #
Widget Frame
Instance details Defined in HTk.Containers.Frame Methods cursor :: CursorDesignator ch => ch -> Config Frame # getCursor :: Frame -> IO Cursor # takeFocus :: Bool -> Config Frame # getTakeFocus :: Frame -> IO Bool #
HasBorder Frame
Instance details Defined in HTk.Containers.Frame Methods borderwidth :: Distance -> Config Frame # getBorderwidth :: Frame -> IO Distance # relief :: Relief -> Config Frame # getRelief :: Frame -> IO Relief #
HasColour Frame
Instance details Defined in HTk.Containers.Frame Methods legalColourID :: Frame -> ConfigID -> Bool # setColour :: Frame -> ConfigID -> Colour -> IO Frame # getColour :: Frame -> ConfigID -> IO Colour #
HasSize Frame
Instance details Defined in HTk.Containers.Frame Methods width :: Distance -> Config Frame # getWidth :: Frame -> IO Distance # height :: Distance -> Config Frame # getHeight :: Frame -> IO Distance # size :: Size -> Config Frame # getSize :: Frame -> IO Size #
Container Frame
Instance details Defined in HTk.Containers.Frame
GUIObject Frame
Instance details Defined in HTk.Containers.Frame Methods toGUIObject :: Frame -> GUIOBJECT cname :: Frame -> String cset :: GUIValue a => Frame -> ConfigID -> a -> IO Frame cget :: GUIValue a => Frame -> ConfigID -> IO a

newtype Toplevel #

Constructors

Toplevel GUIOBJECT

Instances

Instances details

Eq Toplevel
Instance details Defined in HTk.Containers.Toplevel Methods (==) :: Toplevel -> Toplevel -> Bool (/=) :: Toplevel -> Toplevel -> Bool
Destroyable Toplevel
Instance details Defined in HTk.Containers.Toplevel Methods destroy :: Toplevel -> IO () #
Synchronized Toplevel
Instance details Defined in HTk.Containers.Toplevel Methods synchronize :: Toplevel -> IO b -> IO b #
Window Toplevel
Instance details Defined in HTk.Containers.Toplevel Methods iconify :: Toplevel -> IO () # deiconify :: Toplevel -> IO () # withdraw :: Toplevel -> IO () # putWinOnTop :: Toplevel -> IO () # putWinAtBottom :: Toplevel -> IO () # screen :: Display -> Config Toplevel # getScreen :: Toplevel -> IO Display # getClassName :: Toplevel -> IO String # getWindowState :: Toplevel -> IO WindowState # aspectRatio :: AspectRatio -> Config Toplevel # getAspectRatio :: Toplevel -> IO AspectRatio # positionFrom :: Whom -> Config Toplevel # getPositionFrom :: Toplevel -> IO Whom # sizeFrom :: Whom -> Config Toplevel # getSizeFrom :: Toplevel -> IO Whom #
Widget Toplevel
Instance details Defined in HTk.Containers.Toplevel Methods cursor :: CursorDesignator ch => ch -> Config Toplevel # getCursor :: Toplevel -> IO Cursor # takeFocus :: Bool -> Config Toplevel # getTakeFocus :: Toplevel -> IO Bool #
Container Toplevel
Instance details Defined in HTk.Containers.Toplevel
GUIObject Toplevel
Instance details Defined in HTk.Containers.Toplevel Methods toGUIObject :: Toplevel -> GUIOBJECT cname :: Toplevel -> String cset :: GUIValue a => Toplevel -> ConfigID -> a -> IO Toplevel cget :: GUIValue a => Toplevel -> ConfigID -> IO a

data AspectRatio #

Instances

Instances details

Eq AspectRatio
Instance details Defined in HTk.Containers.Window Methods (==) :: AspectRatio -> AspectRatio -> Bool (/=) :: AspectRatio -> AspectRatio -> Bool
Read AspectRatio
Instance details Defined in HTk.Containers.Window Methods readsPrec :: Int -> ReadS AspectRatio readList :: ReadS [AspectRatio] readPrec :: ReadPrec AspectRatio readListPrec :: ReadPrec [AspectRatio]
Show AspectRatio
Instance details Defined in HTk.Containers.Window Methods showsPrec :: Int -> AspectRatio -> ShowS show :: AspectRatio -> String showList :: [AspectRatio] -> ShowS
GUIValue AspectRatio
Instance details Defined in HTk.Containers.Window Methods cdefault :: AspectRatio # toGUIValue :: AspectRatio -> GUIVALUE # maybeGUIValue :: GUIVALUE -> Maybe AspectRatio # fromGUIValue :: GUIVALUE -> AspectRatio #

type Display = String #

data Whom #

Instances

Instances details

Enum Whom
Instance details Defined in HTk.Containers.Window Methods succ :: Whom -> Whom pred :: Whom -> Whom toEnum :: Int -> Whom fromEnum :: Whom -> Int enumFrom :: Whom -> [Whom] enumFromThen :: Whom -> Whom -> [Whom] enumFromTo :: Whom -> Whom -> [Whom] enumFromThenTo :: Whom -> Whom -> Whom -> [Whom]
Eq Whom
Instance details Defined in HTk.Containers.Window Methods (==) :: Whom -> Whom -> Bool (/=) :: Whom -> Whom -> Bool
Ord Whom
Instance details Defined in HTk.Containers.Window Methods compare :: Whom -> Whom -> Ordering (<) :: Whom -> Whom -> Bool (<=) :: Whom -> Whom -> Bool (>) :: Whom -> Whom -> Bool (>=) :: Whom -> Whom -> Bool max :: Whom -> Whom -> Whom min :: Whom -> Whom -> Whom
Read Whom
Instance details Defined in HTk.Containers.Window Methods readsPrec :: Int -> ReadS Whom readList :: ReadS [Whom] readPrec :: ReadPrec Whom readListPrec :: ReadPrec [Whom]
Show Whom
Instance details Defined in HTk.Containers.Window Methods showsPrec :: Int -> Whom -> ShowS show :: Whom -> String showList :: [Whom] -> ShowS
GUIValue Whom
Instance details Defined in HTk.Containers.Window Methods cdefault :: Whom # toGUIValue :: Whom -> GUIVALUE # maybeGUIValue :: GUIVALUE -> Maybe Whom # fromGUIValue :: GUIVALUE -> Whom #

class GUIObject w => Window w where #

Minimal complete definition

Nothing

Methods

iconify :: w -> IO () #

deiconify :: w -> IO () #

withdraw :: w -> IO () #

putWinOnTop :: w -> IO () #

putWinAtBottom :: w -> IO () #

screen :: Display -> Config w #

getScreen :: w -> IO Display #

getClassName :: w -> IO String #

getWindowState :: w -> IO WindowState #

aspectRatio :: AspectRatio -> Config w #

getAspectRatio :: w -> IO AspectRatio #

positionFrom :: Whom -> Config w #

getPositionFrom :: w -> IO Whom #

sizeFrom :: Whom -> Config w #

getSizeFrom :: w -> IO Whom #

Instances

Instances details

Window Toplevel
Instance details Defined in HTk.Containers.Toplevel Methods iconify :: Toplevel -> IO () # deiconify :: Toplevel -> IO () # withdraw :: Toplevel -> IO () # putWinOnTop :: Toplevel -> IO () # putWinAtBottom :: Toplevel -> IO () # screen :: Display -> Config Toplevel # getScreen :: Toplevel -> IO Display # getClassName :: Toplevel -> IO String # getWindowState :: Toplevel -> IO WindowState # aspectRatio :: AspectRatio -> Config Toplevel # getAspectRatio :: Toplevel -> IO AspectRatio # positionFrom :: Whom -> Config Toplevel # getPositionFrom :: Toplevel -> IO Whom # sizeFrom :: Whom -> Config Toplevel # getSizeFrom :: Toplevel -> IO Whom #
Window HTk
Instance details Defined in HTk.Toplevel.HTk Methods iconify :: HTk -> IO () # deiconify :: HTk -> IO () # withdraw :: HTk -> IO () # putWinOnTop :: HTk -> IO () # putWinAtBottom :: HTk -> IO () # screen :: Display -> Config HTk # getScreen :: HTk -> IO Display # getClassName :: HTk -> IO String # getWindowState :: HTk -> IO WindowState # aspectRatio :: AspectRatio -> Config HTk # getAspectRatio :: HTk -> IO AspectRatio # positionFrom :: Whom -> Config HTk # getPositionFrom :: HTk -> IO Whom # sizeFrom :: Whom -> Config HTk # getSizeFrom :: HTk -> IO Whom #

data WindowState #

Constructors

Deiconified
Iconified
Withdrawn

Instances

Instances details

Enum WindowState
Instance details Defined in HTk.Containers.Window Methods succ :: WindowState -> WindowState pred :: WindowState -> WindowState toEnum :: Int -> WindowState fromEnum :: WindowState -> Int enumFrom :: WindowState -> [WindowState] enumFromThen :: WindowState -> WindowState -> [WindowState] enumFromTo :: WindowState -> WindowState -> [WindowState] enumFromThenTo :: WindowState -> WindowState -> WindowState -> [WindowState]
Eq WindowState
Instance details Defined in HTk.Containers.Window Methods (==) :: WindowState -> WindowState -> Bool (/=) :: WindowState -> WindowState -> Bool
Ord WindowState
Instance details Defined in HTk.Containers.Window Methods compare :: WindowState -> WindowState -> Ordering (<) :: WindowState -> WindowState -> Bool (<=) :: WindowState -> WindowState -> Bool (>) :: WindowState -> WindowState -> Bool (>=) :: WindowState -> WindowState -> Bool max :: WindowState -> WindowState -> WindowState min :: WindowState -> WindowState -> WindowState
Read WindowState
Instance details Defined in HTk.Containers.Window Methods readsPrec :: Int -> ReadS WindowState readList :: ReadS [WindowState] readPrec :: ReadPrec WindowState readListPrec :: ReadPrec [WindowState]
Show WindowState
Instance details Defined in HTk.Containers.Window Methods showsPrec :: Int -> WindowState -> ShowS show :: WindowState -> String showList :: [WindowState] -> ShowS
GUIValue WindowState
Instance details Defined in HTk.Containers.Window Methods cdefault :: WindowState # toGUIValue :: WindowState -> GUIVALUE # maybeGUIValue :: GUIVALUE -> Maybe WindowState # fromGUIValue :: GUIVALUE -> WindowState #

data ColourMode #

Constructors

FullColourMode
GrayScaleMode
MonoChromeMode

Instances

Instances details

Enum ColourMode
Instance details Defined in HTk.Devices.Printer Methods succ :: ColourMode -> ColourMode pred :: ColourMode -> ColourMode toEnum :: Int -> ColourMode fromEnum :: ColourMode -> Int enumFrom :: ColourMode -> [ColourMode] enumFromThen :: ColourMode -> ColourMode -> [ColourMode] enumFromTo :: ColourMode -> ColourMode -> [ColourMode] enumFromThenTo :: ColourMode -> ColourMode -> ColourMode -> [ColourMode]
Eq ColourMode
Instance details Defined in HTk.Devices.Printer Methods (==) :: ColourMode -> ColourMode -> Bool (/=) :: ColourMode -> ColourMode -> Bool
Ord ColourMode
Instance details Defined in HTk.Devices.Printer Methods compare :: ColourMode -> ColourMode -> Ordering (<) :: ColourMode -> ColourMode -> Bool (<=) :: ColourMode -> ColourMode -> Bool (>) :: ColourMode -> ColourMode -> Bool (>=) :: ColourMode -> ColourMode -> Bool max :: ColourMode -> ColourMode -> ColourMode min :: ColourMode -> ColourMode -> ColourMode
Read ColourMode
Instance details Defined in HTk.Devices.Printer Methods readsPrec :: Int -> ReadS ColourMode readList :: ReadS [ColourMode] readPrec :: ReadPrec ColourMode readListPrec :: ReadPrec [ColourMode]
Show ColourMode
Instance details Defined in HTk.Devices.Printer Methods showsPrec :: Int -> ColourMode -> ShowS show :: ColourMode -> String showList :: [ColourMode] -> ShowS
GUIValue ColourMode
Instance details Defined in HTk.Devices.Printer Methods cdefault :: ColourMode # toGUIValue :: ColourMode -> GUIVALUE # maybeGUIValue :: GUIVALUE -> Maybe ColourMode # fromGUIValue :: GUIVALUE -> ColourMode #

class GUIObject w => HasPostscript w where #

Minimal complete definition

Nothing

Methods

postscript :: w -> [CreationConfig PostScript] -> IO () #

Instances

Instances details

HasPostscript Canvas
Instance details Defined in HTk.Widgets.Canvas Methods postscript :: Canvas -> [CreationConfig PostScript] -> IO () #

data PostScript #

newtype Screen w #

Constructors

Screen w

data VisualClass #

Constructors

DirectColour
GrayScale
PseudoColour
StaticColour
StaticGray
TrueColour

Instances

Instances details

Enum VisualClass
Instance details Defined in HTk.Devices.Screen Methods succ :: VisualClass -> VisualClass pred :: VisualClass -> VisualClass toEnum :: Int -> VisualClass fromEnum :: VisualClass -> Int enumFrom :: VisualClass -> [VisualClass] enumFromThen :: VisualClass -> VisualClass -> [VisualClass] enumFromTo :: VisualClass -> VisualClass -> [VisualClass] enumFromThenTo :: VisualClass -> VisualClass -> VisualClass -> [VisualClass]
Eq VisualClass
Instance details Defined in HTk.Devices.Screen Methods (==) :: VisualClass -> VisualClass -> Bool (/=) :: VisualClass -> VisualClass -> Bool
Ord VisualClass
Instance details Defined in HTk.Devices.Screen Methods compare :: VisualClass -> VisualClass -> Ordering (<) :: VisualClass -> VisualClass -> Bool (<=) :: VisualClass -> VisualClass -> Bool (>) :: VisualClass -> VisualClass -> Bool (>=) :: VisualClass -> VisualClass -> Bool max :: VisualClass -> VisualClass -> VisualClass min :: VisualClass -> VisualClass -> VisualClass
Read VisualClass
Instance details Defined in HTk.Devices.Screen Methods readsPrec :: Int -> ReadS VisualClass readList :: ReadS [VisualClass] readPrec :: ReadPrec VisualClass readListPrec :: ReadPrec [VisualClass]
Show VisualClass
Instance details Defined in HTk.Devices.Screen Methods showsPrec :: Int -> VisualClass -> ShowS show :: VisualClass -> String showList :: [VisualClass] -> ShowS
GUIValue VisualClass
Instance details Defined in HTk.Devices.Screen Methods cdefault :: VisualClass # toGUIValue :: VisualClass -> GUIVALUE # maybeGUIValue :: GUIVALUE -> Maybe VisualClass # fromGUIValue :: GUIVALUE -> VisualClass #

class GUIObject w => Widget w where #

Minimal complete definition

Nothing

Methods

cursor :: CursorDesignator ch => ch -> Config w #

getCursor :: w -> IO Cursor #

takeFocus :: Bool -> Config w #

getTakeFocus :: w -> IO Bool #

Instances

class Widget w => ButtonWidget w where #

Minimal complete definition

Nothing

Methods

flash :: w -> IO () #

invoke :: w -> IO () #

Instances

Instances details

ButtonWidget Button
Instance details Defined in HTk.Widgets.Button Methods flash :: Button -> IO () # invoke :: Button -> IO () #
ButtonWidget MenuButton
Instance details Defined in HTk.Widgets.MenuButton Methods flash :: MenuButton -> IO () # invoke :: MenuButton -> IO () #
ButtonWidget (CheckButton a)
Instance details Defined in HTk.Widgets.CheckButton Methods flash :: CheckButton a -> IO () # invoke :: CheckButton a -> IO () #
ButtonWidget (RadioButton a)
Instance details Defined in HTk.Widgets.RadioButton Methods flash :: RadioButton a -> IO () # invoke :: RadioButton a -> IO () #

newtype Colour #

Constructors

Colour String

Instances

Instances details

Read Colour
Instance details Defined in HTk.Kernel.Colour Methods readsPrec :: Int -> ReadS Colour readList :: ReadS [Colour] readPrec :: ReadPrec Colour readListPrec :: ReadPrec [Colour]
Show Colour
Instance details Defined in HTk.Kernel.Colour Methods showsPrec :: Int -> Colour -> ShowS show :: Colour -> String showList :: [Colour] -> ShowS
ColourDesignator Colour
Instance details Defined in HTk.Kernel.Colour Methods toColour :: Colour -> Colour #
GUIValue Colour
Instance details Defined in HTk.Kernel.Colour Methods cdefault :: Colour # toGUIValue :: Colour -> GUIVALUE # maybeGUIValue :: GUIVALUE -> Maybe Colour # fromGUIValue :: GUIVALUE -> Colour #
CursorDesignator (String, Colour)
Instance details Defined in HTk.Kernel.Cursor Methods toCursor :: (String, Colour) -> Cursor #
CursorDesignator (String, Colour, Colour)
Instance details Defined in HTk.Kernel.Cursor Methods toCursor :: (String, Colour, Colour) -> Cursor #
CursorDesignator ([Char], [Char], Colour, Colour)
Instance details Defined in HTk.Kernel.Cursor Methods toCursor :: ([Char], [Char], Colour, Colour) -> Cursor #

class ColourDesignator c where #

Methods

toColour :: c -> Colour #

Instances

Instances details

ColourDesignator Colour
Instance details Defined in HTk.Kernel.Colour Methods toColour :: Colour -> Colour #
ColourDesignator [Char]
Instance details Defined in HTk.Kernel.Colour Methods toColour :: [Char] -> Colour #
ColourDesignator (Double, Double, Double)
Instance details Defined in HTk.Kernel.Colour Methods toColour :: (Double, Double, Double) -> Colour #
ColourDesignator (Int, Int, Int)
Instance details Defined in HTk.Kernel.Colour Methods toColour :: (Int, Int, Int) -> Colour #

class GUIObject w => HasAlign w where #

Minimal complete definition

Nothing

Methods

align :: Alignment -> Config w #

getAlign :: w -> IO Alignment #

class GUIObject w => HasAnchor w where #

Minimal complete definition

Nothing

Methods

anchor :: Anchor -> Config w #

getAnchor :: w -> IO Anchor #

Instances

Instances details

HasAnchor TextItem
Instance details Defined in HTk.Canvasitems.TextItem Methods anchor :: Anchor -> Config TextItem # getAnchor :: TextItem -> IO Anchor #
HasAnchor Button
Instance details Defined in HTk.Widgets.Button Methods anchor :: Anchor -> Config Button # getAnchor :: Button -> IO Anchor #
HasAnchor Label
Instance details Defined in HTk.Widgets.Label Methods anchor :: Anchor -> Config Label # getAnchor :: Label -> IO Anchor #
HasAnchor MenuButton
Instance details Defined in HTk.Widgets.MenuButton Methods anchor :: Anchor -> Config MenuButton # getAnchor :: MenuButton -> IO Anchor #
HasAnchor Message
Instance details Defined in HTk.Widgets.Message Methods anchor :: Anchor -> Config Message # getAnchor :: Message -> IO Anchor #
HasAnchor (CheckButton a)
Instance details Defined in HTk.Widgets.CheckButton Methods anchor :: Anchor -> Config (CheckButton a) # getAnchor :: CheckButton a -> IO Anchor #
GUIValue a => HasAnchor (ComboBox a)
Instance details Defined in HTk.Widgets.ComboBox Methods anchor :: Anchor -> Config (ComboBox a) # getAnchor :: ComboBox a -> IO Anchor #
HasAnchor (OptionMenu a)
Instance details Defined in HTk.Widgets.OptionMenu Methods anchor :: Anchor -> Config (OptionMenu a) # getAnchor :: OptionMenu a -> IO Anchor #

class GUIObject w => HasBBox w i where #

Methods

bbox :: w -> i -> IO (Maybe (Distance, Distance, Distance, Distance)) #

Instances

Instances details

GUIObject c => HasBBox Canvas c
Instance details Defined in HTk.Widgets.Canvas Methods bbox :: Canvas -> c -> IO (Maybe (Distance, Distance, Distance, Distance)) #
HasIndex Editor i BaseIndex => HasBBox Editor i
Instance details Defined in HTk.Widgets.Editor Methods bbox :: Editor -> i -> IO (Maybe (Distance, Distance, Distance, Distance)) #
HasIndex (ListBox a) i Int => HasBBox (ListBox a) i
Instance details Defined in HTk.Widgets.ListBox Methods bbox :: ListBox a -> i -> IO (Maybe (Distance, Distance, Distance, Distance)) #

class GUIObject w => HasBorder w where #

Minimal complete definition

Nothing

Methods

borderwidth :: Distance -> Config w #

getBorderwidth :: w -> IO Distance #

relief :: Relief -> Config w #

getRelief :: w -> IO Relief #

Instances

Instances details

HasBorder BitMap
Instance details Defined in HTk.Components.BitMap Methods borderwidth :: Distance -> Config BitMap # getBorderwidth :: BitMap -> IO Distance # relief :: Relief -> Config BitMap # getRelief :: BitMap -> IO Relief #
HasBorder Image
Instance details Defined in HTk.Components.Image Methods borderwidth :: Distance -> Config Image # getBorderwidth :: Image -> IO Distance # relief :: Relief -> Config Image # getRelief :: Image -> IO Relief #
HasBorder Box
Instance details Defined in HTk.Containers.Box Methods borderwidth :: Distance -> Config Box # getBorderwidth :: Box -> IO Distance # relief :: Relief -> Config Box # getRelief :: Box -> IO Relief #
HasBorder Frame
Instance details Defined in HTk.Containers.Frame Methods borderwidth :: Distance -> Config Frame # getBorderwidth :: Frame -> IO Distance # relief :: Relief -> Config Frame # getRelief :: Frame -> IO Relief #
HasBorder Menu
Instance details Defined in HTk.Menuitems.Menu Methods borderwidth :: Distance -> Config Menu # getBorderwidth :: Menu -> IO Distance # relief :: Relief -> Config Menu # getRelief :: Menu -> IO Relief #
HasBorder MenuCascade
Instance details Defined in HTk.Menuitems.MenuCascade Methods borderwidth :: Distance -> Config MenuCascade # getBorderwidth :: MenuCascade -> IO Distance # relief :: Relief -> Config MenuCascade # getRelief :: MenuCascade -> IO Relief #
HasBorder MenuCheckButton
Instance details Defined in HTk.Menuitems.MenuCheckButton Methods borderwidth :: Distance -> Config MenuCheckButton # getBorderwidth :: MenuCheckButton -> IO Distance # relief :: Relief -> Config MenuCheckButton # getRelief :: MenuCheckButton -> IO Relief #
HasBorder MenuCommand
Instance details Defined in HTk.Menuitems.MenuCommand Methods borderwidth :: Distance -> Config MenuCommand # getBorderwidth :: MenuCommand -> IO Distance # relief :: Relief -> Config MenuCommand # getRelief :: MenuCommand -> IO Relief #