Network.TLS.Record

Reexports

import public Network.TLS.HelloExtension
import public Network.TLS.Handshake
import public Network.TLS.Magic
import public Network.TLS.Parsing
import public Network.TLS.Wrapper

Definitions

data Record : RecordType -> Type

Totality: total
Visibility: public export
Constructors:

ChangeCipherSpec : List Bits8 -> Record ChangeCipherSpec
Handshake : List (DPair HandshakeType Handshake) -> Record Handshake
ApplicationData : List Bits8 -> Record ApplicationData
Alert : (AlertLevel, AlertDescription) -> Record Alert

Hint:

Show (Record type)

no_id_change_cipher_spec : (Cons (Posed Bits8) i, Monoid i) => Parserializer Bits8 i (SimpleError String) (Record ChangeCipherSpec)

Visibility: export

no_id_handshake : (Cons (Posed Bits8) i, Monoid i) => Parserializer Bits8 i (SimpleError String) (Record Handshake)

Visibility: export

no_id_handshake2 : (Cons (Posed Bits8) i, Monoid i) => Parserializer Bits8 i (SimpleError String) (Record Handshake)

Visibility: export

no_id_application_data : (Cons (Posed Bits8) i, Monoid i) => Parserializer Bits8 i (SimpleError String) (Record ApplicationData)

Visibility: export

record_type_with_version : (Cons (Posed Bits8) i, Monoid i) => Parserializer Bits8 i (SimpleError String) (RecordType, TLSVersion)

Visibility: export

record_type_with_version_with_length : (Cons (Posed Bits8) i, Monoid i) => Parserializer Bits8 i (SimpleError String) (RecordType, (TLSVersion, Nat))

Visibility: export

alert : (Cons (Posed Bits8) i, Monoid i) => Parserializer Bits8 i (SimpleError String) (AlertLevel, AlertDescription)

Visibility: export

no_id_alert : (Cons (Posed Bits8) i, Monoid i) => Parserializer Bits8 i (SimpleError String) (Record Alert)

Visibility: export

with_id_with_version : (Cons (Posed Bits8) i, Monoid i) => Parserializer Bits8 i (SimpleError String) (Record type) -> Parserializer Bits8 i (SimpleError String) (TLSVersion, Record type)

Visibility: export

arecord : (Cons (Posed Bits8) i, Monoid i) => Parserializer Bits8 i (SimpleError String) (TLSVersion, DPair RecordType Record)

Visibility: export

arecord2 : (Cons (Posed Bits8) i, Monoid i) => Parserializer Bits8 i (SimpleError String) (TLSVersion, DPair RecordType Record)

Visibility: export

alert_or_arecord : (Cons (Posed Bits8) i, Monoid i) => Parserializer Bits8 i (SimpleError String) (Either (AlertLevel, AlertDescription) (TLSVersion, DPair RecordType Record))

Visibility: export

alert_or_arecord2 : (Cons (Posed Bits8) i, Monoid i) => Parserializer Bits8 i (SimpleError String) (Either (AlertLevel, AlertDescription) (TLSVersion, DPair RecordType Record))

Visibility: export

wrapper2 : (Cons (Posed Bits8) i, Monoid i) => Parserializer Bits8 i (SimpleError String) (RecordType, (TLSVersion, Wrapper2 iv_size mac_size))

Visibility: export