Graphics.UI.Threepenny.Editors.Types

GenericWidgets

data GenericWidget control a

Constructors

GenericWidget

Fields

• widgetTidings :: Tidings a

  The dynamic contents of the widget.

• widgetControl :: control

  The actual widget.

Instances

Bifunctor GenericWidget

Methods

bimap :: (a -> b) -> (c -> d) -> GenericWidget a c -> GenericWidget b d

first :: (a -> b) -> GenericWidget a c -> GenericWidget b c

second :: (b -> c) -> GenericWidget a b -> GenericWidget a c

Functor (GenericWidget control)

Methods

fmap :: (a -> b) -> GenericWidget control a -> GenericWidget control b

(<$) :: a -> GenericWidget control b -> GenericWidget control a

Widget el => Widget (GenericWidget el a)

Methods

getElement :: GenericWidget el a -> Element

Renderable el => Renderable (GenericWidget el a)

Methods

render :: GenericWidget el a -> UI Element

getLayout :: GenericWidget el a -> Layout

edited :: GenericWidget el a -> Event a

contents :: GenericWidget el a -> Behavior a

Editors

newtype Editor outer widget inner

An editor for values of type inner inside a datatype outer realized by a widget.

All the three type arguments are functorial, but outer is contravariant, so Editor is a Biapplicative functor and a Profunctor (via dimapE).

Biapplicative allows to compose editors on both their widget and inner structure. When widget is monoidal, widget composition is implicit and Applicative suffices.

Profunctor allows to apply an inner editor to an outer datatype.

Once created, an Editor yields a tuple of an widget and a Tidings inner which can be integrated in a threepenny app.

Constructors

Editor

Fields

• create :: Behavior outer -> UI (GenericWidget widget inner)

Instances

Bifunctor (Editor a)

Methods

bimap :: (a -> b) -> (c -> d) -> Editor a a c -> Editor a b d

first :: (a -> b) -> Editor a a c -> Editor a b c

second :: (b -> c) -> Editor a a b -> Editor a a c

Biapplicative (Editor a)

Methods

bipure :: a -> b -> Editor a a b

(<<*>>) :: Editor a (a -> b) (c -> d) -> Editor a a c -> Editor a b d

(*>>) :: Editor a a b -> Editor a c d -> Editor a c d

(<<*) :: Editor a a b -> Editor a c d -> Editor a a b

Functor (Editor a el)

Methods

fmap :: (a -> b) -> Editor a el a -> Editor a el b

(<$) :: a -> Editor a el b -> Editor a el a

Monoid el => Applicative (Editor a el)

Methods

pure :: a -> Editor a el a

(<*>) :: Editor a el (a -> b) -> Editor a el a -> Editor a el b

(*>) :: Editor a el a -> Editor a el b -> Editor a el b

(<*) :: Editor a el a -> Editor a el b -> Editor a el a

liftElement :: UI el -> Editor a el ()

Lift an HTML element into a vacuous editor.

dimapE :: (a' -> a) -> (b -> b') -> Editor a el b -> Editor a' el b'

applyE :: (el1 -> el2 -> el) -> Editor in_ el1 (a -> b) -> Editor in_ el2 a -> Editor in_ el b

Editor composition

(|*|) :: Editor s Layout (b -> a) -> Editor s Layout b -> Editor s Layout a infixl 4

Left-right editor composition

(|*) :: Editor s Layout a -> UI Element -> Editor s Layout a infixl 5

Left-right composition of an element with a editor

(*|) :: UI Element -> Editor s Layout a -> Editor s Layout a infixl 5

Left-right composition of an element with a editor

(-*-) :: Editor s Layout (b -> a) -> Editor s Layout b -> Editor s Layout a infixl 4

Left-right editor composition

(-*) :: Editor s Layout a -> UI Element -> Editor s Layout a infixl 5

Left-right composition of an element with a editor

(*-) :: UI Element -> Editor s Layout a -> Editor s Layout a infixl 5

Left-right composition of an element with a editor

field :: Renderable m => String -> (out -> inn) -> Editor inn m a -> Editor out Layout a

A helper that arranges a label and an editor horizontally.

fieldLayout :: (Renderable m, Renderable m') => (Layout -> m') -> String -> (out -> inn) -> Editor inn m a -> Editor out m' a

A helper that arranges a label and an editor horizontally, wrapped in the given monoidal layout builder.

Editor constructors

editorUnit :: Editor b Element b

editorIdentity :: Editor a el a -> Editor (Identity a) el (Identity a)

editorString :: Editor String TextEntry String

editorCheckBox :: Editor Bool Element Bool

editorReadShow :: (Read a, Show a) => Editor (Maybe a) TextEntry (Maybe a)

editorEnumBounded :: (Bounded a, Enum a, Ord a, Show a) => Behavior (a -> UI Element) -> Editor (Maybe a) (ListBox a) (Maybe a)

editorSelection :: Ord a => Behavior [a] -> Behavior (a -> UI Element) -> Editor (Maybe a) (ListBox a) (Maybe a)

An editor that presents a dynamic choice of values.

editorSum :: (Ord tag, Show tag, Renderable el) => (Layout -> Layout -> Layout) -> [(tag, Editor a el a)] -> (a -> tag) -> Editor a Layout a

An editor for union types, built from editors for its constructors.

editorJust :: Editor (Maybe b) el (Maybe b) -> Editor b el b

Ignores Nothing values and only updates for Just values