Idris2Doc : Network.TLS.Verify

Network.TLS.Verify

(source)

Definitions

certificate_check : List Certificate -> String -> CertificateCheck IO
  Given a list of trusted certificate, hostname of the server, verify the certificate chain
and return a public key to be used to verify TLS handshake

Visibility: export
certificate_ignore_check : String -> CertificateCheck IO
  A CertificateCheck function that always trusts the certificate unless it's malformed

Visibility: export