Web.Hyperbole.Effect

Documentation

data Request

Constructors

Request

Fields

• path :: [Text]
• query :: Query
• body :: ByteString

Instances

Show Request

Defined in Web.Hyperbole.Effect

Methods

showsPrec :: Int -> Request -> ShowS

show :: Request -> String

showList :: [Request] -> ShowS

data Response

Constructors

ErrParse Text

ErrNoHandler

Response (View () ())

NotFound

newtype Page es a

Constructors

Page (Eff es a)

Instances

Applicative (Page es)

Defined in Web.Hyperbole.Effect

Methods

pure :: a -> Page es a

(<*>) :: Page es (a -> b) -> Page es a -> Page es b

liftA2 :: (a -> b -> c) -> Page es a -> Page es b -> Page es c

(*>) :: Page es a -> Page es b -> Page es b

(<*) :: Page es a -> Page es b -> Page es a

Functor (Page es)

Defined in Web.Hyperbole.Effect

Methods

fmap :: (a -> b) -> Page es a -> Page es b

(<$) :: a -> Page es b -> Page es a

Monad (Page es)

Defined in Web.Hyperbole.Effect

Methods

(>>=) :: Page es a -> (a -> Page es b) -> Page es b

(>>) :: Page es a -> Page es b -> Page es b

return :: a -> Page es a

data Event act id

Constructors

Event

Fields

• viewId :: id
• action :: act

data Hyperbole :: Effect where

Constructors

GetForm :: Hyperbole m Form

GetEvent :: HyperView id => Hyperbole m (Maybe (Event (Action id) id))

Respond :: Response -> Hyperbole m a

Instances

type DispatchOf Hyperbole

Defined in Web.Hyperbole.Effect

type DispatchOf Hyperbole = 'Dynamic

runHyperboleRoute :: Route route => Request -> (route -> Eff (Hyperbole : es) ()) -> Eff es Response

runHyperbole :: Request -> Eff (Hyperbole : es) a -> Eff es (Either Response a)

formData :: Hyperbole :> es => Eff es Form

notFound :: Hyperbole :> es => Eff es a

parseError :: Hyperbole :> es => Text -> Eff es a

view :: Hyperbole :> es => View () () -> Eff es ()

Set the response to the view. Note that page already expects a view to be returned from the effect

load :: Hyperbole :> es => Eff es (View () ()) -> Page es ()

Load the entire page when no HyperViews match

hyper :: (Hyperbole :> es, HyperView id) => (id -> Action id -> Eff es (View id ())) -> Page es ()

Handle a HyperView. If the event matches our handler, respond with the fragment

page :: Hyperbole :> es => Page es () -> Eff es ()