Safe Haskell	None
Language	Haskell98

HTk.Toolkit.InputForm

Description

the inputform

Synopsis

Documentation

data InputForm a Source #

The InputForm datatype.

Constructors

InputForm Box (Ref (FormState a))

Instances

Eq (InputForm a) Source #	Internal.
Methods (==) :: InputForm a -> InputForm a -> Bool # (/=) :: InputForm a -> InputForm a -> Bool #
Synchronized (InputForm a) Source #
Methods synchronize :: InputForm a -> IO b -> IO b #
GUIObject (InputForm a) Source #	Internal.
Methods toGUIObject :: InputForm a -> GUIOBJECT Source # cname :: InputForm a -> String Source # cset :: GUIValue a => InputForm a -> ConfigID -> a -> IO (InputForm a) Source # cget :: GUIValue a => InputForm a -> ConfigID -> IO a Source #
HasEnable (InputForm a) Source #
Methods state :: State -> Config (InputForm a) Source # getState :: InputForm a -> IO State Source # disable :: Config (InputForm a) Source # enable :: Config (InputForm a) Source # isEnabled :: InputForm a -> IO Bool Source #
HasFont (InputForm a) Source #
Methods font :: FontDesignator f => f -> Config (InputForm a) Source # getFont :: InputForm a -> IO Font Source #
HasBorder (InputForm a) Source #
Methods borderwidth :: Distance -> Config (InputForm a) Source # getBorderwidth :: InputForm a -> IO Distance Source # relief :: Relief -> Config (InputForm a) Source # getRelief :: InputForm a -> IO Relief Source #
HasSize (InputForm a) Source #
Methods width :: Distance -> Config (InputForm a) Source # getWidth :: InputForm a -> IO Distance Source # height :: Distance -> Config (InputForm a) Source # getHeight :: InputForm a -> IO Distance Source # size :: Size -> Config (InputForm a) Source # getSize :: InputForm a -> IO Size Source #
HasColour (InputForm a) Source #
Methods legalColourID :: InputForm a -> ConfigID -> Bool Source # setColour :: InputForm a -> ConfigID -> Colour -> IO (InputForm a) Source # getColour :: InputForm a -> ConfigID -> IO Colour Source #
Widget (InputForm a) Source #
Methods cursor :: CursorDesignator ch => ch -> Config (InputForm a) Source # getCursor :: InputForm a -> IO Cursor Source # takeFocus :: Bool -> Config (InputForm a) Source # getTakeFocus :: InputForm a -> IO Bool Source #
Container (InputForm a) Source #

newInputForm Source #

Arguments

:: Box	parent container in which the form is embedded
-> Maybe a	the datatype which contains the initial field values and the results
-> [Config (InputForm a)]	list of configuration options for this form
-> IO (InputForm a)	a `InputForm`

Creates a new InputForm

class InputField f where Source #

Minimal complete definition

selector, modifier

Methods

selector :: GUIValue b => (a -> b) -> Config (f a b) Source #

modifier :: GUIValue b => (a -> b -> a) -> Config (f a b) Source #

Instances

InputField RecordField Source #
Methods selector :: GUIValue b => (a -> b) -> Config (RecordField a b) Source # modifier :: GUIValue b => (a -> b -> a) -> Config (RecordField a b) Source #
InputField EnumField Source #
Methods selector :: GUIValue b => (a -> b) -> Config (EnumField a b) Source # modifier :: GUIValue b => (a -> b -> a) -> Config (EnumField a b) Source #
InputField TextField Source #
Methods selector :: GUIValue b => (a -> b) -> Config (TextField a b) Source # modifier :: GUIValue b => (a -> b -> a) -> Config (TextField a b) Source #
InputField CheckboxField Source #
Methods selector :: GUIValue b => (a -> b) -> Config (CheckboxField a b) Source # modifier :: GUIValue b => (a -> b -> a) -> Config (CheckboxField a b) Source #
InputField NumEntryField Source #
Methods selector :: GUIValue b => (a -> b) -> Config (NumEntryField a b) Source # modifier :: GUIValue b => (a -> b -> a) -> Config (NumEntryField a b) Source #
InputField EntryField Source #
Methods selector :: GUIValue b => (a -> b) -> Config (EntryField a b) Source # modifier :: GUIValue b => (a -> b -> a) -> Config (EntryField a b) Source #

data FormState a Source #

data EntryField a b Source #

The EntryField datatype.

Instances

