Copyright	(C) 2020 Peter Lu
License	see the file LICENSE
Maintainer	pdlla <chippermonky@gmail.com>
Stability	experimental
Safe Haskell	None
Language	Haskell2010

Reflex.Data.List

Description

A dynamic list which are a set of input and output events that wrap an internal 'Dynamic [a]'. Just like haskell lists, DynamicList is probably not what you want. Perhaps you are looking for Sequence or Stack?

Synopsis

data DynamicList t a = DynamicList {
- _dynamicList_added :: Event t (Int, a)
- _dynamicList_removed :: Event t a
- _dynamicList_contents :: Dynamic t [a]
}
data DynamicListConfig t a = DynamicListConfig {
- _dynamicListConfig_add :: Event t (Int, a)
- _dynamicListConfig_remove :: Event t Int
- _dynamicListConfig_push :: Event t a
- _dynamicListConfig_pop :: Event t ()
- _dynamicListConfig_enqueue :: Event t a
- _dynamicListConfig_dequeue :: Event t ()
}
defaultDynamicListConfig :: Reflex t => DynamicListConfig t a
holdDynamicList :: forall t m a. (Reflex t, MonadHold t m, MonadFix m) => [a] -> DynamicListConfig t a -> m (DynamicList t a)

Documentation

data DynamicList t a Source #

Constructors

DynamicList
Fields _dynamicList_added :: Event t (Int, a) _dynamicList_removed :: Event t a _dynamicList_contents :: Dynamic t [a]

data DynamicListConfig t a Source #

Constructors

DynamicListConfig

Fields

_dynamicListConfig_add :: Event t (Int, a)
event to add an element at a given index
_dynamicListConfig_remove :: Event t Int
event to remove an element at given index
_dynamicListConfig_push :: Event t a
event to add an element to front of list
_dynamicListConfig_pop :: Event t ()
event to remove an element from front of list
_dynamicListConfig_enqueue :: Event t a
event to add an element to back of list
_dynamicListConfig_dequeue :: Event t ()
event to remove an element from back of list

defaultDynamicListConfig :: Reflex t => DynamicListConfig t a Source #

holdDynamicList Source #

Arguments

:: (Reflex t, MonadHold t m, MonadFix m)
=> [a]	initial value
-> DynamicListConfig t a
-> m (DynamicList t a)

create a dynamic list