Reflex.Dynamic

Synopsis

• data Dynamic t a
• current :: Dynamic t a -> Behavior t a
• updated :: Dynamic t a -> Event t a
• constDyn :: Reflex t => a -> Dynamic t a
• holdDyn :: MonadHold t m => a -> Event t a -> m (Dynamic t a)
• nubDyn :: (Reflex t, Eq a) => Dynamic t a -> Dynamic t a
• count :: (Reflex t, MonadHold t m, MonadFix m, Num b) => Event t a -> m (Dynamic t b)
• toggle :: (Reflex t, MonadHold t m, MonadFix m) => Bool -> Event t a -> m (Dynamic t Bool)
• switchPromptlyDyn :: forall t a. Reflex t => Dynamic t (Event t a) -> Event t a
• tagDyn :: Reflex t => Dynamic t a -> Event t b -> Event t a
• attachDyn :: Reflex t => Dynamic t a -> Event t b -> Event t (a, b)
• attachDynWith :: Reflex t => (a -> b -> c) -> Dynamic t a -> Event t b -> Event t c
• attachDynWithMaybe :: Reflex t => (a -> b -> Maybe c) -> Dynamic t a -> Event t b -> Event t c
• mapDyn :: (Reflex t, MonadHold t m) => (a -> b) -> Dynamic t a -> m (Dynamic t b)
• forDyn :: (Reflex t, MonadHold t m) => Dynamic t a -> (a -> b) -> m (Dynamic t b)
• mapDynM :: forall t m a b. (Reflex t, MonadHold t m) => (forall m'. MonadSample t m' => a -> m' b) -> Dynamic t a -> m (Dynamic t b)
• foldDyn :: (Reflex t, MonadHold t m, MonadFix m) => (a -> b -> b) -> b -> Event t a -> m (Dynamic t b)
• foldDynM :: (Reflex t, MonadHold t m, MonadFix m) => (a -> b -> PushM t b) -> b -> Event t a -> m (Dynamic t b)
• combineDyn :: forall t m a b c. (Reflex t, MonadHold t m) => (a -> b -> c) -> Dynamic t a -> Dynamic t b -> m (Dynamic t c)
• collectDyn :: (RebuildSortedHList (HListElems b), IsHList a, IsHList b, AllAreFunctors (Dynamic t) (HListElems b), Reflex t, MonadHold t m, HListElems a ~ FunctorList (Dynamic t) (HListElems b)) => a -> m (Dynamic t b)
• mconcatDyn :: forall t m a. (Reflex t, MonadHold t m, Monoid a) => [Dynamic t a] -> m (Dynamic t a)
• distributeDMapOverDyn :: forall t m k. (Reflex t, MonadHold t m, GCompare k) => DMap (WrapArg (Dynamic t) k) -> m (Dynamic t (DMap k))
• joinDyn :: forall t a. Reflex t => Dynamic t (Dynamic t a) -> Dynamic t a
• joinDynThroughMap :: forall t k a. (Reflex t, Ord k) => Dynamic t (Map k (Dynamic t a)) -> Dynamic t (Map k a)
• traceDyn :: (Reflex t, Show a) => String -> Dynamic t a -> Dynamic t a
• traceDynWith :: Reflex t => (a -> String) -> Dynamic t a -> Dynamic t a
• splitDyn :: (Reflex t, MonadHold t m) => Dynamic t (a, b) -> m (Dynamic t a, Dynamic t b)
• data Demux t k
• demux :: (Reflex t, Ord k) => Dynamic t k -> Demux t k
• getDemuxed :: (Reflex t, MonadHold t m, Eq k) => Demux t k -> k -> m (Dynamic t Bool)
• data HList l where
  • HNil :: HList []
  • HCons :: e -> HList l -> HList (e : l)
• data FHList f l where
  • FHNil :: FHList f []
  • FHCons :: f e -> FHList f l -> FHList f (e : l)
• distributeFHListOverDyn :: forall t m l. (Reflex t, MonadHold t m, RebuildSortedHList l) => FHList (Dynamic t) l -> m (Dynamic t (HList l))
• unsafeDynamic :: Behavior t a -> Event t a -> Dynamic t a

Documentation