Idris2Doc : Network.TLS.Certificate.System

Network.TLS.Certificate.System

(source)

Definitions

get_system_trusted_certs : IO (EitherString (ListCertificate))
Visibility: export