Safe Haskell	None
Language	GHC2024

Okapi.Mode.Forest

Documentation

data Shape method path query headers body result Source #

Instances details

GFunction n (S1 sm (Rec0 (Forest (Shape method path query headers body result)))) (S1 sm' (Rec0 (Function n (Shape method path query headers body result)))) Source #
Instance details Defined in Okapi.Mode.Function Methods gServe :: (n ~> IO) -> S1 sm (Rec0 (Forest (Shape method path query headers body result))) () -> S1 sm' (Rec0 (Function n (Shape method path query headers body result))) () -> Middleware
GenericOAPI (S1 sm (Rec0 (Forest (Shape method path query headers body result)))) Source #
Instance details Defined in Okapi.Artifact.OpenApi Methods gOpenApi :: S1 sm (Rec0 (Forest (Shape method path query headers body result))) () -> OpenApi
GClient (S1 sm (Rec0 (Forest (Shape method path query headers body result)))) (S1 sm' (Rec0 (Client (Shape method path query headers body result)))) Source #
Instance details Defined in Okapi.Mode.Client Methods gClient :: ClientSettings -> S1 sm (Rec0 (Forest (Shape method path query headers body result))) () -> S1 sm' (Rec0 (Client (Shape method path query headers body result))) ()
GLink (S1 sm (Rec0 (Forest (Shape method path query headers body result)))) (S1 sm' (Rec0 (Link (Shape method path query headers body result)))) Source #
Instance details Defined in Okapi.Mode.Link Methods gLink :: S1 sm (Rec0 (Forest (Shape method path query headers body result))) () -> S1 sm' (Rec0 (Link (Shape method path query headers body result))) ()

data Forest shape where Source #

Constructors

(:->) :: forall method path query headers body status resHeaders resBody. Request method path query headers body -> Response status resHeaders resBody -> Forest (Shape method path query headers body (Response status resHeaders resBody))
(:-<) :: forall (responses :: (Type -> Type -> Type -> Type) -> Type) method path query headers body. Cases responses => Request method path query headers body -> Responses Response responses -> Forest (Shape method path query headers body (responses Response))

Instances details

GFunction n (S1 sm (Rec0 (Forest (Shape method path query headers body result)))) (S1 sm' (Rec0 (Function n (Shape method path query headers body result)))) Source #
Instance details Defined in Okapi.Mode.Function Methods gServe :: (n ~> IO) -> S1 sm (Rec0 (Forest (Shape method path query headers body result))) () -> S1 sm' (Rec0 (Function n (Shape method path query headers body result))) () -> Middleware
GenericOAPI (S1 sm (Rec0 (Forest (Shape method path query headers body result)))) Source #
Instance details Defined in Okapi.Artifact.OpenApi Methods gOpenApi :: S1 sm (Rec0 (Forest (Shape method path query headers body result))) () -> OpenApi
GClient (S1 sm (Rec0 (Forest (Shape method path query headers body result)))) (S1 sm' (Rec0 (Client (Shape method path query headers body result)))) Source #
Instance details Defined in Okapi.Mode.Client Methods gClient :: ClientSettings -> S1 sm (Rec0 (Forest (Shape method path query headers body result))) () -> S1 sm' (Rec0 (Client (Shape method path query headers body result))) ()
GLink (S1 sm (Rec0 (Forest (Shape method path query headers body result)))) (S1 sm' (Rec0 (Link (Shape method path query headers body result)))) Source #
Instance details Defined in Okapi.Mode.Link Methods gLink :: S1 sm (Rec0 (Forest (Shape method path query headers body result))) () -> S1 sm' (Rec0 (Link (Shape method path query headers body result))) ()