InputField EntryField Source #
Methods selector :: GUIValue b => (a -> b) -> Config (EntryField a b) Source # modifier :: GUIValue b => (a -> b -> a) -> Config (EntryField a b) Source #
Eq (EntryField a b) Source #
Methods (==) :: EntryField a b -> EntryField a b -> Bool # (/=) :: EntryField a b -> EntryField a b -> Bool #
Synchronized (EntryField a b) Source #
Methods synchronize :: EntryField a b -> IO b -> IO b #
GUIObject (EntryField a b) Source #
Methods toGUIObject :: EntryField a b -> GUIOBJECT Source # cname :: EntryField a b -> String Source # cset :: GUIValue a => EntryField a b -> ConfigID -> a -> IO (EntryField a b) Source # cget :: GUIValue a => EntryField a b -> ConfigID -> IO a Source #
HasEnable (EntryField a b) Source #
Methods state :: State -> Config (EntryField a b) Source # getState :: EntryField a b -> IO State Source # disable :: Config (EntryField a b) Source # enable :: Config (EntryField a b) Source # isEnabled :: EntryField a b -> IO Bool Source #
HasFont (EntryField a b) Source #
Methods font :: FontDesignator f => f -> Config (EntryField a b) Source # getFont :: EntryField a b -> IO Font Source #
HasBorder (EntryField a b) Source #
Methods borderwidth :: Distance -> Config (EntryField a b) Source # getBorderwidth :: EntryField a b -> IO Distance Source # relief :: Relief -> Config (EntryField a b) Source # getRelief :: EntryField a b -> IO Relief Source #
HasSize (EntryField a b) Source #
Methods width :: Distance -> Config (EntryField a b) Source # getWidth :: EntryField a b -> IO Distance Source # height :: Distance -> Config (EntryField a b) Source # getHeight :: EntryField a b -> IO Distance Source # size :: Size -> Config (EntryField a b) Source # getSize :: EntryField a b -> IO Size Source #
HasColour (EntryField a b) Source #
Methods legalColourID :: EntryField a b -> ConfigID -> Bool Source # setColour :: EntryField a b -> ConfigID -> Colour -> IO (EntryField a b) Source # getColour :: EntryField a b -> ConfigID -> IO Colour Source #
Widget (EntryField a b) Source #
Methods cursor :: CursorDesignator ch => ch -> Config (EntryField a b) Source # getCursor :: EntryField a b -> IO Cursor Source # takeFocus :: Bool -> Config (EntryField a b) Source # getTakeFocus :: EntryField a b -> IO Bool Source #
(GUIValue b, GUIValue c) => HasText (EntryField a b) c Source #
Methods text :: c -> Config (EntryField a b) Source # getText :: EntryField a b -> IO c Source #

newEntryField Source #

Arguments

:: GUIValue b
=> InputForm a	the form to which the field is added
-> [Config (EntryField a b)]	a list of configuration options for this field
-> IO (EntryField a b)	a `EntryField`

Add a new EntryField to the form

data NumEntryField a b Source #

The NumEntryField datatype.

Instances

InputField NumEntryField Source #
Methods selector :: GUIValue b => (a -> b) -> Config (NumEntryField a b) Source # modifier :: GUIValue b => (a -> b -> a) -> Config (NumEntryField a b) Source #
Eq (NumEntryField a b) Source #
Methods (==) :: NumEntryField a b -> NumEntryField a b -> Bool # (/=) :: NumEntryField a b -> NumEntryField a b -> Bool #
Synchronized (NumEntryField a b) Source #
Methods synchronize :: NumEntryField a b -> IO b -> IO b #
GUIObject (NumEntryField a b) Source #
Methods toGUIObject :: NumEntryField a b -> GUIOBJECT Source # cname :: NumEntryField a b -> String Source # cset :: GUIValue a => NumEntryField a b -> ConfigID -> a -> IO (NumEntryField a b) Source # cget :: GUIValue a => NumEntryField a b -> ConfigID -> IO a Source #
HasEnable (NumEntryField a b) Source #
Methods state :: State -> Config (NumEntryField a b) Source # getState :: NumEntryField a b -> IO State Source # disable :: Config (NumEntryField a b) Source # enable :: Config (NumEntryField a b) Source # isEnabled :: NumEntryField a b -> IO Bool Source #
HasFont (NumEntryField a b) Source #
Methods font :: FontDesignator f => f -> Config (NumEntryField a b) Source # getFont :: NumEntryField a b -> IO Font Source #
HasBorder (NumEntryField a b) Source #
Methods borderwidth :: Distance -> Config (NumEntryField a b) Source # getBorderwidth :: NumEntryField a b -> IO Distance Source # relief :: Relief -> Config (NumEntryField a b) Source # getRelief :: NumEntryField a b -> IO Relief Source #
HasSize (NumEntryField a b) Source #
Methods width :: Distance -> Config (NumEntryField a b) Source # getWidth :: NumEntryField a b -> IO Distance Source # height :: Distance -> Config (NumEntryField a b) Source # getHeight :: NumEntryField a b -> IO Distance Source # size :: Size -> Config (NumEntryField a b) Source # getSize :: NumEntryField a b -> IO Size Source #
HasColour (NumEntryField a b) Source #
Methods legalColourID :: NumEntryField a b -> ConfigID -> Bool Source # setColour :: NumEntryField a b -> ConfigID -> Colour -> IO (NumEntryField a b) Source # getColour :: NumEntryField a b -> ConfigID -> IO Colour Source #
Widget (NumEntryField a b) Source #
Methods cursor :: CursorDesignator ch => ch -> Config (NumEntryField a b) Source # getCursor :: NumEntryField a b -> IO Cursor Source # takeFocus :: Bool -> Config (NumEntryField a b) Source # getTakeFocus :: NumEntryField a b -> IO Bool Source #
(GUIValue b, GUIValue c) => HasText (NumEntryField a b) c Source #
Methods text :: c -> Config (NumEntryField a b) Source # getText :: NumEntryField a b -> IO c Source #

