HTk.Toolkit.SimpleForm

This module defines SimpleForms, a simple interface to filling in forms using HTk. (Indeed, it is simple enough that it might be ported to some other GUI sometime.)

Documentation

data Form value

Instances

Functor Form

newFormEntry :: (FormLabel label, FormValue value) => label -> value -> Form value

emptyForm :: Form ()

nullForm :: FormLabel label => label -> Form ()

newFormMenu :: FormLabel label => label -> HTkMenu value -> Form (Maybe value)

newFormOptionMenu :: GUIValue a => [a] -> Form a

newFormOptionMenu2 :: (Eq a, GUIValue a) => [(a, b)] -> Form b

(//) :: Form value1 -> Form value2 -> Form (value1, value2)

(\\) :: Form x -> Form y -> Form (x, y)

column :: [Form value] -> Form [value]

row :: [Form value] -> Form [value]

doForm :: String -> Form value -> IO (Maybe value)

doFormMust :: String -> Form value -> IO value

doFormList :: String -> [(Form x, String)] -> IO (Event (WithError x), IO ())

mapForm :: (x -> WithError y) -> Form x -> Form y

mapFormIO :: (x -> IO (WithError y)) -> Form x -> Form y

guardForm :: (x -> Bool) -> String -> Form x -> Form x

guardFormIO :: (x -> IO Bool) -> String -> Form x -> Form x

guardNothing :: String -> Form (Maybe x) -> Form x

class FormValue value where

Methods

makeFormEntry :: Frame -> value -> IO (EnteredForm value)

Instances

FormValue Bool

FormValue ()

FormTextFieldIO value => FormValue value

(HasConfigRadioButton value, Bounded value, Enum value) => FormValue (Radio value)

FormTextFieldIO value => FormValue (Password value)

mapMakeFormEntry :: FormValue value2 => (value1 -> value2) -> (value2 -> value1) -> Frame -> value1 -> IO (EnteredForm value1)

class FormTextField value where

Methods

makeFormString :: value -> String

readFormString :: String -> WithError value

Instances

FormTextField String

(Num a, Show a, Read a) => FormTextField a

class FormTextFieldIO value where

Methods

makeFormStringIO :: value -> IO String

readFormStringIO :: String -> IO (WithError value)

Instances

FormTextField value => FormTextFieldIO value

FormTextFieldIO value => FormTextFieldIO (Maybe value)

newtype Password value

Constructors

Password value

Instances

FormTextFieldIO value => FormValue (Password value)

class FormLabel label where

Methods

formLabel :: Frame -> label -> IO (IO ())

Instances

FormLabel String

FormLabel Image

FormLabel EmptyLabel

FormLabel WrappedFormLabel

data EmptyLabel

Constructors

EmptyLabel

Instances

FormLabel EmptyLabel

data WrappedFormLabel

Constructors

forall label . FormLabel label => WrappedFormLabel label

Instances

FormLabel WrappedFormLabel

data Radio x

Constructors

Radio x

NoRadio

Instances

Typeable1 Radio

(HasConfigRadioButton value, Bounded value, Enum value) => FormValue (Radio value)

(Monad m, HasBinary x m) => HasBinary (Radio x) m

class HasConfigRadioButton value where

Methods

configRadioButton :: value -> Config (RadioButton Int)

editableTextForm :: [Config Editor] -> Form String

An editable text window as a form entry Useful config options: (value String) to set initial contents (height i), (width i) to set the height and width in characters. (background s) to set the background colour to s.

editableTextForm0 :: [Config Editor] -> Form String

Like editableTextForm but no scrollbars are displayed.