HTk.Toolkit.InputForm

the inputform

Documentation

data InputForm a

The InputForm datatype.

Constructors

InputForm Box (Ref (FormState a))

Instances

Eq (InputForm a)

Internal.

Methods

(==) :: InputForm a -> InputForm a -> Bool

(/=) :: InputForm a -> InputForm a -> Bool

Synchronized (InputForm a)

Methods

synchronize :: InputForm a -> IO b -> IO b

GUIObject (InputForm a)

Internal.

Methods

toGUIObject :: InputForm a -> GUIOBJECT

cname :: InputForm a -> String

cset :: GUIValue a => InputForm a -> ConfigID -> a -> IO (InputForm a)

cget :: GUIValue a => InputForm a -> ConfigID -> IO a

HasEnable (InputForm a)

Methods

state :: State -> Config (InputForm a)

getState :: InputForm a -> IO State

disable :: Config (InputForm a)

enable :: Config (InputForm a)

isEnabled :: InputForm a -> IO Bool

HasFont (InputForm a)

Methods

font :: FontDesignator f => f -> Config (InputForm a)

getFont :: InputForm a -> IO Font

HasBorder (InputForm a)

Methods

borderwidth :: Distance -> Config (InputForm a)

getBorderwidth :: InputForm a -> IO Distance

relief :: Relief -> Config (InputForm a)

getRelief :: InputForm a -> IO Relief

HasSize (InputForm a)

Methods

width :: Distance -> Config (InputForm a)

getWidth :: InputForm a -> IO Distance

height :: Distance -> Config (InputForm a)

getHeight :: InputForm a -> IO Distance

size :: Size -> Config (InputForm a)

getSize :: InputForm a -> IO Size

HasColour (InputForm a)

Methods

legalColourID :: InputForm a -> ConfigID -> Bool

setColour :: InputForm a -> ConfigID -> Colour -> IO (InputForm a)

getColour :: InputForm a -> ConfigID -> IO Colour

Widget (InputForm a)

Methods

cursor :: CursorDesignator ch => ch -> Config (InputForm a)

getCursor :: InputForm a -> IO Cursor

takeFocus :: Bool -> Config (InputForm a)

getTakeFocus :: InputForm a -> IO Bool

Container (InputForm a)

newInputForm

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

Minimal complete definition

selector, modifier

Methods

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

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

Instances

InputField RecordField

Methods

selector :: GUIValue b => (a -> b) -> Config (RecordField a b)

modifier :: GUIValue b => (a -> b -> a) -> Config (RecordField a b)

InputField EnumField

Methods

selector :: GUIValue b => (a -> b) -> Config (EnumField a b)

modifier :: GUIValue b => (a -> b -> a) -> Config (EnumField a b)

InputField TextField

Methods

selector :: GUIValue b => (a -> b) -> Config (TextField a b)

modifier :: GUIValue b => (a -> b -> a) -> Config (TextField a b)

InputField CheckboxField

Methods

selector :: GUIValue b => (a -> b) -> Config (CheckboxField a b)

modifier :: GUIValue b => (a -> b -> a) -> Config (CheckboxField a b)

InputField NumEntryField

Methods

selector :: GUIValue b => (a -> b) -> Config (NumEntryField a b)

modifier :: GUIValue b => (a -> b -> a) -> Config (NumEntryField a b)

InputField EntryField

Methods

selector :: GUIValue b => (a -> b) -> Config (EntryField a b)

modifier :: GUIValue b => (a -> b -> a) -> Config (EntryField a b)

data FormState a

data EntryField a b

The EntryField datatype.

Instances

InputField EntryField

Methods

selector :: GUIValue b => (a -> b) -> Config (EntryField a b)

modifier :: GUIValue b => (a -> b -> a) -> Config (EntryField a b)

Eq (EntryField a b)

Methods

(==) :: EntryField a b -> EntryField a b -> Bool

(/=) :: EntryField a b -> EntryField a b -> Bool

Synchronized (EntryField a b)

Methods

synchronize :: EntryField a b -> IO b -> IO b

GUIObject (EntryField a b)

Methods

toGUIObject :: EntryField a b -> GUIOBJECT

cname :: EntryField a b -> String

cset :: GUIValue a => EntryField a b -> ConfigID -> a -> IO (EntryField a b)

cget :: GUIValue a => EntryField a b -> ConfigID -> IO a

HasEnable (EntryField a b)

Methods

state :: State -> Config (EntryField a b)

getState :: EntryField a b -> IO State

disable :: Config (EntryField a b)

enable :: Config (EntryField a b)

isEnabled :: EntryField a b -> IO Bool

HasFont (EntryField a b)

Methods

font :: FontDesignator f => f -> Config (EntryField a b)

