FRP.Event.VBus

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

Members

• vb :: Proxy ri -> Proxy p -> Proxy e -> V u

Instances

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

unsafeMarkAsVbus :: forall a. a -> a

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'' i, VBus rest p' e' u', Cons key (V i) u' u, Lacks key p', Lacks key e', Lacks key u') => VBus (Cons key (V i) rest) p e u

data S

unsafeDestroyS :: forall m. S -> m Unit

unsafePE :: forall m u p e. V u -> m { e :: Record e, p :: Record p, s :: S }

vbus :: forall proxy ri i s m p e o u. RowToList i ri => MonadST s m => VBus ri p e u => proxy (V i) -> (Record p -> Record e -> o) -> AnEvent m o