Safe Haskell	Safe-Inferred
Language	GHC2021

Wire.API.Routes.SpecialiseToVersion

Description

Version-aware swagger generation

Documentation

type family SpecialiseToVersion (v :: k) api Source #

Instances

Instances details

type SpecialiseToVersion (v :: k) RawM Source #
Instance details Defined in Wire.API.Routes.SpecialiseToVersion type SpecialiseToVersion (v :: k) RawM = RawM
type SpecialiseToVersion (v :: k) EmptyAPI Source #
Instance details Defined in Wire.API.Routes.SpecialiseToVersion type SpecialiseToVersion (v :: k) EmptyAPI = EmptyAPI
type SpecialiseToVersion (v :: k) (api1 :<\|> api2) Source #
Instance details Defined in Wire.API.Routes.SpecialiseToVersion type SpecialiseToVersion (v :: k) (api1 :<\|> api2) = SpecialiseToVersion v api1 :<\|> SpecialiseToVersion v api2
type SpecialiseToVersion (v :: k) (s :> api) Source #
Instance details Defined in Wire.API.Routes.SpecialiseToVersion type SpecialiseToVersion (v :: k) (s :> api) = s :> SpecialiseToVersion v api
type SpecialiseToVersion (v :: k) (Capture' mod sym a :> api) Source #
Instance details Defined in Wire.API.Routes.SpecialiseToVersion type SpecialiseToVersion (v :: k) (Capture' mod sym a :> api) = Capture' mod sym a :> SpecialiseToVersion v api
type SpecialiseToVersion (v :: k) (Description desc :> api) Source #
Instance details Defined in Wire.API.Routes.SpecialiseToVersion type SpecialiseToVersion (v :: k) (Description desc :> api) = Description desc :> SpecialiseToVersion v api
type SpecialiseToVersion (v :: k) (Summary s :> api) Source #
Instance details Defined in Wire.API.Routes.SpecialiseToVersion type SpecialiseToVersion (v :: k) (Summary s :> api) = Summary s :> SpecialiseToVersion v api
type SpecialiseToVersion (v :: k) (Header' opts l x :> api) Source #
Instance details Defined in Wire.API.Routes.SpecialiseToVersion type SpecialiseToVersion (v :: k) (Header' opts l x :> api) = Header' opts l x :> SpecialiseToVersion v api
type SpecialiseToVersion (v :: k) (QueryParam' mods l x :> api) Source #
Instance details Defined in Wire.API.Routes.SpecialiseToVersion type SpecialiseToVersion (v :: k) (QueryParam' mods l x :> api) = QueryParam' mods l x :> SpecialiseToVersion v api
type SpecialiseToVersion (v :: k) (ReqBody t x :> api) Source #
Instance details Defined in Wire.API.Routes.SpecialiseToVersion type SpecialiseToVersion (v :: k) (ReqBody t x :> api) = ReqBody t x :> SpecialiseToVersion v api
type SpecialiseToVersion (v :: k) (StreamBody' opts f t x :> api) Source #
Instance details Defined in Wire.API.Routes.SpecialiseToVersion type SpecialiseToVersion (v :: k) (StreamBody' opts f t x :> api) = StreamBody' opts f t x :> SpecialiseToVersion v api
type SpecialiseToVersion (v :: k) (Deprecated :> api) Source #
Instance details Defined in Wire.API.Routes.SpecialiseToVersion type SpecialiseToVersion (v :: k) (Deprecated :> api) = Deprecated :> SpecialiseToVersion v api
type SpecialiseToVersion (v :: k) (From w :> api) Source #
Instance details Defined in Wire.API.Routes.SpecialiseToVersion type SpecialiseToVersion (v :: k) (From w :> api) = If (v < w) EmptyAPI (SpecialiseToVersion v api)
type SpecialiseToVersion (v :: k) (Until w :> api) Source #
Instance details Defined in Wire.API.Routes.SpecialiseToVersion type SpecialiseToVersion (v :: k) (Until w :> api) = If (v < w) (SpecialiseToVersion v api) EmptyAPI
type SpecialiseToVersion (v :: k1) (Named n api) Source #
Instance details Defined in Wire.API.Routes.SpecialiseToVersion type SpecialiseToVersion (v :: k1) (Named n api) = Named n (SpecialiseToVersion v api)
type SpecialiseToVersion (v :: k) (Verb m s t r) Source #
Instance details Defined in Wire.API.Routes.SpecialiseToVersion type SpecialiseToVersion (v :: k) (Verb m s t r) = Verb m s t r
type SpecialiseToVersion (v :: k1) (MultiVerb m t r x) Source #
Instance details Defined in Wire.API.Routes.SpecialiseToVersion type SpecialiseToVersion (v :: k1) (MultiVerb m t r x) = MultiVerb m t r x