getFont :: EntryField a b -> IO Font

HasBorder (EntryField a b)

Methods

borderwidth :: Distance -> Config (EntryField a b)

getBorderwidth :: EntryField a b -> IO Distance

relief :: Relief -> Config (EntryField a b)

getRelief :: EntryField a b -> IO Relief

HasSize (EntryField a b)

Methods

width :: Distance -> Config (EntryField a b)

getWidth :: EntryField a b -> IO Distance

height :: Distance -> Config (EntryField a b)

getHeight :: EntryField a b -> IO Distance

size :: Size -> Config (EntryField a b)

getSize :: EntryField a b -> IO Size

HasColour (EntryField a b)

Methods

legalColourID :: EntryField a b -> ConfigID -> Bool

setColour :: EntryField a b -> ConfigID -> Colour -> IO (EntryField a b)

getColour :: EntryField a b -> ConfigID -> IO Colour

Widget (EntryField a b)

Methods

cursor :: CursorDesignator ch => ch -> Config (EntryField a b)

getCursor :: EntryField a b -> IO Cursor

takeFocus :: Bool -> Config (EntryField a b)

getTakeFocus :: EntryField a b -> IO Bool

(GUIValue b, GUIValue c) => HasText (EntryField a b) c

Methods

text :: c -> Config (EntryField a b)

getText :: EntryField a b -> IO c

newEntryField

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

The NumEntryField datatype.

Instances

InputField NumEntryField

Methods

selector :: GUIValue b => (a -> b) -> Config (NumEntryField a b)

modifier :: GUIValue b => (a -> b -> a) -> Config (NumEntryField a b)

Eq (NumEntryField a b)

Methods

(==) :: NumEntryField a b -> NumEntryField a b -> Bool

(/=) :: NumEntryField a b -> NumEntryField a b -> Bool

Synchronized (NumEntryField a b)

Methods

synchronize :: NumEntryField a b -> IO b -> IO b

GUIObject (NumEntryField a b)

Methods

toGUIObject :: NumEntryField a b -> GUIOBJECT

cname :: NumEntryField a b -> String

cset :: GUIValue a => NumEntryField a b -> ConfigID -> a -> IO (NumEntryField a b)

cget :: GUIValue a => NumEntryField a b -> ConfigID -> IO a

HasEnable (NumEntryField a b)

Methods

state :: State -> Config (NumEntryField a b)

getState :: NumEntryField a b -> IO State

disable :: Config (NumEntryField a b)

enable :: Config (NumEntryField a b)

isEnabled :: NumEntryField a b -> IO Bool

HasFont (NumEntryField a b)

Methods

font :: FontDesignator f => f -> Config (NumEntryField a b)

getFont :: NumEntryField a b -> IO Font

HasBorder (NumEntryField a b)

Methods

borderwidth :: Distance -> Config (NumEntryField a b)

getBorderwidth :: NumEntryField a b -> IO Distance

relief :: Relief -> Config (NumEntryField a b)

getRelief :: NumEntryField a b -> IO Relief

HasSize (NumEntryField a b)

Methods

width :: Distance -> Config (NumEntryField a b)

getWidth :: NumEntryField a b -> IO Distance

height :: Distance -> Config (NumEntryField a b)

getHeight :: NumEntryField a b -> IO Distance

size :: Size -> Config (NumEntryField a b)

getSize :: NumEntryField a b -> IO Size

HasColour (NumEntryField a b)

Methods

legalColourID :: NumEntryField a b -> ConfigID -> Bool

setColour :: NumEntryField a b -> ConfigID -> Colour -> IO (NumEntryField a b)

getColour :: NumEntryField a b -> ConfigID -> IO Colour

Widget (NumEntryField a b)

Methods

cursor :: CursorDesignator ch => ch -> Config (NumEntryField a b)

getCursor :: NumEntryField a b -> IO Cursor

takeFocus :: Bool -> Config (NumEntryField a b)

getTakeFocus :: NumEntryField a b -> IO Bool

(GUIValue b, GUIValue c) => HasText (NumEntryField a b) c

Methods

text :: c -> Config (NumEntryField a b)

getText :: NumEntryField a b -> IO c

newNumEntryField

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

The CheckboxField datatype.

Instances

InputField CheckboxField

Methods

selector :: GUIValue b => (a -> b) -> Config (CheckboxField a b)

modifier :: GUIValue b => (a -> b -> a) -> Config (CheckboxField a b)

Eq (CheckboxField a b)

Methods

(==) :: CheckboxField a b -> CheckboxField a b -> Bool

(/=) :: CheckboxField a b -> CheckboxField a b -> Bool

Synchronized (CheckboxField a b)

Methods

synchronize :: CheckboxField a b -> IO b -> IO b

