Version #
This module defines Version, the set of HTTP protocol versions modeled by this library.
Reference: https://httpwg.org/specs/rfc9110.html#protocol.version
HTTP protocol versions modeled by this library.
Reference: https://httpwg.org/specs/rfc9110.html#protocol.version
Instances For
Equations
- Std.Http.instReprVersion.repr Std.Http.Version.v10 prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Std.Http.Version.v10")).group prec✝
- Std.Http.instReprVersion.repr Std.Http.Version.v11 prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Std.Http.Version.v11")).group prec✝
- Std.Http.instReprVersion.repr Std.Http.Version.v20 prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Std.Http.Version.v20")).group prec✝
- Std.Http.instReprVersion.repr Std.Http.Version.v30 prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Std.Http.Version.v30")).group prec✝
Instances For
@[implicit_reducible]
Equations
- Std.Http.instReprVersion = { reprPrec := Std.Http.instReprVersion.repr }
Instances For
@[implicit_reducible]
Equations
Equations
- Std.Http.instBEqVersion.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)
Instances For
@[implicit_reducible]
Equations
@[implicit_reducible]
Converts String to the corresponding Version.
Equations
- Std.Http.Version.ofString? "HTTP/1.0" = some Std.Http.Version.v10
- Std.Http.Version.ofString? "HTTP/1.1" = some Std.Http.Version.v11
- Std.Http.Version.ofString? "HTTP/2.0" = some Std.Http.Version.v20
- Std.Http.Version.ofString? "HTTP/3.0" = some Std.Http.Version.v30
- Std.Http.Version.ofString? x✝ = none
Instances For
@[implicit_reducible]
Equations
- One or more equations did not get rendered due to their size.