HTk.Toolkit.InputForm

the inputform

Documentation

data InputForm a

The InputForm datatype.

Constructors

InputForm Box (Ref (FormState a))

Instances

Eq (InputForm a)

Internal.

Synchronized (InputForm a)

GUIObject (InputForm a)

Internal.

HasEnable (InputForm a)

HasFont (InputForm a)

HasBorder (InputForm a)

HasSize (InputForm a)

HasColour (InputForm a)

Widget (InputForm a)

Container (InputForm a)

Variable (InputForm a) 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

Methods

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

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

Instances

InputField RecordField

InputField EnumField

InputField TextField

InputField CheckboxField

InputField NumEntryField

InputField EntryField

data FormState a

data EntryField a b

The EntryField datatype.

Instances

InputField EntryField

Eq (EntryField a b)

Synchronized (EntryField a b)

GUIObject (EntryField a b)

HasEnable (EntryField a b)

HasFont (EntryField a b)

HasBorder (EntryField a b)

HasSize (EntryField a b)

HasColour (EntryField a b)

Widget (EntryField a b)

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

GUIValue b => Variable (EntryField a b) b

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

Eq (NumEntryField a b)

Synchronized (NumEntryField a b)

GUIObject (NumEntryField a b)

HasEnable (NumEntryField a b)

HasFont (NumEntryField a b)

HasBorder (NumEntryField a b)

HasSize (NumEntryField a b)

HasColour (NumEntryField a b)

Widget (NumEntryField a b)

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

GUIValue b => Variable (NumEntryField a b) b

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

Eq (CheckboxField a b)

Synchronized (CheckboxField a b)

GUIObject (CheckboxField a b)

HasEnable (CheckboxField a b)

HasFont (CheckboxField a b)

HasBorder (CheckboxField a b)

HasSize (CheckboxField a b)

HasColour (CheckboxField a b)

Widget (CheckboxField a b)

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

GUIValue b => Variable (CheckboxField a b) b

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

Eq (EnumField a b)

Synchronized (EnumField a b)

GUIObject (EnumField a b)

HasEnable (EnumField a b)

HasFont (EnumField a b)

HasBorder (EnumField a b)

HasSize (EnumField a b)

HasColour (EnumField a b)

Widget (EnumField a b)

GUIValue c => HasText (EnumField a b) c

GUIValue b => Variable (EnumField a b) b

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

Eq (TextField a b)

Synchronized (TextField a b)

GUIObject (TextField a b)

HasEnable (TextField a b)

HasFont (TextField a b)

HasBorder (TextField a b)

HasSize (TextField a b)

HasColour (TextField a b)

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

GUIValue b => Variable (TextField a b) b

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

Eq (RecordField a b)

Synchronized (RecordField a b)

GUIObject (RecordField a b)

HasEnable (RecordField a b)

HasFont (RecordField a b)

HasBorder (RecordField a b)

HasSize (RecordField a b)

HasColour (RecordField a b)

Widget (RecordField a b)

GUIValue c => HasText (RecordField a b) c

GUIValue b => Variable (RecordField a b) b

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

undefinedFormValue :: IOError