hyperbole
Safe HaskellNone
LanguageGHC2021

Web.Hyperbole.Effect.Response

Synopsis

Documentation

hyperView :: forall id (es :: [Effect]). (HyperView id es, ToJSON (ViewState id)) => id -> ViewState id -> View id () -> Eff es Response Source #

Respond with the given hyperview

pushUpdate :: forall (es :: [Effect]) id. (Hyperbole :> es, ViewId id, ToJSON (ViewState id), ConcurrencyValue (Concurrency id)) => View id () -> Eff (Reader id ': (State (ViewState id) ': es)) () Source #

pushUpdateTo :: forall (es :: [Effect]) id. (Hyperbole :> es, ViewId id, ToJSON (ViewState id), ConcurrencyValue (Concurrency id)) => id -> ViewState id -> View id () -> Eff es () Source #

respondError :: forall (es :: [Effect]) a. Hyperbole :> es => ResponseError -> Eff es a Source #

Abort execution and respond with an error

respondErrorView :: forall (es :: [Effect]) a. Hyperbole :> es => Text -> View () () -> Eff es a Source #

Abort execution and respond with an error view

notFound :: forall (es :: [Effect]) a. Hyperbole :> es => Eff es a Source #

Abort execution and respond with 404 Not Found

findUser :: (Hyperbole :> es, Users :> es) => Int -> Eff es User
findUser uid = do
  mu <- send (LoadUser uid)
  maybe notFound pure mu

userPage :: (Hyperbole :> es, Users :> es) => Page es '[]
userPage = do
  user <- findUser 100

  -- skipped if user not found
  pure $ userView user

parseError :: forall (es :: [Effect]) a. Hyperbole :> es => String -> Eff es a Source #

Respond immediately with a parse error

redirect :: forall (es :: [Effect]) a. Hyperbole :> es => URI -> Eff es a Source #

Abort execution and redirect to a URI

view :: View () () -> Response Source #

Respond with a generic view. Normally you will return a view from the page or handler instead of using this function