newNumEntryField Source #

Arguments

:: (Ord b, Num b, GUIValue b)
=> InputForm a	the form to which the field is added
-> (b, b)	upper and lower bound (for the spin only)
-> b	increment/decrement for the spin button
-> [Config (NumEntryField a b)]	a list of configuration options for this field
-> IO (NumEntryField a b)	a `NumEntryField`

Add a new NumEntryField to the form

data CheckboxField a b Source #

The CheckboxField datatype.

Instances

InputField CheckboxField Source #
Methods selector :: GUIValue b => (a -> b) -> Config (CheckboxField a b) Source # modifier :: GUIValue b => (a -> b -> a) -> Config (CheckboxField a b) Source #
Eq (CheckboxField a b) Source #
Methods (==) :: CheckboxField a b -> CheckboxField a b -> Bool # (/=) :: CheckboxField a b -> CheckboxField a b -> Bool #
Synchronized (CheckboxField a b) Source #
Methods synchronize :: CheckboxField a b -> IO b -> IO b #
GUIObject (CheckboxField a b) Source #
Methods toGUIObject :: CheckboxField a b -> GUIOBJECT Source # cname :: CheckboxField a b -> String Source # cset :: GUIValue a => CheckboxField a b -> ConfigID -> a -> IO (CheckboxField a b) Source # cget :: GUIValue a => CheckboxField a b -> ConfigID -> IO a Source #
HasEnable (CheckboxField a b) Source #
Methods state :: State -> Config (CheckboxField a b) Source # getState :: CheckboxField a b -> IO State Source # disable :: Config (CheckboxField a b) Source # enable :: Config (CheckboxField a b) Source # isEnabled :: CheckboxField a b -> IO Bool Source #
HasFont (CheckboxField a b) Source #
Methods font :: FontDesignator f => f -> Config (CheckboxField a b) Source # getFont :: CheckboxField a b -> IO Font Source #
HasBorder (CheckboxField a b) Source #
Methods borderwidth :: Distance -> Config (CheckboxField a b) Source # getBorderwidth :: CheckboxField a b -> IO Distance Source # relief :: Relief -> Config (CheckboxField a b) Source # getRelief :: CheckboxField a b -> IO Relief Source #
HasSize (CheckboxField a b) Source #
Methods width :: Distance -> Config (CheckboxField a b) Source # getWidth :: CheckboxField a b -> IO Distance Source # height :: Distance -> Config (CheckboxField a b) Source # getHeight :: CheckboxField a b -> IO Distance Source # size :: Size -> Config (CheckboxField a b) Source # getSize :: CheckboxField a b -> IO Size Source #
HasColour (CheckboxField a b) Source #
Methods legalColourID :: CheckboxField a b -> ConfigID -> Bool Source # setColour :: CheckboxField a b -> ConfigID -> Colour -> IO (CheckboxField a b) Source # getColour :: CheckboxField a b -> ConfigID -> IO Colour Source #
Widget (CheckboxField a b) Source #
Methods cursor :: CursorDesignator ch => ch -> Config (CheckboxField a b) Source # getCursor :: CheckboxField a b -> IO Cursor Source # takeFocus :: Bool -> Config (CheckboxField a b) Source # getTakeFocus :: CheckboxField a b -> IO Bool Source #
(GUIValue b, GUIValue c) => HasText (CheckboxField a b) c Source #
Methods text :: c -> Config (CheckboxField a b) Source # getText :: CheckboxField a b -> IO c Source #

