hyperbole

Interactive HTML apps using type-safe serverside Haskell

LTS Haskell 24.28:	0.4.3
Stackage Nightly 2026-01-18:	0.6.0
Latest on Hackage:	0.6.0

See all snapshots hyperbole appears in

BSD-3-Clause licensed by Sean Hess

Maintained by [email protected]

This version can be pinned in stack with:hyperbole-0.6.0@sha256:7e58e57f4a6ead008a9330ef2de3eac7d213f9e4249e2a957ca99b51f18cb485,5226

Module documentation for 0.6.0

Web
- Web.Hyperbole
  - Web.Hyperbole.Application
  - Web.Hyperbole.Data
    - Web.Hyperbole.Data.Cookie
    - Web.Hyperbole.Data.Encoded
    - Web.Hyperbole.Data.JSON
    - Web.Hyperbole.Data.Param
    - Web.Hyperbole.Data.QueryData
    - Web.Hyperbole.Data.URI
  - Web.Hyperbole.Document
  - Web.Hyperbole.Effect
    - Web.Hyperbole.Effect.Client
    - Web.Hyperbole.Effect.GenRandom
    - Web.Hyperbole.Effect.Hyperbole
    - Web.Hyperbole.Effect.OAuth2
    - Web.Hyperbole.Effect.Query
    - Web.Hyperbole.Effect.Request
    - Web.Hyperbole.Effect.Response
    - Web.Hyperbole.Effect.Session
  - Web.Hyperbole.HyperView
    - Web.Hyperbole.HyperView.Event
    - Web.Hyperbole.HyperView.Forms
    - Web.Hyperbole.HyperView.Handled
    - Web.Hyperbole.HyperView.Hyper
    - Web.Hyperbole.HyperView.Input
    - Web.Hyperbole.HyperView.Types
  - Web.Hyperbole.Page
  - Web.Hyperbole.Route
  - Web.Hyperbole.Server
    - Web.Hyperbole.Server.Handler
    - Web.Hyperbole.Server.Message
    - Web.Hyperbole.Server.Options
    - Web.Hyperbole.Server.Socket
    - Web.Hyperbole.Server.Wai
  - Web.Hyperbole.TypeList
  - Web.Hyperbole.Types
    - Web.Hyperbole.Types.Client
    - Web.Hyperbole.Types.Event
    - Web.Hyperbole.Types.Request
    - Web.Hyperbole.Types.Response
  - Web.Hyperbole.View
    - Web.Hyperbole.View.CSS
    - Web.Hyperbole.View.Embed
    - Web.Hyperbole.View.Render
    - Web.Hyperbole.View.Tag
    - Web.Hyperbole.View.Types
    - Web.Hyperbole.View.ViewAction
    - Web.Hyperbole.View.ViewId

Depends on 28 packages(full list with versions):

Create interactive HTML applications with type-safe serverside Haskell. Inspired by HTMX, Elm, and Phoenix LiveView.

▶️ Simple Example

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE DeriveAnyClass #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE TypeFamilies #-}

module Main where

import Data.Text (Text)
import Web.Atomic.CSS
import Web.Hyperbole

main :: IO ()
main = do
  run 3000 $ do
    liveApp quickStartDocument (runPage page)

page :: (Hyperbole :> es) => Page es '[Message]
page = do
  pure $ do
    hyper Message1 $ messageView "Hello"
    hyper Message2 $ messageView "World!"

data Message = Message1 | Message2
  deriving (Generic, ViewId)

instance HyperView Message es where
  data Action Message
    = Louder Text
    deriving (Generic, ViewAction)

  update (Louder msg) = do
    let new = msg <> "!"
    pure $ messageView new

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

Documentation

Visit hyperbole.live for documentation and live examples. Also see the Hackage Documentation

Getting Started with Cabal

Create a new application:

$ mkdir myapp
$ cd myapp
$ cabal init

Add hyperbole and text as dependencies to the .cabal file:

    build-depends:
        base
      , hyperbole
      , text

    default-language: GHC2021

Paste the above example into Main.hs, then run it:

$ cabal run

Visit http://localhost:3000 to view the application

Learn More

In the Wild

The NSO uses Hyperbole to manage Level 2 Data pipelines for the DKIST telescope. It uses complex user interfaces, workers, databases, and more. The entire codebase is open source.

Contributors

Changes

Revision history for hyperbole

0.6.0 – 2026-01-15

Improvements:

ViewState - built in threaded state, defaults to (), for folks who really miss Elm
Concurrency Controls - Drop vs Replace for overlapping updates
pushUpdate - server push an update to an arbitrary view
Long-running actions can be interrupted / cancelled
https://hyperbole.live now has inline documentation, code snippets, and live examples

Breaking Changes:

A few functions now require state, such as trigger and target

0.5.0 – 2025-09-26

Improvements

trigger actions in other views
Javascript FFI
- window.Hyperbole - API available from custom JS. runAction allows JS to trigger actions
- pushEvent - send events to JS from the server
Documents
- Choose to configure with View DocumentHead () instead of ByteString -> ByteString
- quickStartDocument
- Live Reload
Websocket - ping keepalive
New form fields: radio, select
Web.Hyperbole.Effect.OAuth2 - Authentication
Web.Hyperbole.Effect.GenRandom - Simple random effect used by OAuth2
Error handling, custom errors
Examples
- Many additions and improvements
- External Stylesheet TodoMVC
- OAuth2 example

Breaking Changes / Improvements

Web.Atomic.CSS overhauled, and is now opt-in. Use new @ and ~ operators to apply attributes and styles
Web.Hyperbole.Data.Param - unified param encoding for Forms, ViewId, ViewAction, Sessions, Queries
Web.Hyperbole.Data.Encoding - encoding for ViewId, ViewAction
Web.Hyperbole.Data.URI - Standardize on Network.URI, extra utilities to manage paths
trigger: required refactor of Page type alias to support type-checking: Eff es (Page '[]) is now Page es '[]

0.4.3 – 2025-01-31

Bug fixes and improvements

0.4.2 – 2025-01-21

Cleaner HyperView class (@cgeorgii)
- data family Action
- update
Type-safe resolution of HyperViews
Record-based Forms
- textarea (@tusharad)
High-level sessions and query params
Events: onLoad, onClick onInput, onSubmit, onDblClick, onKeyDown, onKeyUp
Major refactoring
Nix build and CI (@Skyfold)
New Examples Live: https://docs.hyperbole.live
New Examples Added:
- TodoMVC
- Forms - Simple
- DataTable
- Search - Filters
- Search - Autocomplete

0.3.6 – 2024-05-21

First version. Released on an unsuspecting world.