Safe Haskell | None |
---|---|
Language | Haskell2010 |
- 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
:: (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.
:: (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.