Specular.FRP.Fix

fixDyn :: forall m a b. MonadFRP m => (WeakDynamic a -> m (Tuple (Dynamic a) b)) -> m b

fixEvent :: forall m a b. MonadFRP m => (Event a -> m (Tuple (Event a) b)) -> m b

class FixFRP input output | output -> input, input -> output where

Members

• fixFRP :: forall m b. MonadFRP m => (input -> m (Tuple output b)) -> m b

Instances

• FixFRP (Event a) (Event a)
• FixFRP (WeakDynamic a) (Dynamic a)
• (FixFRPRecord ro_list ri ro, RowToList ro ro_list) => FixFRP (Record ri) (Record ro)

fixFRP_ :: forall input output m. FixFRP input output => MonadFRP m => (input -> m output) -> m Unit

class FixFRPRecord :: RowList Type -> Row Type -> Row Type -> Constraintclass FixFRPRecord (ro_list :: RowList Type) (ri :: Row Type) (ro :: Row Type) | ro_list -> ri ro where

Members

• fixRecord :: forall m b. MonadFRP m => Proxy ro_list -> (Record ri -> m (Tuple (Record ro) b)) -> m b

Instances

• (TypeEquals (Record ()) (Record empty)) => FixFRPRecord Nil empty empty
• (IsSymbol label, Lacks label tail_ri, Cons label input tail_ri ri, Lacks label tail_ro, Cons label output tail_ro ro, FixFRP input output, FixFRPRecord tail_ro_list tail_ri tail_ro) => FixFRPRecord (Cons label output tail_ro_list) ri ro