GUIObject (CheckboxField a b)

Methods

toGUIObject :: CheckboxField a b -> GUIOBJECT

cname :: CheckboxField a b -> String

cset :: GUIValue a => CheckboxField a b -> ConfigID -> a -> IO (CheckboxField a b)

cget :: GUIValue a => CheckboxField a b -> ConfigID -> IO a

HasEnable (CheckboxField a b)

Methods

state :: State -> Config (CheckboxField a b)

getState :: CheckboxField a b -> IO State

disable :: Config (CheckboxField a b)

enable :: Config (CheckboxField a b)

isEnabled :: CheckboxField a b -> IO Bool

HasFont (CheckboxField a b)

Methods

font :: FontDesignator f => f -> Config (CheckboxField a b)

getFont :: CheckboxField a b -> IO Font

HasBorder (CheckboxField a b)

Methods

borderwidth :: Distance -> Config (CheckboxField a b)

getBorderwidth :: CheckboxField a b -> IO Distance

relief :: Relief -> Config (CheckboxField a b)

getRelief :: CheckboxField a b -> IO Relief

HasSize (CheckboxField a b)

Methods

width :: Distance -> Config (CheckboxField a b)

getWidth :: CheckboxField a b -> IO Distance

height :: Distance -> Config (CheckboxField a b)

getHeight :: CheckboxField a b -> IO Distance

size :: Size -> Config (CheckboxField a b)

getSize :: CheckboxField a b -> IO Size

HasColour (CheckboxField a b)

Methods

legalColourID :: CheckboxField a b -> ConfigID -> Bool

setColour :: CheckboxField a b -> ConfigID -> Colour -> IO (CheckboxField a b)

getColour :: CheckboxField a b -> ConfigID -> IO Colour

Widget (CheckboxField a b)

Methods

cursor :: CursorDesignator ch => ch -> Config (CheckboxField a b)

getCursor :: CheckboxField a b -> IO Cursor

takeFocus :: Bool -> Config (CheckboxField a b)

getTakeFocus :: CheckboxField a b -> IO Bool

(GUIValue b, GUIValue c) => HasText (CheckboxField a b) c

Methods

text :: c -> Config (CheckboxField a b)

getText :: CheckboxField a b -> IO c

newCheckboxField

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

The EnumField datatype.

Instances

InputField EnumField

Methods

selector :: GUIValue b => (a -> b) -> Config (EnumField a b)

modifier :: GUIValue b => (a -> b -> a) -> Config (EnumField a b)

Eq (EnumField a b)

Methods

(==) :: EnumField a b -> EnumField a b -> Bool

(/=) :: EnumField a b -> EnumField a b -> Bool

Synchronized (EnumField a b)

Methods

synchronize :: EnumField a b -> IO b -> IO b

GUIObject (EnumField a b)

Methods

toGUIObject :: EnumField a b -> GUIOBJECT

cname :: EnumField a b -> String

cset :: GUIValue a => EnumField a b -> ConfigID -> a -> IO (EnumField a b)

cget :: GUIValue a => EnumField a b -> ConfigID -> IO a

HasEnable (EnumField a b)

Methods

state :: State -> Config (EnumField a b)

getState :: EnumField a b -> IO State

disable :: Config (EnumField a b)

enable :: Config (EnumField a b)

isEnabled :: EnumField a b -> IO Bool

HasFont (EnumField a b)

Methods

font :: FontDesignator f => f -> Config (EnumField a b)

getFont :: EnumField a b -> IO Font

HasBorder (EnumField a b)

Methods

borderwidth :: Distance -> Config (EnumField a b)

getBorderwidth :: EnumField a b -> IO Distance

relief :: Relief -> Config (EnumField a b)

getRelief :: EnumField a b -> IO Relief

HasSize (EnumField a b)

Methods

width :: Distance -> Config (EnumField a b)

getWidth :: EnumField a b -> IO Distance

height :: Distance -> Config (EnumField a b)

getHeight :: EnumField a b -> IO Distance

size :: Size -> Config (EnumField a b)

getSize :: EnumField a b -> IO Size

HasColour (EnumField a b)

Methods

legalColourID :: EnumField a b -> ConfigID -> Bool

setColour :: EnumField a b -> ConfigID -> Colour -> IO (EnumField a b)

getColour :: EnumField a b -> ConfigID -> IO Colour

Widget (EnumField a b)

Methods

cursor :: CursorDesignator ch => ch -> Config (EnumField a b)

getCursor :: EnumField a b -> IO Cursor

takeFocus :: Bool -> Config (EnumField a b)

getTakeFocus :: EnumField a b -> IO Bool

GUIValue c => HasText (EnumField a b) c

Methods

text :: c -> Config (EnumField a b)

