| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Reflex.Dom.Contrib.Widgets.CheckboxList
- checkboxList :: forall t m a. (MonadWidget t m, Ord a, Show a) => (a -> String) -> (String -> a -> Bool) -> Event t Bool -> Dynamic t String -> Set a -> [a] -> m (HtmlWidget t [a])
- checkboxListView :: forall t m a b. (MonadWidget t m, Ord a, Show a) => (a -> String) -> (String -> a -> Bool) -> (a -> Bool -> b) -> Event t Bool -> Dynamic t String -> Set a -> [a] -> m (Event t b)
Documentation
Arguments
| :: (MonadWidget t m, Ord a, Show a) | |
| => (a -> String) | Function to show each item |
| -> (String -> a -> Bool) | Function to filter each item |
| -> Event t Bool | Blanket event to apply to all list items. Allows you to have "select all" and "select none" buttons. Fire True to select all and False to select none. |
| -> Dynamic t String | A search string for filtering the list of items. |
| -> Set a | Set of items that should be initially checked |
| -> [a] | List of items to show checkboxes for |
| -> m (HtmlWidget t [a]) | Dynamic list of checked items |
Takes a list of labels to make checkboxes for and returns the labels of the boxes that are checked.
Arguments
| :: (MonadWidget t m, Ord a, Show a) | |
| => (a -> String) | Function to show each item |
| -> (String -> a -> Bool) | Function to filter each item |
| -> (a -> Bool -> b) | |
| -> Event t Bool | Blanket event to apply to all list items. Allows you to have "select all" and "select none" buttons. Fire True to select all and False to select none. |
| -> Dynamic t String | A search string for filtering the list of items. |
| -> Set a | Set of items that should be initially checked |
| -> [a] | List of items to show checkboxes for |
| -> m (Event t b) | Events changing the selected set |
Takes a list of labels to make checkboxes for and returns the labels of the boxes that are checked.