RoutesToPaths api => RoutesToPaths (DescriptionOAuthScope scope :> api :: Type) Source #
Instance details Defined in Wire.API.Routes.Public Methods getRoutes :: Forest PathSegment Source #
(HasOpenApi api, IsOAuthScope scope) => HasOpenApi (DescriptionOAuthScope scope :> api :: Type) Source #
Instance details Defined in Wire.API.Routes.Public Methods toOpenApi :: Proxy (DescriptionOAuthScope scope :> api) -> OpenApi Source #
HasFeds rest => HasFeds (DescriptionOAuthScope scope :> rest :: Type) Source #
Instance details Defined in Wire.API.MakesFederatedCall Methods getFedCalls :: Proxy (DescriptionOAuthScope scope :> rest) -> State FedCallFrom [FedCallFrom] Source #
HasServer api ctx => HasServer (DescriptionOAuthScope scope :> api :: Type) ctx Source #
Instance details Defined in Wire.API.Routes.Public Associated Types type ServerT (DescriptionOAuthScope scope :> api) m Source # Methods route :: Proxy (DescriptionOAuthScope scope :> api) -> Context ctx -> Delayed env (Server (DescriptionOAuthScope scope :> api)) -> Router env Source # hoistServerWithContext :: Proxy (DescriptionOAuthScope scope :> api) -> Proxy ctx -> (forall x. m x -> n x) -> ServerT (DescriptionOAuthScope scope :> api) m -> ServerT (DescriptionOAuthScope scope :> api) n Source #
type SpecialiseToVersion v (DescriptionOAuthScope scope :> api) Source #
Instance details Defined in Wire.API.Routes.Public type SpecialiseToVersion v (DescriptionOAuthScope scope :> api) = DescriptionOAuthScope scope :> SpecialiseToVersion v api
type ServerT (DescriptionOAuthScope scope :> api :: Type) m Source #
Instance details Defined in Wire.API.Routes.Public type ServerT (DescriptionOAuthScope scope :> api :: Type) m = ServerT api m

data ZHostOpt Source #

Optional Z-Host header (added by nginz)

Instances

Instances details

RoutesToPaths api => RoutesToPaths (ZHostOpt :> api :: Type) Source #
Instance details Defined in Wire.API.Routes.Public Methods getRoutes :: Forest PathSegment Source #
HasOpenApi api => HasOpenApi (ZHostOpt :> api :: Type) Source #
Instance details Defined in Wire.API.Routes.Public Methods toOpenApi :: Proxy (ZHostOpt :> api) -> OpenApi Source #
HasFeds rest => HasFeds (ZHostOpt :> rest :: Type) Source #
Instance details Defined in Wire.API.MakesFederatedCall Methods getFedCalls :: Proxy (ZHostOpt :> rest) -> State FedCallFrom [FedCallFrom] Source #
(HasContextEntry (ctx .++ DefaultErrorFormatters) ErrorFormatters, HasServer api ctx) => HasServer (ZHostOpt :> api :: Type) ctx Source #
Instance details Defined in Wire.API.Routes.Public Associated Types type ServerT (ZHostOpt :> api) m Source # Methods route :: Proxy (ZHostOpt :> api) -> Context ctx -> Delayed env (Server (ZHostOpt :> api)) -> Router env Source # hoistServerWithContext :: Proxy (ZHostOpt :> api) -> Proxy ctx -> (forall x. m x -> n x) -> ServerT (ZHostOpt :> api) m -> ServerT (ZHostOpt :> api) n Source #
type SpecialiseToVersion v (ZHostOpt :> api) Source #
Instance details Defined in Wire.API.Routes.Public type SpecialiseToVersion v (ZHostOpt :> api) = ZHostOpt :> SpecialiseToVersion v api
type ServerT (ZHostOpt :> api :: Type) m Source #
Instance details Defined in Wire.API.Routes.Public type ServerT (ZHostOpt :> api :: Type) m = Maybe Text -> ServerT api m

type ZHostValue = Text Source #

data ZAuthServant (ztype :: ZType) (opts :: [Type]) Source #

Instances

Instances details

RoutesToPaths api => RoutesToPaths (ZAuthServant ztype opts :> api :: Type) Source #
Instance details Defined in Wire.API.Routes.Public Methods getRoutes :: Forest PathSegment Source #
HasLink endpoint => HasLink (ZAuthServant usr opts :> endpoint :: Type) Source #
Instance details Defined in Wire.API.Routes.Public Associated Types type MkLink (ZAuthServant usr opts :> endpoint) a Source # Methods toLink :: (Link -> a) -> Proxy (ZAuthServant usr opts :> endpoint) -> Link -> MkLink (ZAuthServant usr opts :> endpoint) a Source #
HasOpenApi api => HasOpenApi (ZAuthServant ztype _opts :> api :: Type) Source #
Instance details Defined in Wire.API.Routes.Public Methods toOpenApi :: Proxy (ZAuthServant ztype _opts :> api) -> OpenApi Source #
HasFeds rest => HasFeds (ZAuthServant ztype opts :> rest :: Type) Source #
Instance details Defined in Wire.API.MakesFederatedCall Methods getFedCalls :: Proxy (ZAuthServant ztype opts :> rest) -> State FedCallFrom [FedCallFrom] Source #
(IsZType ztype ctx, HasContextEntry (ctx .++ DefaultErrorFormatters) ErrorFormatters, SBoolI (FoldLenient opts), SBoolI (FoldRequired opts), HasServer api ctx) => HasServer (ZAuthServant ztype opts :> api :: Type) ctx Source #
Instance details Defined in Wire.API.Routes.Public Associated Types type ServerT (ZAuthServant ztype opts :> api) m Source # Methods route :: Proxy (ZAuthServant ztype opts :> api) -> Context ctx -> Delayed env (Server (ZAuthServant ztype opts :> api)) -> Router env Source # hoistServerWithContext :: Proxy (ZAuthServant ztype opts :> api) -> Proxy ctx -> (forall x. m x -> n x) -> ServerT (ZAuthServant ztype opts :> api) m -> ServerT (ZAuthServant ztype opts :> api) n Source #
type SpecialiseToVersion v (ZAuthServant t opts :> api) Source #
Instance details Defined in Wire.API.Routes.Public type SpecialiseToVersion v (ZAuthServant t opts :> api) = ZAuthServant t opts :> SpecialiseToVersion v api
type MkLink (ZAuthServant usr opts :> endpoint :: Type) a Source #
Instance details Defined in Wire.API.Routes.Public type MkLink (ZAuthServant usr opts :> endpoint :: Type) a = MkLink endpoint a
type ServerT (ZAuthServant ztype opts :> api :: Type) m Source #
Instance details Defined in Wire.API.Routes.Public type ServerT (ZAuthServant ztype opts :> api :: Type) m

Orphan instances

(Typeable ls, ToSchema a) => ToSchema (Headers ls a) Source #
Instance details Methods declareNamedSchema :: Proxy (Headers ls a) -> Declare (Definitions Schema) NamedSchema Source #