hyperbole-0.5.0: Interactive HTML apps using type-safe serverside Haskell
Safe HaskellSafe-Inferred
LanguageGHC2021

Web.Hyperbole.View.Tag

Synopsis

Documentation

el :: View c () -> View c () Source #

row :: View c () -> View c () Source #

col :: View c () -> View c () Source #

space :: View c () Source #

pre :: Text -> View c () Source #

code :: Text -> View c () Source #

link :: URI -> View c () -> View c () Source #

A hyperlink to the given url

img :: Text -> View c () Source #

Inputs

form :: View c () -> View c () Source #

input :: View c () Source #

name :: Attributable h => Text -> Attributes h -> Attributes h Source #

value :: Attributable h => Text -> Attributes h -> Attributes h Source #

label :: View c () -> View c () Source #

placeholder :: Attributable h => Text -> Attributes h -> Attributes h Source #

autofocus :: Attributable h => Attributes h -> Attributes h Source #

Document Metadata

meta :: View c () Source #

title :: Text -> View c () Source #

content :: Attributable h => Text -> Attributes h -> Attributes h Source #

httpEquiv :: Attributable h => Text -> Attributes h -> Attributes h Source #

charset :: Attributable h => Text -> Attributes h -> Attributes h Source #

type_ :: Attributable h => Text -> Attributes h -> Attributes h Source #

src :: Attributable h => Text -> Attributes h -> Attributes h Source #

script :: Text -> View c () Source #

script' :: ByteString -> View c () Source #

Embed raw script, escape '/script'

style :: ByteString -> View c () Source #

stylesheet :: Text -> View c () Source #

Navigation

nav :: View c () -> View c () Source #

Tables

table :: [dt] -> TableColumns c dt () -> View c () Source #

Create a type safe data table by specifying columns

data User = User {name :: Text, email :: Text}

usersTable :: [User] -> View c ()
usersTable us = do
  table us $ do
    tcol (th "Name" ~ hd) $ \u -> td ~ cell $ text u.name
    tcol (th "Email" ~ hd) $ \u -> td ~ cell $ text u.email
 where
  hd = cell . bold
  cell :: (Styleable h) => CSS h -> CSS h
  cell = pad 4 . border 1

usersTable :: View c () Source #

newtype Table c a Source #

Constructors

Table (View c a) 

Instances

Instances details
Applicative (Table c) Source # 
Instance details

Defined in Web.Hyperbole.View.Tag

Methods

pure :: a -> Table c a #

(<*>) :: Table c (a -> b) -> Table c a -> Table c b #

liftA2 :: (a -> b -> c0) -> Table c a -> Table c b -> Table c c0 #

(*>) :: Table c a -> Table c b -> Table c b #

(<*) :: Table c a -> Table c b -> Table c a #

Functor (Table c) Source # 
Instance details

Defined in Web.Hyperbole.View.Tag

Methods

fmap :: (a -> b) -> Table c a -> Table c b #

(<$) :: a -> Table c b -> Table c a #

Monad (Table c) Source # 
Instance details

Defined in Web.Hyperbole.View.Tag

Methods

(>>=) :: Table c a -> (a -> Table c b) -> Table c b #

(>>) :: Table c a -> Table c b -> Table c b #

return :: a -> Table c a #

Styleable (Table c a) Source # 
Instance details

Defined in Web.Hyperbole.View.Tag

Methods

(~) :: Table c a -> (CSS (Table c a) -> CSS (Table c a)) -> Table c a #

modCSS :: ([Rule] -> [Rule]) -> Table c a -> Table c a #

tcol :: forall dt c. TableHead c () -> (dt -> View c ()) -> TableColumns c dt () Source #

th :: View c () -> TableHead c () Source #

td :: View c () -> View c () Source #

newtype TableHead id a Source #

Constructors

TableHead (View id a) 

Instances

Instances details
Applicative (TableHead id) Source # 
Instance details

Defined in Web.Hyperbole.View.Tag

Methods

pure :: a -> TableHead id a #

(<*>) :: TableHead id (a -> b) -> TableHead id a -> TableHead id b #

liftA2 :: (a -> b -> c) -> TableHead id a -> TableHead id b -> TableHead id c #

(*>) :: TableHead id a -> TableHead id b -> TableHead id b #

(<*) :: TableHead id a -> TableHead id b -> TableHead id a #

Functor (TableHead id) Source # 
Instance details

Defined in Web.Hyperbole.View.Tag

Methods

fmap :: (a -> b) -> TableHead id a -> TableHead id b #

