Reflex.Dynamic

Documentation

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

Switches to the new event whenever it receives one. Switching occurs *before* occurring the inner event.

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

Constructors

HNil :: HList []

HCons :: e -> HList l -> HList (e : l) infixr 2

data FHList f l where

Constructors

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