Idris2Doc : Network.TLS.Magic

Network.TLS.Magic

(source)
Definitions
data AlertLevel : Type
  Totality: total
  Visibility: public export
  Constructors:
  
Warning : AlertLevel
  
Fatal : AlertLevel

  Hints:
  
Eq AlertLevel
  
Generic AlertLevel [[], []]
  
Meta AlertLevel [[], []]
  
Show AlertLevel
alert_level_to_id : AlertLevel -> Bits8
  Visibility: public export
id_to_alert_level : Bits8 -> Maybe AlertLevel
  Visibility: public export
data AlertDescription : Type
  Totality: total
  Visibility: public export
  Constructors:
  
CloseNotify : AlertDescription
  
UnexpectedMessage : AlertDescription
  
BadRecordMac : AlertDescription
  
RecordOverflow : AlertDescription
  
HandshakeFailure : AlertDescription
  
BadCertificate : AlertDescription
  
UnsupportedCertificate : AlertDescription
  
CertificateRevoked : AlertDescription
  
CertificateExpired : AlertDescription
  
CertificateUnknown : AlertDescription
  
IllegalParameter : AlertDescription
  
UnknownCA : AlertDescription
  
AccessDenied : AlertDescription
  
DecodeError : AlertDescription
  
DecryptError : AlertDescription
  
ProtocolVersion : AlertDescription
  
InsufficientSecurity : AlertDescription
  
InternalError : AlertDescription
  
InappropriateFallback : AlertDescription
  
UserCanceled : AlertDescription
  
MissingExtension : AlertDescription
  
UnsupportedExtension : AlertDescription
  
UnrecognizedName : AlertDescription
  
BadCertificateStatusResponse : AlertDescription
  
UnknownPskIdentity : AlertDescription
  
CertificateRequired : AlertDescription
  
NoApplicationProtocol : AlertDescription

  Hints:
  
Eq AlertDescription
  
Generic AlertDescription [[], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], []]
  
Meta AlertDescription [[], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], []]
  
Show AlertDescription
alert_description_to_id : AlertDescription -> Bits8
  Visibility: public export
id_to_alert_description : Bits8 -> Maybe AlertDescription
  Visibility: public export
data SupportedGroup : Type
  Totality: total
  Visibility: public export
  Constructors:
  
X25519 : SupportedGroup
  
X448 : SupportedGroup
  
SECP256r1 : SupportedGroup
  
SECP384r1 : SupportedGroup
  
SECP521r1 : SupportedGroup

  Hints:
  
Eq SupportedGroup
  
Generic SupportedGroup [[], [], [], [], []]
  
Meta SupportedGroup [[], [], [], [], []]
  
Show SupportedGroup
supported_group_to_id : SupportedGroup -> (Bits8, Bits8)
  Visibility: public export
id_to_supported_group : (Bits8, Bits8) -> Maybe SupportedGroup
  Visibility: public export
curve_group_to_type : SupportedGroup -> DPair Type ECDHCyclicGroup
  Visibility: public export
curve_group_to_scalar_type : SupportedGroup -> Type
  Visibility: public export
curve_group_to_element_type : SupportedGroup -> Type
  Visibility: public export
data SignatureAlgorithm : Type
  Totality: total
  Visibility: public export
  Constructors:
  
RSA_PKCS1_SHA256 : SignatureAlgorithm
  
RSA_PKCS1_SHA384 : SignatureAlgorithm
  
RSA_PKCS1_SHA512 : SignatureAlgorithm
  
ECDSA_SECP256r1_SHA256 : SignatureAlgorithm
  
ECDSA_SECP384r1_SHA384 : SignatureAlgorithm
  
ECDSA_SECP521r1_SHA512 : SignatureAlgorithm
  
RSA_PSS_RSAE_SHA256 : SignatureAlgorithm
  
RSA_PSS_RSAE_SHA384 : SignatureAlgorithm
  
RSA_PSS_RSAE_SHA512 : SignatureAlgorithm

  Hints:
  
Eq SignatureAlgorithm
  
Generic SignatureAlgorithm [[], [], [], [], [], [], [], [], []]
  
Meta SignatureAlgorithm [[], [], [], [], [], [], [], [], []]
  
Show SignatureAlgorithm
signature_algorithm_to_id : SignatureAlgorithm -> (Bits8, Bits8)
  Visibility: public export
id_to_signature_algorithm : (Bits8, Bits8) -> Maybe SignatureAlgorithm
  Visibility: public export
data CompressionLevel : Type
  Totality: total
  Visibility: public export
  Constructor: 
Null : CompressionLevel

  Hints:
  
Eq CompressionLevel
  
Generic CompressionLevel [[]]
  
Meta CompressionLevel [[]]
  
Show CompressionLevel
compression_level_to_id : CompressionLevel -> Bits8
  Visibility: public export
id_to_compression_level : Bits8 -> Maybe CompressionLevel
  Visibility: public export
data CipherSuite : Type
  Totality: total
  Visibility: public export
  Constructors:
  
TLS_AES_128_GCM_SHA256 : CipherSuite
  TLS 1.3 Cipher Suites
  
TLS_AES_256_GCM_SHA384 : CipherSuite
  
TLS_CHACHA20_POLY1305_SHA256 : CipherSuite
  
TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256 : CipherSuite
  TLS 1.2 Cipher Suites
  
TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 : CipherSuite
  
TLS_ECDHE_ECDSA_WITH_AES_128_GCM_SHA256 : CipherSuite
  
TLS_ECDHE_ECDSA_WITH_AES_256_GCM_SHA384 : CipherSuite
  
TLS_ECDHE_RSA_WITH_CHACHA20_POLY1305_SHA256 : CipherSuite
  
