inductive Network.Wai.Handler.WarpTLS.OnInsecure : Type

How to handle non-TLS (plain HTTP) connections.

• denyInsecure (message : String) : OnInsecure
• allowInsecure : OnInsecure

def Network.Wai.Handler.WarpTLS.instBEqOnInsecure.beq : OnInsecure → OnInsecure → Bool

Equations

• Network.Wai.Handler.WarpTLS.instBEqOnInsecure.beq (Network.Wai.Handler.WarpTLS.OnInsecure.denyInsecure a) (Network.Wai.Handler.WarpTLS.OnInsecure.denyInsecure b) = (a == b)
• Network.Wai.Handler.WarpTLS.instBEqOnInsecure.beq Network.Wai.Handler.WarpTLS.OnInsecure.allowInsecure Network.Wai.Handler.WarpTLS.OnInsecure.allowInsecure = true
• Network.Wai.Handler.WarpTLS.instBEqOnInsecure.beq x✝¹ x✝ = false

@[implicit_reducible]

instance Network.Wai.Handler.WarpTLS.instBEqOnInsecure : BEq OnInsecure

Equations

• Network.Wai.Handler.WarpTLS.instBEqOnInsecure = { beq := Network.Wai.Handler.WarpTLS.instBEqOnInsecure.beq }

@[implicit_reducible]

instance Network.Wai.Handler.WarpTLS.instReprOnInsecure : Repr OnInsecure

Equations

• Network.Wai.Handler.WarpTLS.instReprOnInsecure = { reprPrec := Network.Wai.Handler.WarpTLS.instReprOnInsecure.repr }

def Network.Wai.Handler.WarpTLS.instReprOnInsecure.repr : OnInsecure → Nat → Std.Format

Equations

• One or more equations did not get rendered due to their size.

inductive Network.Wai.Handler.WarpTLS.CertSettings : Type

Certificate source.

• certFile (certPath keyPath : String) : CertSettings

def Network.Wai.Handler.WarpTLS.instReprCertSettings.repr : CertSettings → Nat → Std.Format

Equations

• One or more equations did not get rendered due to their size.

@[implicit_reducible]

instance Network.Wai.Handler.WarpTLS.instReprCertSettings : Repr CertSettings

Equations

• Network.Wai.Handler.WarpTLS.instReprCertSettings = { reprPrec := Network.Wai.Handler.WarpTLS.instReprCertSettings.repr }

structure Network.Wai.Handler.WarpTLS.TLSSettings : Type

TLS-specific settings for warp-tls.

• certSettings : CertSettings
• onInsecure : OnInsecure
• alpn : Bool

def Network.Wai.Handler.WarpTLS.runTLS (tlsSettings : TLSSettings) (settings : Warp.Settings) (app : Application) : IO Unit

Run a WAI application with TLS on the given port.

Equations

• One or more equations did not get rendered due to their size.