FRP.Event.VBus

data V :: Row Type -> Typedata V (bus :: Row Type)

Instances

• (IsSymbol key, RowToList i irl, Cons key (Record p'') p' p, Cons key (Record e'') e' e, VBus irl p'' e'', VBus rest p' e', Lacks key p', Lacks key e') => VBus (Cons key (V i) rest) p e

vbus :: VbusT

class VBus :: RowList Type -> Row Type -> Row Type -> Constraintclass VBus ri p e | ri -> p e where

Members

• vb :: Proxy ri -> ST Global ((Record p) /\ (Record e))

Instances

• VBus Nil () ()
• (IsSymbol key, RowToList i irl, Cons key (Record p'') p' p, Cons key (Record e'') e' e, VBus irl p'' e'', VBus rest p' e', Lacks key p', Lacks key e') => VBus (Cons key (V i) rest) p e
• (IsSymbol key, Cons key (z -> Effect Unit) p' p, Cons key (Event z) e' e, VBus rest p' e', Lacks key p', Lacks key e') => VBus (Cons key z rest) p e

type VbusT = forall proxy ri i p e o. RowToList i ri => VBus ri p e => proxy (V i) -> (Record p -> Record e -> o) -> Event o

newtype Vbus

Constructors

• Vbus VbusT

vbackdoor :: VBackdoor

type VBackdoor = { vbus :: Vbus }