list package:reflex

list :: (Ord k, Adjustable t m, MonadHold t m, PostBuild t m, MonadFix m, Eq v) => Dynamic t (Map k v) -> (Dynamic t v -> m a) -> m (Dynamic t (Map k a))

reflex Reflex.Collection

Create a dynamically-changing set of widgets from a Dynamic key/value map. Unlike the withKey variants, the child widgets are insensitive to which key they're associated with.

listHoldWithKey :: forall t m k v a . (Ord k, Adjustable t m, MonadHold t m) => Map k v -> Event t (Map k (Maybe v)) -> (k -> v -> m a) -> m (Dynamic t (Map k a))

reflex Reflex.Collection

Create a set of widgets based on the provided Map. When the input Event fires, remove widgets for keys with the value Nothing and add/replace widgets for keys with Just values.

listViewWithKey :: (Ord k, Adjustable t m, PostBuild t m, MonadHold t m, MonadFix m, Eq v) => Dynamic t (Map k v) -> (k -> Dynamic t v -> m (Event t a)) -> m (Event t (Map k a))

reflex Reflex.Collection

Create a dynamically-changing set of Event-valued widgets. This is like listWithKey, specialized for widgets returning Event t a. listWithKey would return Dynamic t (Map k (Event t a)) in this scenario, but listViewWithKey flattens this to Event t (Map k a) via switch.

listWithKey :: forall t k v m a . (Ord k, Adjustable t m, PostBuild t m, MonadFix m, MonadHold t m, Eq v) => Dynamic t (Map k v) -> (k -> Dynamic t v -> m a) -> m (Dynamic t (Map k a))

reflex Reflex.Collection

listWithKeyShallowDiff :: (Ord k, Adjustable t m, MonadFix m, MonadHold t m) => Map k v -> Event t (Map k (Maybe v)) -> (k -> v -> Event t v -> m a) -> m (Dynamic t (Map k a))

reflex Reflex.Collection

Display the given map of items (in key order) using the builder function provided, and update it with the given event. Nothing update entries will delete the corresponding children, and Just entries will create them if they do not exist or send an update event to them if they do.

listsToForest :: Eq a => [[a]] -> Forest a

reflex Reflex.Spider.Internal

toList :: FastMutableIntMap a -> IO [(Int, a)]

reflex Data.FastMutableIntMap

selectViewListWithKey :: (Adjustable t m, Ord k, PostBuild t m, MonadHold t m, MonadFix m, Eq v) => Dynamic t k -> Dynamic t (Map k v) -> (k -> Dynamic t v -> Dynamic t Bool -> m (Event t a)) -> m (Event t (k, a))

reflex Reflex.Collection

Create a dynamically-changing set of widgets, one of which is selected at any time.

selectViewListWithKey_ :: (Adjustable t m, Ord k, PostBuild t m, MonadHold t m, MonadFix m, Eq v) => Dynamic t k -> Dynamic t (Map k v) -> (k -> Dynamic t v -> Dynamic t Bool -> m (Event t a)) -> m (Event t k)

reflex Reflex.Collection

Like selectViewListWithKey but discards the value of the list item widget's output Event.

simpleList :: (Adjustable t m, MonadHold t m, PostBuild t m, MonadFix m, Eq v) => Dynamic t [v] -> (Dynamic t v -> m a) -> m (Dynamic t [a])

reflex Reflex.Collection

Create a dynamically-changing set of widgets from a Dynamic list.

data FHList (f :: k -> Type) (l :: [k])

reflex Reflex.Dynamic

Like HList, but with a functor wrapping each element.

data HList (l :: [Type])

reflex Reflex.Dynamic

A heterogeneous list whose type and length are fixed statically. This is reproduced from the HList package due to integration issues, and because very little other functionality from that library is needed.

data HListPtr (l :: [k]) (a :: k)

reflex Reflex.Dynamic

A typed index into a typed heterogeneous list.

class IsHList a

reflex Reflex.Dynamic

Poor man's Generics for product types only.

class RebuildSortedHList (l :: [Type])

reflex Reflex.Dynamic

This class allows HLists and FHlists to be built from regular lists; they must be contiguous and sorted.

fromFHList :: AllAreFunctors f l => FHList f l -> HList (FunctorList f l)

reflex Reflex.Dynamic

fromHList :: IsHList a => HList (HListElems a) -> a