Idris2Doc : Network.TLS.HelloExtension

Network.TLS.HelloExtension

(source)
Definitions
KeyBytes : Type
  Visibility: public export
data ServerNameEntry : Type
  Totality: total
  Visibility: public export
  Constructor: 
DNS : String -> ServerNameEntry

  Hint: 
Show ServerNameEntry
data ClientExtension : ExtensionType -> Type
  Totality: total
  Visibility: public export
  Constructors:
  
ServerName : List1 ServerNameEntry -> ClientExtension ServerName
  
SupportedGroups : List1 SupportedGroup -> ClientExtension SupportedGroups
  
SignatureAlgorithms : List1 SignatureAlgorithm -> ClientExtension SignatureAlgorithms
  
SupportedVersions : List1 TLSVersion -> ClientExtension SupportedVersions
  
KeyShare : List1 (SupportedGroup, KeyBytes) -> ClientExtension KeyShare

  Hint: 
Show (ClientExtension type)
data ServerExtension : ExtensionType -> Type
  Totality: total
  Visibility: public export
  Constructors:
  
SupportedGroups : SupportedGroup -> ServerExtension SupportedGroups
  
SignatureAlgorithms : SignatureAlgorithm -> ServerExtension SignatureAlgorithms
  
SupportedVersions : TLSVersion -> ServerExtension SupportedVersions
  
KeyShare : (SupportedGroup, KeyBytes) -> ServerExtension KeyShare
  
Unknown : (id : (Bits8, Bits8)) -> List Bits8 -> ServerExtension (Unknown id)

  Hint: 
Show (ServerExtension type)
with_id : (Cons (Posed Bits8) i, Monoid i) => Parserializer Bits8 i (SimpleError String) (ClientExtension type) -> Parserializer Bits8 i (SimpleError String) (ClientExtension type)
  Visibility: export
server_name_dns_entry : (Cons (Posed Bits8) i, Monoid i) => Parserializer Bits8 i (SimpleError String) String
  Visibility: export
server_name_entry : (Cons (Posed Bits8) i, Monoid i) => Parserializer Bits8 i (SimpleError String) ServerNameEntry
  Visibility: export
no_id_server_name : (Cons (Posed Bits8) i, Monoid i) => Parserializer Bits8 i (SimpleError String) (ClientExtension ServerName)
  Visibility: export
no_id_supported_groups : (Cons (Posed Bits8) i, Monoid i) => Parserializer Bits8 i (SimpleError String) (ClientExtension SupportedGroups)
  Visibility: export
no_id_signature_algorithms : (Cons (Posed Bits8) i, Monoid i) => Parserializer Bits8 i (SimpleError String) (ClientExtension SignatureAlgorithms)
  Visibility: export
no_id_supported_versions : (Cons (Posed Bits8) i, Monoid i) => Parserializer Bits8 i (SimpleError String) (ClientExtension SupportedVersions)
  Visibility: export
no_id_key_share : (Cons (Posed Bits8) i, Monoid i) => Parserializer Bits8 i (SimpleError String) (ClientExtension KeyShare)
  Visibility: export
extension : (Cons (Posed Bits8) i, Monoid i) => Parserializer Bits8 i (SimpleError String) (DPair ExtensionType ClientExtension)
  Visibility: export
no_id_supported_groups : (Cons (Posed Bits8) i, Monoid i) => Parserializer Bits8 i (SimpleError String) (ServerExtension SupportedGroups)
  Visibility: export
no_id_signature_algorithms : (Cons (Posed Bits8) i, Monoid i) => Parserializer Bits8 i (SimpleError String) (ServerExtension SignatureAlgorithms)
  Visibility: export
no_id_supported_versions : (Cons (Posed Bits8) i, Monoid i) => Parserializer Bits8 i (SimpleError String) (ServerExtension SupportedVersions)
  Visibility: export
no_id_key_share : (Cons (Posed Bits8) i, Monoid i) => Parserializer Bits8 i (SimpleError String) (ServerExtension KeyShare)
  Visibility: export
with_id : (Cons (Posed Bits8) i, Monoid i) => Parserializer Bits8 i (SimpleError String) (ServerExtension type) -> Parserializer Bits8 i (SimpleError String) (ServerExtension type)
  Visibility: export
with_id_unknown : (Cons (Posed Bits8) i, Monoid i) => Parserializer Bits8 i (SimpleError String) (rid : (Bits8, Bits8) ** ServerExtension (Unknown rid))
  Visibility: export
extension : (Cons (Posed Bits8) i, Monoid i) => Parserializer Bits8 i (SimpleError String) (DPair ExtensionType ServerExtension)
  Visibility: export