Web.Hyperbole.Page

Documentation

type Page (views :: [Type]) = View (Root views) ()

Conceptually, an application is dividied up into multiple Pages. Each page module should have a function that returns a Page. The Page itself is a View with a type-level list of HyperViews used on the page.

page :: Eff es (Page [Message, Count])
page = do
  pure $ do
    row id $ do
      hyper Message $ messageView "Hello"
      hyper Count $ countView 0

runPage :: forall (es :: [Effect]) (views :: [Type]). (Hyperbole :> es, RunHandlers views es) => Eff es (Page views) -> Eff es Response

Run a Page and return a Response

main :: IO ()
main = do
  run 3000 $ do
    liveApp (basicDocument "Example") (runPage page)

page :: Eff es (Page '[])
page = do
  pure $ do
    col (pad 10) $ do
      el bold "Hello World"