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

Methods

fmap :: (a -> b) -> Form a -> Form b

(<$) :: a -> Form b -> Form a

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) infixr 8

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

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

Minimal complete definition

makeFormEntry

Methods

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

Instances

FormValue Bool

Methods

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

FormValue ()

Methods

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

FormTextFieldIO value => FormValue value

Methods

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

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

Methods

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

FormTextFieldIO value => FormValue (Password value)

Methods

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

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

class FormTextField value where

Minimal complete definition

makeFormString, readFormString

Methods

makeFormString :: value -> String

readFormString :: String -> WithError value

Instances

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

Methods

makeFormString :: a -> String

readFormString :: String -> WithError a

FormTextField String

Methods

makeFormString :: String -> String

readFormString :: String -> WithError String

class FormTextFieldIO value where

Minimal complete definition

makeFormStringIO, readFormStringIO

Methods

makeFormStringIO :: value -> IO String

readFormStringIO :: String -> IO (WithError value)

Instances

FormTextField value => FormTextFieldIO value

Methods

makeFormStringIO :: value -> IO String

readFormStringIO :: String -> IO (WithError value)

FormTextFieldIO value => FormTextFieldIO (Maybe value)

Methods

makeFormStringIO :: Maybe value -> IO String

readFormStringIO :: String -> IO (WithError (Maybe value))

newtype Password value

Constructors

Password value

Instances

FormTextFieldIO value => FormValue (Password value)

Methods

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

class FormLabel label where

Minimal complete definition

formLabel

Methods

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

Instances

FormLabel String

Methods

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

FormLabel Image

Methods

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

FormLabel EmptyLabel

Methods

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

FormLabel WrappedFormLabel

Methods

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

data EmptyLabel

Constructors

EmptyLabel

Instances

FormLabel EmptyLabel

Methods

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

data WrappedFormLabel

Constructors

FormLabel label => WrappedFormLabel label

Instances

FormLabel WrappedFormLabel

Methods

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

data Radio x

Constructors

Radio x

NoRadio

Instances

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

Methods

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

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

Methods

writeBin :: WriteBinary m -> Radio x -> m ()

readBin :: ReadBinary m -> m (Radio x)

class HasConfigRadioButton value where

Minimal complete definition

configRadioButton

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.