front-0.0.0.2: A reactive frontend web framework

Safe HaskellSafe
LanguageHaskell2010

Bridge

Synopsis

Documentation

data EventHandler a Source #

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

Instances
Functor EventHandler Source # 
Instance details

Defined in Bridge

Methods

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

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

Data a => Data (EventHandler a) Source # 
Instance details

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 Source #

Constructors

PingPong 
Send (Action a) 
AskEvents 
Instances
Data a => Data (In a) Source # 
Instance details

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 Source #

Instances
Data a => Data (Out a) Source # 
Instance details

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 Source #

Constructors

ExecuteAll 
ExecuteExcept 
Instances
Eq ExecuteStrategy Source # 
Instance details

Defined in Bridge

Data ExecuteStrategy Source # 
Instance details

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 Source #

Instances
Data a => Data (ClientTask a) Source # 
Instance details

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 Source #

Instances
Data RenderHtml Source # 
Instance details

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 Source #

Constructors

CallbackAction (EventHandler a) 
Instances
Data a => Data (CallbackAction a) Source # 
Instance details

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) Source # 
Instance details

Defined in Bridge

data Action a Source #

Constructors

Action ElementId ActionType a 
Instances
Data a => Data (Action a) Source # 
Instance details

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) Source # 
Instance details

Defined in Bridge

Methods

showsPrec :: Int -> Action a -> ShowS #

show :: Action a -> String #

showList :: [Action a] -> ShowS #

data ActionType Source #

Constructors

RecordAction 
ObjectAction 
Instances
Data ActionType Source # 
Instance details

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 Source # 
Instance details

Defined in Bridge

ppIncomingCommand :: In a -> Text Source #

Pretty-printer for command expected from Client.