TLS_ECDHE_ECDSA_WITH_CHACHA20_POLY1305_SHA256 : CipherSuite

  Hints:
  
Eq CipherSuite
  
Generic CipherSuite [[], [], [], [], [], [], [], [], []]
  
Meta CipherSuite [[], [], [], [], [], [], [], [], []]
  
Show CipherSuite
cipher_suite_to_id : CipherSuite -> (Bits8, Bits8)
  Visibility: public export
id_to_cipher_suite : (Bits8, Bits8) -> Maybe CipherSuite
  Visibility: public export
ciphersuite_to_hash_type : CipherSuite -> DPair Type Hash
  Visibility: public export
ciphersuite_to_prf_type : CipherSuite -> DPair Type Hash
  Visibility: public export
ciphersuite_to_verify_data_len : CipherSuite -> Nat
  Visibility: public export
ciphersuite_to_aead_type : CipherSuite -> DPair Type AEAD
  Visibility: public export
data TLSVersion : Type
  Totality: total
  Visibility: public export
  Constructors:
  
TLS10 : TLSVersion
  
TLS11 : TLSVersion
  
TLS12 : TLSVersion
  
TLS13 : TLSVersion

  Hints:
  
Eq TLSVersion
  
Generic TLSVersion [[], [], [], []]
  
Meta TLSVersion [[], [], [], []]
  
Ord TLSVersion
  
Show TLSVersion
tls_version_to_id : TLSVersion -> (Bits8, Bits8)
  Visibility: public export
id_to_tls_version : (Bits8, Bits8) -> Maybe TLSVersion
  Visibility: public export
data ExtensionType : Type
  Totality: total
  Visibility: public export
  Constructors:
  
ServerName : ExtensionType
  
SupportedGroups : ExtensionType
  
SupportedVersions : ExtensionType
  
SignatureAlgorithms : ExtensionType
  
KeyShare : ExtensionType
  
Unknown : (Bits8, Bits8) -> ExtensionType

  Hints:
  
Eq ExtensionType
  
Generic ExtensionType [[], [], [], [], [], [(Bits8, Bits8)]]
  
Meta ExtensionType [[], [], [], [], [], [(Bits8, Bits8)]]
  
Show (ClientExtension type)
  
Show (ServerExtension type)
  
Show ExtensionType
extension_type_to_id : ExtensionType -> (Bits8, Bits8)
  Visibility: public export
id_to_extension_type : (Bits8, Bits8) -> ExtensionType
  Visibility: public export
data HandshakeType : Type
  Totality: total
  Visibility: public export
  Constructors:
  
ClientHello : HandshakeType
  
ServerHello : HandshakeType
  
NewSessionTicket : HandshakeType
  
EncryptedExtensions : HandshakeType
  
Certificate : HandshakeType
  
CertificateVerify : HandshakeType
  
Finished : HandshakeType
  
ServerKeyExchange : HandshakeType
  
ServerHelloDone : HandshakeType
  
ClientKeyExchange : HandshakeType

  Hints:
  
Eq HandshakeType
  
Generic HandshakeType [[], [], [], [], [], [], [], [], [], []]
  
Meta HandshakeType [[], [], [], [], [], [], [], [], [], []]
  
Show (Handshake type)
  
Show HandshakeType
handshake_type_to_id : HandshakeType -> Bits8
  Visibility: public export
id_to_handshake_type : Bits8 -> Maybe HandshakeType
  Visibility: public export
data RecordType : Type
  Totality: total
  Visibility: public export
  Constructors:
  
ChangeCipherSpec : RecordType
  
Handshake : RecordType
  
ApplicationData : RecordType
  
Alert : RecordType

  Hints:
  
Eq RecordType
  
Generic RecordType [[], [], [], []]
  
Meta RecordType [[], [], [], []]
  
Show (Record type)
  
Show RecordType
record_type_to_id : RecordType -> Bits8
  Visibility: public export
id_to_record_type : Bits8 -> Maybe RecordType
  Visibility: public export
magic : (Cons (Posed Bits8) i, Monoid i) => (a -> Vect (S k) Bits8) -> (Vect (S k) Bits8 -> Maybe a) -> Parserializer Bits8 i (SimpleError String) a
  creates a parserializer given an isomorphism from a type to a constant

  Visibility: export
alert_level : (Cons (Posed Bits8) i, Monoid i) => Parserializer Bits8 i (SimpleError String) AlertLevel
  Visibility: export
alert_description : (Cons (Posed Bits8) i, Monoid i) => Parserializer Bits8 i (SimpleError String) AlertDescription
  Visibility: export
tls_version : (Cons (Posed Bits8) i, Monoid i) => Parserializer Bits8 i (SimpleError String) TLSVersion
  Visibility: export
cipher_suite : (Cons (Posed Bits8) i, Monoid i) => Parserializer Bits8 i (SimpleError String) CipherSuite
  Visibility: export
supported_group : (Cons (Posed Bits8) i, Monoid i) => Parserializer Bits8 i (SimpleError String) SupportedGroup
  Visibility: export
signature_algorithm : (Cons (Posed Bits8) i, Monoid i) => Parserializer Bits8 i (SimpleError String) SignatureAlgorithm
  Visibility: export
compression_level : (Cons (Posed Bits8) i, Monoid i) => Parserializer Bits8 i (SimpleError String) CompressionLevel
  Visibility: export
extension_type : (Cons (Posed Bits8) i, Monoid i) => Parserializer Bits8 i (SimpleError String) ExtensionType
  Visibility: public export
handshake_type : (Cons (Posed Bits8) i, Monoid i) => Parserializer Bits8 i (SimpleError String) HandshakeType
  Visibility: public export
record_type : (Cons (Posed Bits8) i, Monoid i) => Parserializer Bits8 i (SimpleError String) RecordType
  Visibility: export