| Safe Haskell | None |
|---|---|
| Language | GHC2021 |
Web.Hyperbole.Effect.Hyperbole
Synopsis
- data Hyperbole (a :: Type -> Type) b where
- GetRequest :: forall (a :: Type -> Type). Hyperbole a Request
- RespondNow :: forall (a :: Type -> Type) b. Response -> Hyperbole a b
- ModClient :: forall (a :: Type -> Type). (Client -> Client) -> Hyperbole a ()
- GetClient :: forall (a :: Type -> Type). Hyperbole a Client
- TriggerAction :: forall (a :: Type -> Type). TargetViewId -> Encoded -> Hyperbole a ()
- TriggerEvent :: forall (a :: Type -> Type). Text -> Value -> Hyperbole a ()
- data Remote
- runHyperbole :: forall (es :: [(Type -> Type) -> Type -> Type]). Request -> Eff (Hyperbole ': es) Response -> Eff es (Response, Client, [Remote])
Documentation
data Hyperbole (a :: Type -> Type) b where Source #
The Hyperbole Effect allows you to access information in the Request, manually respond, and manipulate the Client session and query.
Constructors
| GetRequest :: forall (a :: Type -> Type). Hyperbole a Request | |
| RespondNow :: forall (a :: Type -> Type) b. Response -> Hyperbole a b | |
| ModClient :: forall (a :: Type -> Type). (Client -> Client) -> Hyperbole a () | |
| GetClient :: forall (a :: Type -> Type). Hyperbole a Client | |
| TriggerAction :: forall (a :: Type -> Type). TargetViewId -> Encoded -> Hyperbole a () | |
| TriggerEvent :: forall (a :: Type -> Type). Text -> Value -> Hyperbole a () |
Instances
| type DispatchOf Hyperbole Source # | |
Defined in Web.Hyperbole.Effect.Hyperbole | |
Constructors
| RemoteAction TargetViewId Encoded | |
| RemoteEvent Text Value |