Bridge

Documentation

data EventHandler a

One specific and incomplete specifications of event-handlers geared towards their use with JS.

Constructors

OnKeyDown !a

OnKeyUp !a

OnKeyPress !a

OnFocus !a

OnBlur !a

OnValueChange !a

OnCheckedChange !a

OnSelectedChange !a

OnSubmit !a

OnClick !a

OnDoubleClick !a

OnMouseDown !a

OnMouseUp !a

OnMouseMove !a

OnMouseEnter !a

OnMouseLeave !a

OnMouseOver !a

OnMouseOut !a

OnScroll !a

OnWheel !a

Instances

Functor EventHandler

Defined in Bridge

Methods

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

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

Data a => Data (EventHandler a)

Defined in Bridge

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> EventHandler a -> c (EventHandler a)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (EventHandler a)

toConstr :: EventHandler a -> Constr

dataTypeOf :: EventHandler a -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (EventHandler a))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (EventHandler a))

gmapT :: (forall b. Data b => b -> b) -> EventHandler a -> EventHandler a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> EventHandler a -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> EventHandler a -> r

gmapQ :: (forall d. Data d => d -> u) -> EventHandler a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> EventHandler a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> EventHandler a -> m (EventHandler a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> EventHandler a -> m (EventHandler a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> EventHandler a -> m (EventHandler a)

data In a

Constructors

PingPong

Send (Action a)

AskEvents

Instances

Data a => Data (In a)

Defined in Bridge

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> In a -> c (In a)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (In a)

toConstr :: In a -> Constr

dataTypeOf :: In a -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (In a))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (In a))

gmapT :: (forall b. Data b => b -> b) -> In a -> In a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> In a -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> In a -> r

gmapQ :: (forall d. Data d => d -> u) -> In a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> In a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> In a -> m (In a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> In a -> m (In a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> In a -> m (In a)

data Out a

Constructors

EmptyCmd

ExecuteClient ClientId (ClientTask a) ExecuteStrategy

Instances

Data a => Data (Out a)

Defined in Bridge

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Out a -> c (Out a)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Out a)

toConstr :: Out a -> Constr

dataTypeOf :: Out a -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Out a))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Out a))

gmapT :: (forall b. Data b => b -> b) -> Out a -> Out a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Out a -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Out a -> r

gmapQ :: (forall d. Data d => d -> u) -> Out a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Out a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Out a -> m (Out a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Out a -> m (Out a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Out a -> m (Out a)

data ExecuteStrategy

Constructors

ExecuteAll

ExecuteExcept

Instances

Eq ExecuteStrategy

Defined in Bridge

Methods

(==) :: ExecuteStrategy -> ExecuteStrategy -> Bool

(/=) :: ExecuteStrategy -> ExecuteStrategy -> Bool

Data ExecuteStrategy

Defined in Bridge

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ExecuteStrategy -> c ExecuteStrategy

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ExecuteStrategy

toConstr :: ExecuteStrategy -> Constr

dataTypeOf :: ExecuteStrategy -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ExecuteStrategy)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ExecuteStrategy)

gmapT :: (forall b. Data b => b -> b) -> ExecuteStrategy -> ExecuteStrategy

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ExecuteStrategy -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ExecuteStrategy -> r

gmapQ :: (forall d. Data d => d -> u) -> ExecuteStrategy -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ExecuteStrategy -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ExecuteStrategy -> m ExecuteStrategy

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ExecuteStrategy -> m ExecuteStrategy

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ExecuteStrategy -> m ExecuteStrategy

data ClientTask a

Constructors

ClientTask

Fields

• executeRenderHtml :: [RenderHtml]
• executeAction :: [CallbackAction a]

Instances

Data a => Data (ClientTask a)

Defined in Bridge

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ClientTask a -> c (ClientTask a)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (ClientTask a)

toConstr :: ClientTask a -> Constr

