Reflex.Contrib.Interfaces

Documentation

data ReflexMap t k v

A reflex interface to maps that allows inserting and deleting multiple items at a time.

Constructors

ReflexMap

Fields

rmInitialItems :: Map k v

rmInsertItems :: Event t [(k, v)]

We use a list of key-value pairs here because order is important

rmDeleteItems :: Event t (Set k)

data ReflexList t v

A reflex interface to lists. It has a pure list of initial items, an event for inserting multiple items, and an event for deleting multiple items.

Constructors

ReflexList

Fields

rlInitialItems :: [v]

rlInsertItems :: Event t [v]

rlDeleteItems :: Event t [v]

rlist2rmap :: (Reflex t, Eq v) => ReflexList t v -> Dynamic t (Map Int v) -> ReflexMap t Int v

Converts a ReflexList to a ReflexMap with integer keys.

toReflexMap :: (Reflex t, MonadFix m, MonadHold t m, Eq a) => ReflexList t a -> (ReflexMap t Int a -> m (Dynamic t (Map Int a))) -> m (Dynamic t [a])

Converts a ReflexList to a Dynamic list.

rmDeleteFunc :: Ord k => Set k -> Map k v -> Map k v

Takes a set of keys and returns a function that deletes these keys from a map.