newCheckboxField Source #

Arguments

:: GUIValue b
=> InputForm a	the form to which the field is added
-> b	initial value
-> [Config (CheckboxField a b)]	a list of configuration options for this field
-> IO (CheckboxField a b)	a `CheckbuttonField`

Add a new CheckboxField to the form

data EnumField a b Source #

The EnumField datatype.

Instances

InputField EnumField Source #
Methods selector :: GUIValue b => (a -> b) -> Config (EnumField a b) Source # modifier :: GUIValue b => (a -> b -> a) -> Config (EnumField a b) Source #
Eq (EnumField a b) Source #
Methods (==) :: EnumField a b -> EnumField a b -> Bool # (/=) :: EnumField a b -> EnumField a b -> Bool #
Synchronized (EnumField a b) Source #
Methods synchronize :: EnumField a b -> IO b -> IO b #
GUIObject (EnumField a b) Source #
Methods toGUIObject :: EnumField a b -> GUIOBJECT Source # cname :: EnumField a b -> String Source # cset :: GUIValue a => EnumField a b -> ConfigID -> a -> IO (EnumField a b) Source # cget :: GUIValue a => EnumField a b -> ConfigID -> IO a Source #
HasEnable (EnumField a b) Source #
Methods state :: State -> Config (EnumField a b) Source # getState :: EnumField a b -> IO State Source # disable :: Config (EnumField a b) Source # enable :: Config (EnumField a b) Source # isEnabled :: EnumField a b -> IO Bool Source #
HasFont (EnumField a b) Source #
Methods font :: FontDesignator f => f -> Config (EnumField a b) Source # getFont :: EnumField a b -> IO Font Source #
HasBorder (EnumField a b) Source #
Methods borderwidth :: Distance -> Config (EnumField a b) Source # getBorderwidth :: EnumField a b -> IO Distance Source # relief :: Relief -> Config (EnumField a b) Source # getRelief :: EnumField a b -> IO Relief Source #
HasSize (EnumField a b) Source #
Methods width :: Distance -> Config (EnumField a b) Source # getWidth :: EnumField a b -> IO Distance Source # height :: Distance -> Config (EnumField a b) Source # getHeight :: EnumField a b -> IO Distance Source # size :: Size -> Config (EnumField a b) Source # getSize :: EnumField a b -> IO Size Source #
HasColour (EnumField a b) Source #
Methods legalColourID :: EnumField a b -> ConfigID -> Bool Source # setColour :: EnumField a b -> ConfigID -> Colour -> IO (EnumField a b) Source # getColour :: EnumField a b -> ConfigID -> IO Colour Source #
Widget (EnumField a b) Source #
Methods cursor :: CursorDesignator ch => ch -> Config (EnumField a b) Source # getCursor :: EnumField a b -> IO Cursor Source # takeFocus :: Bool -> Config (EnumField a b) Source # getTakeFocus :: EnumField a b -> IO Bool Source #
GUIValue c => HasText (EnumField a b) c Source #
Methods text :: c -> Config (EnumField a b) Source # getText :: EnumField a b -> IO c Source #

newEnumField Source #

Arguments

:: GUIValue b
=> InputForm a	the form to which the field is added
-> [b]	the list of choices in this field
-> [Config (EnumField a b)]	a list of configuration options for this field
-> IO (EnumField a b)	a `EnumField`

Add a new EnumField to the form

data TextField a b Source #

The TextField datatype.

Instances

