Erl.Ssl

data AntiReplay

Instances

• Eq AntiReplay
• ToErl AntiReplay

data Key

Instances

• Eq Key
• ToErl Key

data Ciphers

Instances

• Eq Ciphers
• ToErl Ciphers

data SignScheme

Instances

• Eq SignScheme
• ToErl SignScheme

data Group

Instances

• Eq Group
• ToErl Group

type VerifyFn = OTPCertificate -> VerifyEvent -> VerifyFnResult

data VerifyEvent

Instances

• Eq VerifyEvent

data VerifyFnResult

Instances

• Eq VerifyFnResult

type PartialChainFn = List DerEncoded -> Maybe DerEncoded

data UserLookupFn

Instances

• Eq UserLookupFn

data ProtocolVersion

Instances

• Eq ProtocolVersion
• ToErl ProtocolVersion

data LogLevel

Instances

• Eq LogLevel
• ToErl LogLevel

data OTPCertificate

Instances

• Eq OTPCertificate

data BeastMitigation

Instances

• Eq BeastMitigation
• ToErl BeastMitigation

data CrlCheck

Instances

• Eq CrlCheck
• ToErl CrlCheck

data NamedCurve

Instances

• Eq NamedCurve
• ToErl NamedCurve

data HandshakeCompletion

Instances

• Eq HandshakeCompletion
• ToErl HandshakeCompletion

data Protocol

Instances

• Eq Protocol
• ToErl Protocol

data ClientSessionTickets

Instances

• Eq ClientSessionTickets
• ToErl ClientSessionTickets

data ServerSessionTickets

Instances

• Eq ServerSessionTickets
• ToErl ServerSessionTickets

data Verify

Instances

• Eq Verify
• ToErl Verify

type KeyPassword = String

type CommonOptions :: Row Type -> Row Typetype CommonOptions r = (beast_mitigation :: Maybe BeastMitigation, cert :: Maybe (List DerEncoded), certfile :: Maybe FileName, ciphers :: Maybe Ciphers, crl_check :: Maybe CrlCheck, depth :: Maybe Int, eccs :: Maybe (List NamedCurve), handshake :: Maybe HandshakeCompletion, hibernate_after :: Maybe Milliseconds, keep_secrets :: Maybe Boolean, key :: Maybe Key, key_update_at :: Maybe PosInt, keyfile :: Maybe FileName, log_level :: Maybe LogLevel, max_handshake_size :: Maybe Int, middlebox_comp_mode :: Maybe Boolean, padding_check :: Maybe Boolean, password :: Maybe KeyPassword, protocol :: Maybe Protocol, secure_renegotiate :: Maybe Boolean, signature_algs_cert :: Maybe (List SignScheme), supported_groups :: Maybe (List Group), versions :: Maybe (List ProtocolVersion) | r)

type ServerOptions :: Row Type -> Row Typetype ServerOptions r = (alpn_preferred_protocols :: Maybe (List AppLevelProtocol), anti_replay :: Maybe AntiReplay, cacertfile :: Maybe FileName, cacerts :: Maybe (List DerEncoded), client_renegotiation :: Maybe Boolean, cookie :: Maybe Boolean, dh :: Maybe Binary, dhfile :: Maybe FileName, early_data :: Maybe Binary, fail_if_no_peer_cert :: Maybe Boolean, honor_cipher_order :: Maybe Boolean, honor_ecc_order :: Maybe Boolean, next_protocols_advertised :: Maybe (List AppLevelProtocol), psk_identity :: Maybe PskIdentity, reuse_sessions :: Maybe Boolean, session_tickets :: Maybe ServerSessionTickets, signature_algs :: Maybe (List SignatureAlgorithm), verify :: Maybe Verify | r)

