// //------------------ DOK FILE -------------------------------------------------- +Header core.net.tls13 =pkg core.net.tls13 =title core.net.tls13 =short =desc Documentation in progress... // // //------------------ PROTO ----------------------------------------------------- TLS13 +Proto TLS13 =type TLS13 =mode structure =pkg core.net.tls13 =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- tlsAlert +Proto tlsAlert =type fun TLS13 -> Int =mode function =pkg core.net.tls13 =impl mcy =link =desc // +arg A =type TLS13 =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- tlsFromStream +Proto tlsFromStream =type fun a1{Stream} -> TLS13 =mode function =pkg core.net.tls13 =impl mcy =link =desc // +arg A =type a1{Stream} =desc // +arg result =type TLS13 =desc // // //------------------ PROTO ----------------------------------------------------- tlsGetCertificateChain +Proto tlsGetCertificateChain =type fun TLS13 -> list X509 =mode function =pkg core.net.tls13 =impl mcy =link =desc // +arg A =type TLS13 =desc // +arg result =type list X509 =desc // // //------------------ PROTO ----------------------------------------------------- tlsGetClientCertificate +Proto tlsGetClientCertificate =type fun TLS13 -> X509 =mode function =pkg core.net.tls13 =impl mcy =link =desc // +arg A =type TLS13 =desc // +arg result =type X509 =desc // // //------------------ PROTO ----------------------------------------------------- tlsGetServerName +Proto tlsGetServerName =type fun TLS13 -> Str =mode function =pkg core.net.tls13 =impl mcy =link =desc // +arg A =type TLS13 =desc // +arg result =type Str =desc // // //------------------ PROTO ----------------------------------------------------- tlsMakeHosts +Proto tlsMakeHosts =type fun list [Str Str list Str Str] -> (hashmap Str -> [Key Str X509]) =mode function =pkg core.net.tls13 =impl mcy =link =desc // +arg A =type list [Str Str list Str Str] =desc // +arg result =type hashmap Str -> [Key Str X509] =desc // // //------------------ PROTO ----------------------------------------------------- tlsSetCipherSuites +Proto tlsSetCipherSuites =type fun TLS13 list Int -> list Int =mode function =pkg core.net.tls13 =impl mcy =link =desc // +arg cipherSuites) =type TLS13 =desc // +arg B =type list Int =desc // +arg result =type list Int =desc // // //------------------ PROTO ----------------------------------------------------- tlsSetSignatureAlgorithms +Proto tlsSetSignatureAlgorithms =type fun TLS13 list Int -> list Int =mode function =pkg core.net.tls13 =impl mcy =link =desc // +arg signatureAlgorithms) =type TLS13 =desc // +arg B =type list Int =desc // +arg result =type list Int =desc // // //------------------ PROTO ----------------------------------------------------- tlsSetSupportedGroups +Proto tlsSetSupportedGroups =type fun TLS13 list Int -> list Int =mode function =pkg core.net.tls13 =impl mcy =link =desc // +arg supportedGroups) =type TLS13 =desc // +arg B =type list Int =desc // +arg result =type list Int =desc // // //------------------ PROTO ----------------------------------------------------- tlsStartClient +Proto tlsStartClient =type fun Stream Str -> TLS13 =mode function =pkg core.net.tls13 =impl mcy =link =desc // +arg serverName) =type Stream =desc // +arg B =type Str =desc // +arg result =type TLS13 =desc // // //------------------ PROTO ----------------------------------------------------- tlsStartClientExt +Proto tlsStartClientExt =type fun Stream Str list Int Str Str -> TLS13 =mode function =pkg core.net.tls13 =impl mcy =link =desc // +arg serverName, =type Stream =desc // +arg cipherSuites, =type Str =desc // +arg clientCertificate, =type list Int =desc // +arg clientKey) =type Str =desc // +arg E =type Str =desc // +arg result =type TLS13 =desc // // //------------------ PROTO ----------------------------------------------------- tlsStartServer +Proto tlsStartServer =type fun Stream (hashmap Str -> [Key Str X509]) -> TLS13 =mode function =pkg core.net.tls13 =impl mcy =link =desc // +arg hosts) =type Stream =desc // +arg B =type hashmap Str -> [Key Str X509] =desc // +arg result =type TLS13 =desc // // //------------------ PROTO ----------------------------------------------------- tlsWho +Proto tlsWho =type fun TLS13 -> Str =mode function =pkg core.net.tls13 =impl mcy =link =desc // +arg A =type TLS13 =desc // +arg result =type Str =desc