Renders a View as HTML with embedded CSS class definitions

>>> renderText $ el bold "Hello"
<style type='text/css'>.bold { font-weight:bold }</style>
<div class='bold'>Hello</div>

Views are HTML fragments that carry all CSS used by any child element.

view :: View c ()
view = col (pad 10 . gap 10) $ do
  el bold "Hello"
  el_ "World"

They can also have a context which can be used to create type-safe or context-aware elements. See table for an example

Element functions expect a Mod function as their first argument that adds attributes and classes.

userEmail :: User -> View c ()
userEmail user = input (fontSize 16 . active) (text user.email)
  where
    active = isActive user then bold else id

A basic element

el (bold . pad 10) "Hello"

A basic element, with no modifiers

el_ "Hello"

We can intuitively create layouts with combindations of row, col, grow, and space

Wrap main content in layout to allow the view to consume vertical screen space

holygrail :: View c ()
holygrail = layout id $ do
  row section "Top Bar"
  row grow $ do
    col section "Left Sidebar"
    col (section . grow) "Main Content"
    col section "Right Sidebar"
  row section "Bottom Bar"
  where section = border 1

As layout but as a Mod

holygrail = col root $ do
  ...

Lay out children in a column.

col grow $ do
   el_ "Top"
   space
   el_ "Bottom"

Lay out children in a row

row id $ do
   el_ "Left"
   space
   el_ "Right"

Grow to fill the available space in the parent row or col

row id $ do
 el grow none
 el_ "Right"

Space that fills the available space in the parent row or col.

row id $ do
 space
 el_ "Right"

This is equivalent to an empty element with grow

space = el grow none

Allow items to become smaller than their contents. This is not the opposite of grow!

Make a fixed layout by putting scroll on a child-element

document = row root $ do
  nav (width 300) "Sidebar"
  col (grow . scroll) "Main Content"

A Nav element

Add text to a view. Not required for string literals

el_ $ do
  "Hello: "
  text user.name

Embed static, unescaped HTML or SVG. Take care not to use raw with user-generated content.

spinner = raw "<svg>...</svg>"

Do not show any content

if isVisible
 then content
 else none

A hyperlink to the given url

Create a type safe data table by specifying columns

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

Set to a specific width

Set to a specific height

Allow width to grow to contents but not shrink any smaller than value

Allow height to grow to contents but not shrink any smaller than value

Set container to be a row. Favor row when possible

Set container to be a column. Favor col when possible

Space surrounding the children of the element

To create even spacing around and between all elements:

col (pad 10 . gap 10) $ do
  el_ "one"
  el_ "two"
  el_ "three"

The space between child elements. See pad

Hide an element. See parent and media

Cut off the contents of the element

Adds a basic drop shadow to an element

Round the corners of the element

Set the text color. See ToColor

Set the background color. See ToColor

Set a border around the element

el (border 1) "all sides"
el (border (X 1)) "only left and right"

Set a border color. See ToColor

Use a button-like cursor when hovering over the element

Button-like elements:

btn = pointer . bg Primary . hover (bg PrimaryLight)

options = row id $ do
  el btn "Login"
  el btn "Sign Up"

Animate changes to the given property

el (transition 100 (Height 400)) "Tall"
el (transition 100 (Height 100)) "Small"

Apply when hovering over an element

el (bg Primary . hover (bg PrimaryLight)) "Hover"

Apply when the mouse is pressed down on an element

Apply to even-numbered children

Apply to odd-numbered children

Apply when the Media matches the current window. This allows for responsive designs

el (width 100 . media (MinWidth 800) (width 400))
  "Big if window > 800"

Apply when the element is somewhere inside an anscestor.

For example, the HTMX library applies an "htmx-request" class to the body when a request is pending. We can use this to create a loading indicator

el (pad 10) $ do
  el (parent "htmx-request" flexRow . hide) "Loading..."
  el (parent "htmx-request" hide . flexRow) "Normal Content"

Get the current context

Run a view with a specific context in a parent View with a different context. This can be used to create type safe view functions, like table

Create a new element constructor with the given tag name

aside :: Mod -> View c () -> View c ()
aside = tag "aside"

Set an attribute, replacing existing value

hlink :: Text -> View c () -> View c ()
hlink url content = tag "a" (att "href" url) content

Options for styles that support specifying various sides. This has a "fake" Num instance to support literals

border 5
border (X 2)
border (TRBL 0 5 0 0)

Media allows for responsive designs that change based on characteristics of the window. See Layout Example

Milliseconds, used for transitions

ToColor allows you to create a type containing your application's colors:

data AppColor
  = White
  | Primary
  | Dark

instance ToColor AppColor where
  colorValue White = "#FFF"
  colorValue Dark = "#333"
  colorValue Primary = "#00F"

hello :: View c ()
hello = el (bg Primary . color White) "Hello"

Hexidecimal Color. Can be specified with or without the leading #. Recommended to use an AppColor type instead of manually using hex colors. See ToColor

A sequence of QueryItems.