Web.Hyperbole.View.Element

Documentation

button :: ViewAction (Action id) => Action id -> Mod id -> View id () -> View id ()

<button> HTML tag which sends the action when pressed

button SomeAction (border 1) "Click Me"

dropdown :: ViewAction (Action id) => (opt -> Action id) -> (opt -> Bool) -> Mod id -> View (Option opt id (Action id)) () -> View id ()

Type-safe dropdown. Sends (opt -> Action id) when selected. The selection predicate (opt -> Bool) controls which option is selected. See Example.Page.Filter

familyDropdown :: Filters -> View Languages ()
familyDropdown filters =
  dropdown SetFamily (== filters.family) (border 1 . pad 10) $ do
    option Nothing "Any"
    option (Just ObjectOriented) "Object Oriented"
    option (Just Functional) "Functional"

option :: (ViewAction (Action id), Eq opt) => opt -> View (Option opt id (Action id)) () -> View (Option opt id (Action id)) ()

An option for a dropdown. First argument is passed to (opt -> Action id) in the dropdown, and to the selected predicate

selected :: Bool -> Mod id

sets selected = true if the dropdown predicate returns True

data Option opt (id :: k) action

The view context for an option

Constructors

Option

Fields

• toAction :: opt -> action
• selected :: opt -> Bool

search :: ViewAction (Action id) => (Text -> Action id) -> DelayMs -> Mod id -> View id ()

A live search field

route :: Route a => a -> Mod c -> View c () -> View c ()

A hyperlink to another route

>>> route (User 100) id "View User"
<a href="/user/100">View User</a>