Graphics.UI.WxGeneric

Turning datatypes into widgets

genericWidget :: WxGen a => Window w -> a -> IO (GenWid a)

Creates a widget from any type that implements WxGen.

genericWidgetEx :: WxGen a => (GenWidParameters -> GenWidParameters) -> (Outer a -> Outer a) -> Window w -> a -> IO (GenWid a)

Creates a widget from any type that implements WxGen.

modalValuedDialog

Arguments

:: WxGen a

=> Window w

-> String

Dialog title

-> String

Text at ok-button

-> a

Initial value

-> IO (Maybe a)

Returns Just x if the user presses the ok-button. Otherwise Nothing is returned.

Creates a modal dialog containing the x value, an ok-buuton and a cancel-button.

Outer type

data Outer a

Constructors

Outer PriLabel (Either (GenWidIO a) (String -> GenWidIO a))

Instances

OuterWidget Outer

MapValue Outer

toOuter :: forall a. WxGen a => GenWidIO a -> Outer a

Creates an Outer type. The encapsulated widget is labelless.

withLabel :: forall a. WxGen a => (String -> GenWidIO a) -> Outer a

Creates an Outer type. The encapsulated widget has a label.

fromOuter :: Parms w -> Outer a -> IO (GenWid a)

Unpacks an Outer type and returns the encapsulated GenWid.

getUnlabeld :: Outer a -> Maybe String

Returns label if the widget do not show it itself

setOuterLabel :: PriLabel -> Outer a -> Outer a

Sets the label on an Outer type.

replacePoorConstrLabel :: String -> Outer a -> Outer a

Generic class (WxGen) and making instancs of WxGen

class Data WxGenD a => WxGen a where

Methods

mkWid :: a -> Outer a

generateLabel :: a -> PriLabel

Instances

WxGen Char

WxGen Double

WxGen Float

WxGen Int

WxGen Integer

WxGen ()

(WxGen a, Show a) => WxGen [a]

WxGen a => WxGen (Maybe a)

(WxGen a, WxGen b) => WxGen (Either a b)

(WxGen a, WxGen b) => WxGen (a, b)

(WxGen a, WxGen b, WxGen c) => WxGen (a, b, c)

data WxGenD a

The dictionary type for the WxEcCreator class

Constructors

WxGenD

Fields

mkWidD :: a -> Outer a

Instances

WxGen a => Sat (WxGenD a)

Instantiation of the Sat class

wxGenCtx :: Proxy WxGenD

The context for generic autoform

singleConstr :: WxGen a => Bool -> a -> Outer a

Creates an Outer type for a type with a single constructor.

polyConstr :: forall a. (WxGen a, Data WxGenD a) => a -> Outer a

Creates an Outer type for a type with more than one constructor.

extOuter :: (Typeable a, Typeable b) => (a -> Outer a) -> (b -> Outer b) -> a -> Outer a

Makes it possible to choose between competing instances without allowing overlapping instances.

module Graphics.UI.WxGeneric.GenericWidget

module Graphics.UI.WxGeneric.Composite

module Graphics.UI.WxGeneric.Layout