Safe Haskell	Safe-Inferred
Language	GHC2021

Wire.API.Routes.Versioned

Documentation

data VersionedReqBody' v (mods :: [Type]) (ct :: [Type]) (a :: Type) Source #

Instances

Instances details

RoutesToPaths rest => RoutesToPaths (VersionedReqBody' v mods ct a :> rest :: Type) Source #
Instance details Defined in Wire.API.Routes.Versioned Methods getRoutes :: Forest PathSegment Source #
(ToSchema (Versioned v a), HasOpenApi api, AllAccept cts) => HasOpenApi (VersionedReqBody v cts a :> api :: Type) Source #
Instance details Defined in Wire.API.Routes.Versioned Methods toOpenApi :: Proxy (VersionedReqBody v cts a :> api) -> OpenApi Source #
(AllCTUnrender cts (Versioned v a), HasServer api context, HasContextEntry (context .++ DefaultErrorFormatters) ErrorFormatters) => HasServer (VersionedReqBody' v mods cts a :> api :: Type) context Source #
Instance details Defined in Wire.API.Routes.Versioned Associated Types type ServerT (VersionedReqBody' v mods cts a :> api) m Source # Methods route :: Proxy (VersionedReqBody' v mods cts a :> api) -> Context context -> Delayed env (Server (VersionedReqBody' v mods cts a :> api)) -> Router env Source # hoistServerWithContext :: Proxy (VersionedReqBody' v mods cts a :> api) -> Proxy context -> (forall x. m x -> n x) -> ServerT (VersionedReqBody' v mods cts a :> api) m -> ServerT (VersionedReqBody' v mods cts a :> api) n Source #
type SpecialiseToVersion w (VersionedReqBody v cts a :> api) Source #
Instance details Defined in Wire.API.Routes.Versioned type SpecialiseToVersion w (VersionedReqBody v cts a :> api) = VersionedReqBody v cts a :> SpecialiseToVersion w api
type ServerT (VersionedReqBody' v mods cts a :> api :: Type) m Source #
Instance details Defined in Wire.API.Routes.Versioned type ServerT (VersionedReqBody' v mods cts a :> api :: Type) m = a -> ServerT api m

type VersionedReqBody v = VersionedReqBody' v '[Required, Strict] Source #

data VersionedRespond v (s :: Nat) (desc :: Symbol) (a :: Type) Source #

Instances

Instances details

IsResponse cs (Respond s desc (Versioned v a)) => IsResponse (cs :: k) (VersionedRespond v s desc a) Source #
Instance details Defined in Wire.API.Routes.Versioned Associated Types type ResponseStatus (VersionedRespond v s desc a) :: Nat Source # type ResponseBody (VersionedRespond v s desc a) Source # Methods responseRender :: AcceptHeader -> ResponseType (VersionedRespond v s desc a) -> Maybe (ResponseF (ResponseBody (VersionedRespond v s desc a))) Source # responseUnrender :: MediaType -> ResponseF (ResponseBody (VersionedRespond v s desc a)) -> UnrenderResult (ResponseType (VersionedRespond v s desc a)) Source #
(KnownSymbol desc, ToSchema a, SingI v, ToSchema (Versioned v a), Typeable v) => IsSwaggerResponse (VersionedRespond v s desc a :: Type) Source #
Instance details Defined in Wire.API.Routes.Versioned Methods responseSwagger :: Declare Response Source #
type ResponseBody (VersionedRespond v s desc a) Source #
Instance details Defined in Wire.API.Routes.Versioned type ResponseBody (VersionedRespond v s desc a) = ResponseBody (Respond s desc a)
type ResponseStatus (VersionedRespond v s desc a) Source #
Instance details Defined in Wire.API.Routes.Versioned type ResponseStatus (VersionedRespond v s desc a) = ResponseStatus (Respond s desc a)
type ResponseType (VersionedRespond v s desc a) Source #
Instance details Defined in Wire.API.Routes.Versioned type ResponseType (VersionedRespond v s desc a) = a

newtype Versioned (v :: Version) a Source #

Constructors

Versioned
Fields unVersioned :: a

Instances

Instances details

Functor (Versioned v) Source #
Instance details Defined in Wire.API.Routes.Versioned Methods fmap :: (a -> b) -> Versioned v a -> Versioned v b # (<$) :: a -> Versioned v b -> Versioned v a #
Arbitrary a => Arbitrary (Versioned v a) Source #
Instance details Defined in Wire.API.Routes.Versioned Methods arbitrary :: Gen (Versioned v a) Source # shrink :: Versioned v a -> [Versioned v a] Source #
ToSchema (Versioned v a) => FromJSON (Versioned v a) Source #
Instance details Defined in Wire.API.Routes.Versioned Methods parseJSON :: Value -> Parser (Versioned v a) Source # parseJSONList :: Value -> Parser [Versioned v a] Source #
ToSchema (Versioned v a) => ToJSON (Versioned v a) Source #
Instance details Defined in Wire.API.Routes.Versioned Methods toJSON :: Versioned v a -> Value Source # toEncoding :: Versioned v a -> Encoding Source # toJSONList :: [Versioned v a] -> Value Source # toEncodingList :: [Versioned v a] -> Encoding Source #
Show a => Show (Versioned v a) Source #
Instance details Defined in Wire.API.Routes.Versioned Methods showsPrec :: Int -> Versioned v a -> ShowS # show :: Versioned v a -> String # showList :: [Versioned v a] -> ShowS #
Eq a => Eq (Versioned v a) Source #
Instance details Defined in Wire.API.Routes.Versioned Methods (==) :: Versioned v a -> Versioned v a -> Bool # (/=) :: Versioned v a -> Versioned v a -> Bool #
(SingI v, ToSchema (Versioned v a), Typeable a, Typeable v) => ToSchema (Versioned v a) Source #
Instance details Defined in Wire.API.Routes.Versioned Methods declareNamedSchema :: Proxy (Versioned v a) -> Declare (Definitions Schema) NamedSchema Source #
ToSchema (Versioned 'V2 ConversationAccessData) Source #
Instance details Defined in Wire.API.Conversation Methods schema :: ValueSchema NamedSwaggerDoc (Versioned 'V2 ConversationAccessData) Source #
ToSchema (Versioned 'V2 (ConversationList Conversation)) Source #
Instance details Defined in Wire.API.Conversation Methods schema :: ValueSchema NamedSwaggerDoc (Versioned 'V2 (ConversationList Conversation)) Source #
ToSchema (Versioned 'V2 ConversationMetadata) Source #
Instance details Defined in Wire.API.Conversation Methods schema :: ValueSchema NamedSwaggerDoc (Versioned 'V2 ConversationMetadata) Source #
ToSchema (Versioned 'V2 NewConv) Source #
Instance details Defined in Wire.API.Conversation Methods schema :: ValueSchema NamedSwaggerDoc (Versioned 'V2 NewConv) Source #
ToSchema (Versioned 'V5 ConversationMLSData) Source #
Instance details Defined in Wire.API.Conversation.Protocol Methods schema :: ValueSchema NamedSwaggerDoc (Versioned 'V5 ConversationMLSData) Source #
ToSchema (Versioned 'V5 Protocol) Source #
Instance details Defined in Wire.API.Conversation.Protocol Methods schema :: ValueSchema NamedSwaggerDoc (Versioned 'V5 Protocol) Source #
ToSchema (Versioned 'V5 PublicSubConversation) Source #
Instance details Defined in Wire.API.MLS.SubConversation Methods schema :: ValueSchema NamedSwaggerDoc (Versioned 'V5 PublicSubConversation) Source #
ToSchema (Versioned 'V6 Client) Source #
Instance details Defined in Wire.API.User.Client Methods schema :: ValueSchema NamedSwaggerDoc (Versioned 'V6 Client) Source #
ToSchema (Versioned 'V6 ClientCapabilityList) Source #
Instance details Defined in Wire.API.User.Client Methods schema :: ValueSchema NamedSwaggerDoc (Versioned 'V6 ClientCapabilityList) Source #
ToSchema (Versioned 'V6 [Client]) Source #
Instance details Defined in Wire.API.User.Client Methods schema :: ValueSchema NamedSwaggerDoc (Versioned 'V6 [Client]) Source #
SingI v => ToSchema (Versioned v Conversation) Source #
Instance details Defined in Wire.API.Conversation Methods schema :: ValueSchema NamedSwaggerDoc (Versioned v Conversation) Source #
SingI v => ToSchema (Versioned v ConversationsResponse) Source #
Instance details Defined in Wire.API.Conversation Methods schema :: ValueSchema NamedSwaggerDoc (Versioned v ConversationsResponse) Source #
SingI v => ToSchema (Versioned v CreateGroupConversation) Source #
Instance details Defined in Wire.API.Conversation Methods schema :: ValueSchema NamedSwaggerDoc (Versioned v CreateGroupConversation) Source #