Graphics.UI.Threepenny.Editors.Profunctor

Editors

data Editor a

A widget for editing values of type a.

Constructors

Editor

Fields

• editorTidings :: Tidings a
• editorElement :: Element

Instances

Functor Editor

Methods

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

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

Widget (Editor a)

Methods

getElement :: Editor a -> Element

edited :: Editor a -> Event a

contents :: Editor a -> Behavior a

newtype EditorFactory a b

A function from Behavior a to Editor a

Constructors

EditorFactory

Fields

• run :: Behavior a -> Compose UI EditorDef b

Instances

Profunctor EditorFactory

Methods

dimap :: (a -> b) -> (c -> d) -> EditorFactory b c -> EditorFactory a d

lmap :: (a -> b) -> EditorFactory b c -> EditorFactory a c

rmap :: (b -> c) -> EditorFactory a b -> EditorFactory a c

(#.) :: Coercible * c b => (b -> c) -> EditorFactory a b -> EditorFactory a c

(.#) :: Coercible * b a => EditorFactory b c -> (a -> b) -> EditorFactory a c

Functor (EditorFactory a)

Methods

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

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

createEditor :: EditorFactory b a -> Behavior b -> UI (Editor a)

Create an editor to display the argument. User edits are fed back via the edited Event.

liftEditor :: (UI Element -> UI Element) -> EditorFactory a b -> EditorFactory a b

class Editable a where

The class of Editable datatypes. . Define your own instance by using the Applicative composition operators or derive it via SOP.

Methods

editor :: EditorFactory a a

editor :: (Generic a, HasDatatypeInfo a, All (All Editable `And` All Default) (Code a)) => EditorFactory a a

Instances

Editable Bool

Methods

editor :: EditorFactory Bool Bool

Editable Double

Methods

editor :: EditorFactory Double Double

Editable Int

Methods

editor :: EditorFactory Int Int

Editable ()

Methods

editor :: EditorFactory () ()

Editable String

Methods

editor :: EditorFactory String String

Editable (Maybe Double)

Methods

editor :: EditorFactory (Maybe Double) (Maybe Double)

Editable (Maybe Int)

Methods

editor :: EditorFactory (Maybe Int) (Maybe Int)

Editable a => Editable (Identity a)

Methods

editor :: EditorFactory (Identity a) (Identity a)

(Editable a, Editable b) => Editable (a, b)

Methods

editor :: EditorFactory (a, b) (a, b)

All * Editable xs => Editable (NP * I xs)

Tuple editor without fields

Methods

editor :: EditorFactory (NP * I xs) (NP * I xs)

Editor composition

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

Horizontal applicative composition.

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

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

(-*-) :: EditorFactory s (b -> a) -> EditorFactory s b -> EditorFactory s a infixl 4

Vertical applicative composition.

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

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

field :: String -> (out -> inn) -> EditorFactory inn a -> EditorFactory out a

A helper that arranges a label with the field name and the editor horizontally.

Editor constructors

editorUnit :: EditorFactory a ()

editorIdentity :: EditorFactory a a -> EditorFactory (Identity a) (Identity a)

editorReadShow :: (Read a, Show a) => EditorFactory (Maybe a) (Maybe a)

An editor that presents a free form input.

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

An editor that presents a choice of values.

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

An editor that presents a dynamic choice of values.

editorSum :: (Show tag, Ord tag) => [(tag, EditorFactory b b)] -> (b -> tag) -> EditorFactory b b

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

editorJust :: EditorFactory (Maybe a) (Maybe a) -> EditorFactory a a

Ignores Nothing values and only updates for Just values

Generic editors

editorGeneric :: forall a. (Generic a, HasDatatypeInfo a, All (All Editable `And` All Default) (Code a)) => EditorFactory a a

A generic editor for SOP types.

editorGenericSimple :: forall a xs. (Generic a, HasDatatypeInfo a, All Editable xs, Code a ~ '[xs]) => EditorFactory a a

A generic editor for record types.

Orphan instances

(Applicative f, All * Default xs) => Default (NP * f xs)

Methods

def :: NP * f xs