getText :: EnumField a b -> IO c

newEnumField

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

The TextField datatype.

Instances

InputField TextField

Methods

selector :: GUIValue b => (a -> b) -> Config (TextField a b)

modifier :: GUIValue b => (a -> b -> a) -> Config (TextField a b)

Eq (TextField a b)

Methods

(==) :: TextField a b -> TextField a b -> Bool

(/=) :: TextField a b -> TextField a b -> Bool

Synchronized (TextField a b)

Methods

synchronize :: TextField a b -> IO b -> IO b

GUIObject (TextField a b)

Methods

toGUIObject :: TextField a b -> GUIOBJECT

cname :: TextField a b -> String

cset :: GUIValue a => TextField a b -> ConfigID -> a -> IO (TextField a b)

cget :: GUIValue a => TextField a b -> ConfigID -> IO a

HasEnable (TextField a b)

Methods

state :: State -> Config (TextField a b)

getState :: TextField a b -> IO State

disable :: Config (TextField a b)

enable :: Config (TextField a b)

isEnabled :: TextField a b -> IO Bool

HasFont (TextField a b)

Methods

font :: FontDesignator f => f -> Config (TextField a b)

getFont :: TextField a b -> IO Font

HasBorder (TextField a b)

Methods

borderwidth :: Distance -> Config (TextField a b)

getBorderwidth :: TextField a b -> IO Distance

relief :: Relief -> Config (TextField a b)

getRelief :: TextField a b -> IO Relief

HasSize (TextField a b)

Methods

width :: Distance -> Config (TextField a b)

getWidth :: TextField a b -> IO Distance

height :: Distance -> Config (TextField a b)

getHeight :: TextField a b -> IO Distance

size :: Size -> Config (TextField a b)

getSize :: TextField a b -> IO Size

HasColour (TextField a b)

Methods

legalColourID :: TextField a b -> ConfigID -> Bool

setColour :: TextField a b -> ConfigID -> Colour -> IO (TextField a b)

getColour :: TextField a b -> ConfigID -> IO Colour

(GUIValue b, GUIValue c) => HasText (TextField a b) c

Methods

text :: c -> Config (TextField a b)

getText :: TextField a b -> IO c

newTextField

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

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

data RecordField a b

Instances

InputField RecordField

Methods

selector :: GUIValue b => (a -> b) -> Config (RecordField a b)

modifier :: GUIValue b => (a -> b -> a) -> Config (RecordField a b)

Eq (RecordField a b)

Methods

(==) :: RecordField a b -> RecordField a b -> Bool

(/=) :: RecordField a b -> RecordField a b -> Bool

Synchronized (RecordField a b)

Methods

synchronize :: RecordField a b -> IO b -> IO b

GUIObject (RecordField a b)

Methods

toGUIObject :: RecordField a b -> GUIOBJECT

cname :: RecordField a b -> String

cset :: GUIValue a => RecordField a b -> ConfigID -> a -> IO (RecordField a b)

cget :: GUIValue a => RecordField a b -> ConfigID -> IO a

HasEnable (RecordField a b)

Methods

state :: State -> Config (RecordField a b)

getState :: RecordField a b -> IO State

disable :: Config (RecordField a b)

enable :: Config (RecordField a b)

isEnabled :: RecordField a b -> IO Bool

HasFont (RecordField a b)

Methods

font :: FontDesignator f => f -> Config (RecordField a b)

getFont :: RecordField a b -> IO Font

HasBorder (RecordField a b)

Methods

borderwidth :: Distance -> Config (RecordField a b)

getBorderwidth :: RecordField a b -> IO Distance

relief :: Relief -> Config (RecordField a b)

getRelief :: RecordField a b -> IO Relief

HasSize (RecordField a b)

Methods

width :: Distance -> Config (RecordField a b)

getWidth :: RecordField a b -> IO Distance

height :: Distance -> Config (RecordField a b)

getHeight :: RecordField a b -> IO Distance

size :: Size -> Config (RecordField a b)

getSize :: RecordField a b -> IO Size

HasColour (RecordField a b)

Methods

legalColourID :: RecordField a b -> ConfigID -> Bool

setColour :: RecordField a b -> ConfigID -> Colour -> IO (RecordField a b)

getColour :: RecordField a b -> ConfigID -> IO Colour

Widget (RecordField a b)

Methods

cursor :: CursorDesignator ch => ch -> Config (RecordField a b)

getCursor :: RecordField a b -> IO Cursor

takeFocus :: Bool -> Config (RecordField a b)

getTakeFocus :: RecordField a b -> IO Bool

GUIValue c => HasText (RecordField a b) c

Methods

text :: c -> Config (RecordField a b)

getText :: RecordField a b -> IO c

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

undefinedFormValue :: IOError