Safe Haskell	None
Language	GHC2021

Web.Hyperbole.HyperView.Input

Synopsis

button :: ViewAction (Action id) => Action id -> View id () -> View id ()
dropdown :: forall opt id. (ViewAction (Action id), FromJSON opt) => Action id -> opt -> View (Option id opt) () -> View id ()
option :: forall opt id. (ViewAction (Action id), Eq opt, ToJSON opt) => opt -> Text -> View (Option id opt) ()
encodeOption :: ToJSON opt => opt -> Text
selected :: Attributable h => Bool -> Attributes h -> Attributes h
data Option id opt = Option {
- id :: id
- defaultOption :: opt
}
search :: ViewAction (Action id) => Action id -> DelayMs -> View id ()
checked :: Attributable a => Bool -> Attributes a -> Attributes a
route :: Route a => a -> View c () -> View c ()
class InputValue a where
- parseInputValue :: Text -> Either String a

Documentation

button :: ViewAction (Action id) => Action id -> View id () -> View id () Source #

<button> HTML tag which sends the action when pressed

messageView :: Text -> View Message ()
messageView msg = do
  button (Louder msg) ~ border 1 $ text msg

dropdown :: forall opt id. (ViewAction (Action id), FromJSON opt) => Action id -> opt -> View (Option id opt) () -> View id () Source #

Type-safe dropdown. Sends the action when selected. The default will be selected on load.

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 :: forall opt id. (ViewAction (Action id), Eq opt, ToJSON opt) => opt -> Text -> View (Option id opt) () Source #

An option for a dropdown or select

encodeOption :: ToJSON opt => opt -> Text Source #

selected :: Attributable h => Bool -> Attributes h -> Attributes h Source #

sets selected = true if the dropdown predicate returns True

data Option id opt Source #

The view context for an option

Constructors

Option
Fields id :: id defaultOption :: opt

Instances

Instances details

Generic (Option id opt) Source #

Instance details

Defined in Web.Hyperbole.HyperView.Input

Associated Types

type Rep (Option id opt)

Instance details

Defined in Web.Hyperbole.HyperView.Input

type Rep (Option id opt) = D1 ('MetaData "Option" "Web.Hyperbole.HyperView.Input" "hyperbole-0.7.1-inplace" 'False) (C1 ('MetaCons "Option" 'PrefixI 'True) (S1 ('MetaSel ('Just "id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 id) :*: S1 ('MetaSel ('Just "defaultOption") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 opt)))

Methods

from :: Option id opt -> Rep (Option id opt) x #

to :: Rep (Option id opt) x -> Option id opt #

(ToJSON id, ToJSON opt, FromJSON id, FromJSON opt) => ViewId (Option id opt) Source #

Instance details

Defined in Web.Hyperbole.HyperView.Input

Associated Types

type ViewState (Option id opt)
Instance details Defined in Web.Hyperbole.HyperView.Input type ViewState (Option id opt) = ViewState id

Methods

toViewId :: Option id opt -> Encoded Source #

parseViewId :: Encoded -> Either String (Option id opt) Source #

type Rep (Option id opt) Source #

Instance details

Defined in Web.Hyperbole.HyperView.Input

type Rep (Option id opt) = D1 ('MetaData "Option" "Web.Hyperbole.HyperView.Input" "hyperbole-0.7.1-inplace" 'False) (C1 ('MetaCons "Option" 'PrefixI 'True) (S1 ('MetaSel ('Just "id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 id) :*: S1 ('MetaSel ('Just "defaultOption") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 opt)))

type ViewState (Option id opt) Source #

Instance details

Defined in Web.Hyperbole.HyperView.Input

type ViewState (Option id opt) = ViewState id

search :: ViewAction (Action id) => Action id -> DelayMs -> View id () Source #

A live search field. Set a DelayMs to avoid hitting the server on every keystroke

viewSearchUsers :: View Users ()
viewSearchUsers = do
  el "Search for a user by id"
  search SearchUser 250 ~ border 1 . pad 10 @ placeholder "2"

checked :: Attributable a => Bool -> Attributes a -> Attributes a Source #

Set checkbox = checked via the client (VDOM doesn't work)

route :: Route a => a -> View c () -> View c () Source #

A hyperlink to another route

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

class InputValue a where Source #

Minimal complete definition

Nothing

Methods

parseInputValue :: Text -> Either String a Source #

default parseInputValue :: FromJSON a => Text -> Either String a Source #

Instances

Instances details

InputValue Text Source #
Instance details Defined in Web.Hyperbole.HyperView.Input Methods parseInputValue :: Text -> Either String Text Source #
InputValue Integer Source #
Instance details Defined in Web.Hyperbole.HyperView.Input Methods parseInputValue :: Text -> Either String Integer Source #
InputValue Double Source #
Instance details Defined in Web.Hyperbole.HyperView.Input Methods parseInputValue :: Text -> Either String Double Source #
InputValue Float Source #
Instance details Defined in Web.Hyperbole.HyperView.Input Methods parseInputValue :: Text -> Either String Float Source #
InputValue Int Source #
Instance details Defined in Web.Hyperbole.HyperView.Input Methods parseInputValue :: Text -> Either String Int Source #
InputValue (Maybe Text) Source #
Instance details Defined in Web.Hyperbole.HyperView.Input Methods parseInputValue :: Text -> Either String (Maybe Text) Source #
InputValue (Maybe String) Source #
Instance details Defined in Web.Hyperbole.HyperView.Input Methods parseInputValue :: Text -> Either String (Maybe String) Source #
InputValue a => InputValue (Maybe a) Source #
Instance details Defined in Web.Hyperbole.HyperView.Input Methods parseInputValue :: Text -> Either String (Maybe a) Source #