Idris2Doc : Network.TLS.Verify

Network.TLS.Verify

(source)

Definitions

certificate_check : ListCertificate->String->CertificateCheckIO
  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->CertificateCheckIO
  A CertificateCheck function that always trusts the certificate unless it's malformed

Visibility: export