(<$) :: a -> TableHead id b -> TableHead id a #

Monad (TableHead id) Source # 
Instance details

Defined in Web.Hyperbole.View.Tag

Methods

(>>=) :: TableHead id a -> (a -> TableHead id b) -> TableHead id b #

(>>) :: TableHead id a -> TableHead id b -> TableHead id b #

return :: a -> TableHead id a #

Styleable (TableHead id a) Source # 
Instance details

Defined in Web.Hyperbole.View.Tag

Methods

(~) :: TableHead id a -> (CSS (TableHead id a) -> CSS (TableHead id a)) -> TableHead id a #

modCSS :: ([Rule] -> [Rule]) -> TableHead id a -> TableHead id a #

newtype TableColumns c dt a Source #

Constructors

TableColumns (Eff '[State [TableColumn c dt]] a) 

Instances

Instances details
Applicative (TableColumns c dt) Source # 
Instance details

Defined in Web.Hyperbole.View.Tag

Methods

pure :: a -> TableColumns c dt a #

(<*>) :: TableColumns c dt (a -> b) -> TableColumns c dt a -> TableColumns c dt b #

liftA2 :: (a -> b -> c0) -> TableColumns c dt a -> TableColumns c dt b -> TableColumns c dt c0 #

(*>) :: TableColumns c dt a -> TableColumns c dt b -> TableColumns c dt b #

(<*) :: TableColumns c dt a -> TableColumns c dt b -> TableColumns c dt a #

Functor (TableColumns c dt) Source # 
Instance details

Defined in Web.Hyperbole.View.Tag

Methods

fmap :: (a -> b) -> TableColumns c dt a -> TableColumns c dt b #

(<$) :: a -> TableColumns c dt b -> TableColumns c dt a #

Monad (TableColumns c dt) Source # 
Instance details

Defined in Web.Hyperbole.View.Tag

Methods

(>>=) :: TableColumns c dt a -> (a -> TableColumns c dt b) -> TableColumns c dt b #

(>>) :: TableColumns c dt a -> TableColumns c dt b -> TableColumns c dt b #

return :: a -> TableColumns c dt a #

Styleable (TableColumns c dt () -> View c ()) Source # 
Instance details

Defined in Web.Hyperbole.View.Tag

Methods

(~) :: (TableColumns c dt () -> View c ()) -> (CSS (TableColumns c dt () -> View c ()) -> CSS (TableColumns c dt () -> View c ())) -> TableColumns c dt () -> View c () #

modCSS :: ([Rule] -> [Rule]) -> (TableColumns c dt () -> View c ()) -> TableColumns c dt () -> View c () #

data TableColumn c dt Source #

Constructors

TableColumn 

Fields

Lists

ol :: ListItem c () -> View c () Source #

List elements do not include any inherent styling but are useful for accessibility. See list.

ol id $ do
 let nums = list Decimal
 li nums "one"
 li nums "two"
 li nums "three"

ul :: ListItem c () -> View c () Source #

li :: View c () -> ListItem c () Source #

newtype ListItem c a Source #

Constructors

ListItem (View c a) 

Instances

Instances details
Applicative (ListItem c) Source # 
Instance details

Defined in Web.Hyperbole.View.Tag

Methods

pure :: a -> ListItem c a #

(<*>) :: ListItem c (a -> b) -> ListItem c a -> ListItem c b #

liftA2 :: (a -> b -> c0) -> ListItem c a -> ListItem c b -> ListItem c c0 #

(*>) :: ListItem c a -> ListItem c b -> ListItem c b #

(<*) :: ListItem c a -> ListItem c b -> ListItem c a #

Functor (ListItem c) Source # 
Instance details

Defined in Web.Hyperbole.View.Tag

Methods

fmap :: (a -> b) -> ListItem c a -> ListItem c b #

(<$) :: a -> ListItem c b -> ListItem c a #

Monad (ListItem c) Source # 
Instance details

Defined in Web.Hyperbole.View.Tag

Methods

(>>=) :: ListItem c a -> (a -> ListItem c b) -> ListItem c b #

(>>) :: ListItem c a -> ListItem c b -> ListItem c b #

return :: a -> ListItem c a #

Styleable (ListItem c a) Source # 
Instance details

Defined in Web.Hyperbole.View.Tag

Methods

(~) :: ListItem c a -> (CSS (ListItem c a) -> CSS (ListItem c a)) -> ListItem c a #

modCSS :: ([Rule] -> [Rule]) -> ListItem c a -> ListItem c a #