wire-api-federation-0.1.0: The Wire server-to-server API for federation
Safe HaskellSafe-Inferred
LanguageGHC2021

Wire.API.Federation.Endpoint

Documentation

type family ApplyMods (mods :: [Type]) api where ... Source #

Equations

ApplyMods ('[] :: [Type]) api = api 
ApplyMods (x ': xs) api = x :> ApplyMods xs api 

data Versioned v name Source #

Instances

Instances details
RenderableSymbol a => RenderableSymbol (Versioned v a :: Type) Source # 
Instance details

Defined in Wire.API.Federation.Endpoint

Methods

renderSymbol :: Text Source #

(IsNamed name, SingI v) => IsNamed (Versioned v name :: Type) Source # 
Instance details

Defined in Wire.API.Federation.API

Methods

nameVal' :: Text Source #

type FedPath (Versioned v name :: Type) Source # 
Instance details

Defined in Wire.API.Federation.Endpoint

type FedPath (Versioned v name :: Type) = name

type family FedPath (name :: k) :: Symbol Source #

Instances

Instances details
type FedPath (name :: Symbol) Source # 
Instance details

Defined in Wire.API.Federation.Endpoint

type FedPath (name :: Symbol) = name
type FedPath (Versioned v name :: Type) Source # 
Instance details

Defined in Wire.API.Federation.Endpoint

type FedPath (Versioned v name :: Type) = name

type UnnamedFedEndpointWithMods (mods :: [Type]) path input output = ApplyMods mods (path :> (OriginDomainHeader :> (ReqBody '[JSON] input :> Post '[JSON] output))) Source #

type FedEndpointWithMods (mods :: [Type]) name input output = Named name (UnnamedFedEndpointWithMods mods (FedPath name) input output) Source #

type FedEndpoint name input output = FedEndpointWithMods '[] name input output Source #

type NotificationFedEndpointWithMods (mods :: [Type]) name path input = Named name (UnnamedFedEndpointWithMods mods path input EmptyResponse) Source #

type NotificationFedEndpoint tag = MkNotificationFedEndpoint (NotificationMods tag) (NotificationPath tag) (NotificationVersionTag tag) (Payload tag) Source #

type family MkNotificationFedEndpoint (m :: [Type]) (s :: Symbol) (v :: Maybe k) (p :: Type) Source #

Instances

Instances details
type MkNotificationFedEndpoint m s ('Nothing :: Maybe k) p Source # 
Instance details

Defined in Wire.API.Federation.Endpoint

type MkNotificationFedEndpoint m s ('Nothing :: Maybe k) p = NotificationFedEndpointWithMods m s s p
type MkNotificationFedEndpoint m s ('Just v :: Maybe k) p Source # 
Instance details

Defined in Wire.API.Federation.Endpoint

type MkNotificationFedEndpoint m s ('Just v :: Maybe k) p = NotificationFedEndpointWithMods m (Versioned v s) s p

type StreamingFedEndpoint name input output = Named name (name :> (OriginDomainHeader :> (ReqBody '[JSON] input :> StreamPost NoFraming OctetStream output))) Source #