InputField TextField Source #
Methods selector :: GUIValue b => (a -> b) -> Config (TextField a b) Source # modifier :: GUIValue b => (a -> b -> a) -> Config (TextField a b) Source #
Eq (TextField a b) Source #
Methods (==) :: TextField a b -> TextField a b -> Bool # (/=) :: TextField a b -> TextField a b -> Bool #
Synchronized (TextField a b) Source #
Methods synchronize :: TextField a b -> IO b -> IO b #
GUIObject (TextField a b) Source #
Methods toGUIObject :: TextField a b -> GUIOBJECT Source # cname :: TextField a b -> String Source # cset :: GUIValue a => TextField a b -> ConfigID -> a -> IO (TextField a b) Source # cget :: GUIValue a => TextField a b -> ConfigID -> IO a Source #
HasEnable (TextField a b) Source #
Methods state :: State -> Config (TextField a b) Source # getState :: TextField a b -> IO State Source # disable :: Config (TextField a b) Source # enable :: Config (TextField a b) Source # isEnabled :: TextField a b -> IO Bool Source #
HasFont (TextField a b) Source #
Methods font :: FontDesignator f => f -> Config (TextField a b) Source # getFont :: TextField a b -> IO Font Source #
HasBorder (TextField a b) Source #
Methods borderwidth :: Distance -> Config (TextField a b) Source # getBorderwidth :: TextField a b -> IO Distance Source # relief :: Relief -> Config (TextField a b) Source # getRelief :: TextField a b -> IO Relief Source #
HasSize (TextField a b) Source #
Methods width :: Distance -> Config (TextField a b) Source # getWidth :: TextField a b -> IO Distance Source # height :: Distance -> Config (TextField a b) Source # getHeight :: TextField a b -> IO Distance Source # size :: Size -> Config (TextField a b) Source # getSize :: TextField a b -> IO Size Source #
HasColour (TextField a b) Source #
Methods legalColourID :: TextField a b -> ConfigID -> Bool Source # setColour :: TextField a b -> ConfigID -> Colour -> IO (TextField a b) Source # getColour :: TextField a b -> ConfigID -> IO Colour Source #
(GUIValue b, GUIValue c) => HasText (TextField a b) c Source #
Methods text :: c -> Config (TextField a b) Source # getText :: TextField a b -> IO c Source #

newTextField Source #

Arguments

:: GUIValue b
=> InputForm a	the form to which the field is added
-> [Config (TextField a b)]	a list of configuration options for this field
-> IO (TextField a b)	a `TextField`

Add a new TextField to the form

getFormValue :: InputForm a -> IO a Source #

setFormValue :: InputForm a -> a -> IO () Source #

data RecordField a b Source #

Instances

InputField RecordField Source #
Methods selector :: GUIValue b => (a -> b) -> Config (RecordField a b) Source # modifier :: GUIValue b => (a -> b -> a) -> Config (RecordField a b) Source #
Eq (RecordField a b) Source #
Methods (==) :: RecordField a b -> RecordField a b -> Bool # (/=) :: RecordField a b -> RecordField a b -> Bool #
Synchronized (RecordField a b) Source #
Methods synchronize :: RecordField a b -> IO b -> IO b #
GUIObject (RecordField a b) Source #
Methods toGUIObject :: RecordField a b -> GUIOBJECT Source # cname :: RecordField a b -> String Source # cset :: GUIValue a => RecordField a b -> ConfigID -> a -> IO (RecordField a b) Source # cget :: GUIValue a => RecordField a b -> ConfigID -> IO a Source #
HasEnable (RecordField a b) Source #
Methods state :: State -> Config (RecordField a b) Source # getState :: RecordField a b -> IO State Source # disable :: Config (RecordField a b) Source # enable :: Config (RecordField a b) Source # isEnabled :: RecordField a b -> IO Bool Source #
HasFont (RecordField a b) Source #
Methods font :: FontDesignator f => f -> Config (RecordField a b) Source # getFont :: RecordField a b -> IO Font Source #
HasBorder (RecordField a b) Source #
Methods borderwidth :: Distance -> Config (RecordField a b) Source # getBorderwidth :: RecordField a b -> IO Distance Source # relief :: Relief -> Config (RecordField a b) Source # getRelief :: RecordField a b -> IO Relief Source #
HasSize (RecordField a b) Source #
Methods width :: Distance -> Config (RecordField a b) Source # getWidth :: RecordField a b -> IO Distance Source # height :: Distance -> Config (RecordField a b) Source # getHeight :: RecordField a b -> IO Distance Source # size :: Size -> Config (RecordField a b) Source # getSize :: RecordField a b -> IO Size Source #
HasColour (RecordField a b) Source #
Methods legalColourID :: RecordField a b -> ConfigID -> Bool Source # setColour :: RecordField a b -> ConfigID -> Colour -> IO (RecordField a b) Source # getColour :: RecordField a b -> ConfigID -> IO Colour Source #
Widget (RecordField a b) Source #
Methods cursor :: CursorDesignator ch => ch -> Config (RecordField a b) Source # getCursor :: RecordField a b -> IO Cursor Source # takeFocus :: Bool -> Config (RecordField a b) Source # getTakeFocus :: RecordField a b -> IO Bool Source #
GUIValue c => HasText (RecordField a b) c Source #
Methods text :: c -> Config (RecordField a b) Source # getText :: RecordField a b -> IO c Source #

newRecordField :: InputForm a -> (Box -> IO (InputForm b)) -> [Config (RecordField a b)] -> IO (RecordField a b, InputForm b) Source #

undefinedFormValue :: IOError Source #