dataTypeOf :: ClientTask a -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (ClientTask a))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (ClientTask a))

gmapT :: (forall b. Data b => b -> b) -> ClientTask a -> ClientTask a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ClientTask a -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ClientTask a -> r

gmapQ :: (forall d. Data d => d -> u) -> ClientTask a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ClientTask a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ClientTask a -> m (ClientTask a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ClientTask a -> m (ClientTask a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ClientTask a -> m (ClientTask a)

data RenderHtml

Constructors

AttachText ElementId HtmlText

AttachDOM ElementId HtmlText

Instances

Data RenderHtml

Defined in Bridge

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RenderHtml -> c RenderHtml

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c RenderHtml

toConstr :: RenderHtml -> Constr

dataTypeOf :: RenderHtml -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c RenderHtml)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RenderHtml)

gmapT :: (forall b. Data b => b -> b) -> RenderHtml -> RenderHtml

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RenderHtml -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RenderHtml -> r

gmapQ :: (forall d. Data d => d -> u) -> RenderHtml -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> RenderHtml -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> RenderHtml -> m RenderHtml

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RenderHtml -> m RenderHtml

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RenderHtml -> m RenderHtml

data CallbackAction a

Constructors

CallbackAction (EventHandler a)

Instances

Data a => Data (CallbackAction a)

Defined in Bridge

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CallbackAction a -> c (CallbackAction a)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (CallbackAction a)

toConstr :: CallbackAction a -> Constr

dataTypeOf :: CallbackAction a -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (CallbackAction a))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (CallbackAction a))

gmapT :: (forall b. Data b => b -> b) -> CallbackAction a -> CallbackAction a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CallbackAction a -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CallbackAction a -> r

gmapQ :: (forall d. Data d => d -> u) -> CallbackAction a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> CallbackAction a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> CallbackAction a -> m (CallbackAction a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CallbackAction a -> m (CallbackAction a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CallbackAction a -> m (CallbackAction a)

Show a => Show (CallbackAction a)

Defined in Bridge

Methods

showsPrec :: Int -> CallbackAction a -> ShowS

show :: CallbackAction a -> String

showList :: [CallbackAction a] -> ShowS

data Action a

Constructors

Action ElementId ActionType a

Instances

Data a => Data (Action a)

Defined in Bridge

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Action a -> c (Action a)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Action a)

toConstr :: Action a -> Constr

dataTypeOf :: Action a -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Action a))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Action a))

gmapT :: (forall b. Data b => b -> b) -> Action a -> Action a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Action a -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Action a -> r

gmapQ :: (forall d. Data d => d -> u) -> Action a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Action a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Action a -> m (Action a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Action a -> m (Action a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Action a -> m (Action a)

Show a => Show (Action a)

Defined in Bridge

Methods

showsPrec :: Int -> Action a -> ShowS

show :: Action a -> String

showList :: [Action a] -> ShowS

data ActionType

Constructors

RecordAction

ObjectAction

Instances

Data ActionType

Defined in Bridge

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ActionType -> c ActionType

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ActionType

toConstr :: ActionType -> Constr

dataTypeOf :: ActionType -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ActionType)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ActionType)

gmapT :: (forall b. Data b => b -> b) -> ActionType -> ActionType

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ActionType -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ActionType -> r

gmapQ :: (forall d. Data d => d -> u) -> ActionType -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ActionType -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ActionType -> m ActionType

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ActionType -> m ActionType

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ActionType -> m ActionType

Show ActionType

Defined in Bridge

Methods

showsPrec :: Int -> ActionType -> ShowS

show :: ActionType -> String

showList :: [ActionType] -> ShowS

type ElementId = Text

type HtmlText = Text

type ObjectId = Int

type AttrId = Int

type ClientId = Int

type RowNumber = Int

type RecordValue = Text

ppIncomingCommand :: In a -> Text

Pretty-printer for command expected from Client.