type ClientOptions :: Row Type -> Row Typetype ClientOptions r = (alpn_advertised_protocols :: Maybe (List AppLevelProtocol), cacertfile :: Maybe FileName, cacerts :: Maybe (List DerEncoded), client_preferred_next_protocols :: Maybe ClientPreferredNextProtocols, early_data :: Maybe Binary, fallback :: Maybe Boolean, max_fragment_length :: Maybe MaxFragmentLength, psk_identity :: Maybe PskIdentity, reuse_session :: Maybe ClientReuseSession, reuse_sessions :: Maybe ClientReuseSessions, server_name_indication :: Maybe Hostname, session_tickets :: Maybe ClientSessionTickets, signature_algs :: Maybe (List SignatureAlgorithm), srp_identity :: Maybe SrpIdentity, use_ticket :: Maybe (List Binary), verify :: Maybe Verify | r)

type ListenOptions :: Row Typetype ListenOptions = ServerOptions (CommonOptions (ListenOptions))

type ConnectOptions :: Row Typetype ConnectOptions = ClientOptions (CommonOptions (CommonOptions ()))

data ClientReuseSession

Instances

• ToErl ClientReuseSession
• Eq ClientReuseSession

data ClientReuseSessions

Instances

• ToErl ClientReuseSessions
• Eq ClientReuseSessions

type AppLevelProtocol = Binary

newtype ClientPreferredNextProtocols

Instances

• ToErl ClientPreferredNextProtocols
• Eq ClientPreferredNextProtocols

type PskIdentity = String

type SrpIdentity = String

data MaxFragmentLength

Instances

• ToErl MaxFragmentLength
• Eq MaxFragmentLength

data SignatureAlgorithm

Instances

• Eq SignatureAlgorithm
• ToErl SignatureAlgorithm

data ProtocolPrecedence

Instances

• ToErl ProtocolPrecedence
• Eq ProtocolPrecedence

type ServerReuseSessionFn = Binary -> DerEncoded -> Int -> Cipher -> Boolean

data Cipher

Instances

• Eq Cipher
• ToErl Cipher

data OptionToMaybe

Instances

• Eq OptionToMaybe
• ConvertOption OptionToMaybe "mode" a a
• ConvertOption OptionToMaybe sym (Maybe a) (Maybe a)
• ConvertOption OptionToMaybe sym a (Maybe a)

data SslSocket :: SocketMessageBehaviour -> SocketType -> Typedata SslSocket t0 t1

Instances

• Socket (SslSocket ActiveSocket ConnectedSocket)
• Socket (SslSocket PassiveSocket ConnectedSocket)

defaultCommonOptions :: forall r. Union r (CommonOptions ()) (CommonOptions r) => Record r -> Record (CommonOptions r)

defaultServerOptions :: forall r. Union r (ServerOptions ()) (ServerOptions r) => Record r -> Record (ServerOptions r)

defaultClientOptions :: forall r. Union r (ClientOptions ()) (ClientOptions r) => Nub (ClientOptions r) (ClientOptions r) => Record r -> Record (ClientOptions r)

defaultListenOptions :: Record ListenOptions

defaultConnectOptions :: Record ConnectOptions

connectOptions :: forall options. ConvertOptionsWithDefaults OptionToMaybe (Record ConnectOptions) options (Record ConnectOptions) => options -> Record ConnectOptions

connectPassive :: forall options. Lacks "active" options => Union (ForcedOptions ()) options (ForcedOptions options) => Nub (ForcedOptions options) (ForcedOptions options) => ConvertOptionsWithDefaults OptionToMaybe (Record ConnectOptions) (Record (ForcedOptions options)) (Record (ForcedOptions ConnectOptions)) => ConnectAddress -> Port -> Record options -> Timeout -> Effect (Either ConnectError (SslSocket PassiveSocket ConnectedSocket))

close :: forall socketType socketMessageBehaviour. SslSocket socketMessageBehaviour socketType -> Effect Unit

send :: forall socketMessageBehaviour. SslSocket socketMessageBehaviour ConnectedSocket -> IOData -> Effect (Either SendError Unit)

recv :: forall socketMessageBehaviour. SslSocket socketMessageBehaviour ConnectedSocket -> NonNegInt -> Timeout -> Effect (Either ActiveError Binary)