Safe Haskell	None
Language	GHC2021

Rustls.Internal

Description

Internal module, not subject to PVP.

Synopsis

newtype CryptoProvider = CryptoProvider {
- unCryptoProvider :: ForeignPtr CryptoProvider
}
newtype ALPNProtocol = ALPNProtocol {
- unALPNProtocol :: ByteString
}
data CipherSuite = CipherSuite {
- cipherSuiteID :: Word16
- cipherSuiteName :: Text
- cipherSuiteTLSVersion :: TLSVersion
}
data NegotiatedCipherSuite = NegotiatedCipherSuite {
- negotiatedCipherSuiteID :: Word16
- negotiatedCipherSuiteName :: Text
}
data ClientConfigBuilder = ClientConfigBuilder {
- clientConfigCryptoProvider :: CryptoProvider
- clientConfigServerCertVerifier :: ServerCertVerifier
- clientConfigALPNProtocols :: [ALPNProtocol]
- clientConfigEnableSNI :: Bool
- clientConfigCertifiedKeys :: [CertifiedKey]
}
data ServerCertVerifier
- = PlatformServerCertVerifier
- | ServerCertVerifier {
  - serverCertVerifierCertificates :: NonEmpty PEMCertificates
  - serverCertVerifierCRLs :: [CertificateRevocationList]
  }
data PEMCertificates
- = PEMCertificatesInMemory ByteString PEMCertificateParsing
- | PemCertificatesFromFile FilePath PEMCertificateParsing
data PEMCertificateParsing
- = PEMCertificateParsingStrict
- | PEMCertificateParsingLax
data CertifiedKey = CertifiedKey {
- certificateChain :: ByteString
- privateKey :: ByteString
}
data ClientConfig = ClientConfig {
- clientConfigPtr :: ForeignPtr ClientConfig
- clientConfigLogCallback :: Maybe LogCallback
}
data ClientCertVerifier = ClientCertVerifier {
- clientCertVerifierPolicy :: ClientCertVerifierPolicy
- clientCertVerifierCertificates :: NonEmpty PEMCertificates
- clientCertVerifierCRLs :: [CertificateRevocationList]
}
data ClientCertVerifierPolicy
- = AllowAnyAuthenticatedClient
- | AllowAnyAnonymousOrAuthenticatedClient
newtype CertificateRevocationList = CertificateRevocationList {
- unCertificateRevocationList :: ByteString
}
data ServerConfigBuilder = ServerConfigBuilder {
- serverConfigCryptoProvider :: CryptoProvider
- serverConfigCertifiedKeys :: NonEmpty CertifiedKey
- serverConfigALPNProtocols :: [ALPNProtocol]
- serverConfigIgnoreClientOrder :: Bool
- serverConfigClientCertVerifier :: Maybe ClientCertVerifier
}
data ServerConfig = ServerConfig {
- serverConfigPtr :: ForeignPtr ServerConfig
- serverConfigLogCallback :: Maybe LogCallback
}
data LogLevel
- = LogLevelError
- | LogLevelWarn
- | LogLevelInfo
- | LogLevelDebug
- | LogLevelTrace
newtype LogCallback = LogCallback {
- unLogCallback :: FunPtr LogCallback
}
newtype HandshakeQuery (side :: Side) a = HandshakeQuery (ReaderT Connection' IO a)
handshakeQuery :: forall a (side :: Side). (Connection' -> IO a) -> HandshakeQuery side a
newtype RustlsException = RustlsException {
- rustlsErrorCode :: Word32
}
resultMsg :: Result -> Text
isCertError :: RustlsException -> Bool
rethrowR :: Result -> IO ()
newtype RustlsLogException = RustlsLogException SomeException
data RustlsUnknownLogLevel = RustlsUnknownLogLevel LogLevel
data Backend = Backend {
- backendRead :: Ptr Word8 -> CSize -> IO CSize
- backendWrite :: Ptr Word8 -> CSize -> IO CSize
}
mkSocketBackend :: Socket -> Backend
mkByteStringBackend :: (Int -> IO ByteString) -> (ByteString -> IO ()) -> Backend
data Side
- = Client
- | Server
newtype Connection (side :: Side) = Connection (MVar Connection')
data Connection' = Connection' {
- conn :: Ptr Connection
- backend :: Backend
- lenPtr :: Ptr CSize
- ioMsgReq :: MVar IOMsgReq
- ioMsgRes :: MVar IOMsgRes
- interactThread :: ThreadId
}
withConnection :: forall (side :: Side) a. Connection side -> (Connection' -> IO a) -> IO a
data ReadOrWrite
- = Read
- | Write
data IOMsgReq
- = Request ReadOrWrite
- | Done IOResult
data IOMsgRes
- = UsingBuffer (Ptr Word8) CSize (Ptr CSize)
- | DoneFFI
interactTLS :: Connection' -> ReadOrWrite -> IO CSize
data IsEOF
- = IsEOF
- | NotEOF
completeIO :: Connection' -> IO IsEOF
completePriorIO :: Connection' -> IO ()
getIsHandshaking :: Connection' -> IO Bool
getWantsRead :: Connection' -> IO Bool
getWantsWrite :: Connection' -> IO Bool
whenM :: Monad m => m Bool -> m () -> m ()
loopWhileTrue :: Monad m => m Bool -> m ()
cSizeToInt :: CSize -> Int
intToCSize :: Int -> CSize
strToText :: Str -> IO Text
ignoreExceptions :: IO () -> IO ()
ignoreSyncExceptions :: IO () -> IO ()

Documentation

newtype CryptoProvider Source #

A cryptography provider for Rustls.

In particular, this contains the set of supported TLS cipher suites.

Constructors

CryptoProvider
Fields unCryptoProvider :: ForeignPtr CryptoProvider

Instances

Instances details

Show CryptoProvider Source #
Instance details Defined in Rustls.Internal Methods showsPrec :: Int -> CryptoProvider -> ShowS # show :: CryptoProvider -> String # showList :: [CryptoProvider] -> ShowS #

newtype ALPNProtocol Source #

An ALPN protocol ID. See https://www.iana.org/assignments/tls-extensiontype-values/tls-extensiontype-values.xhtml#alpn-protocol-ids for a list of registered IDs.

Constructors

ALPNProtocol
Fields unALPNProtocol :: ByteString

Instances

Instances details

Generic ALPNProtocol Source #

Instance details

Defined in Rustls.Internal

Associated Types

type Rep ALPNProtocol
Instance details Defined in Rustls.Internal type Rep ALPNProtocol = D1 ('MetaData "ALPNProtocol" "Rustls.Internal" "rustls-0.2.0.0-inplace" 'True) (C1 ('MetaCons "ALPNProtocol" 'PrefixI 'True) (S1 ('MetaSel ('Just "unALPNProtocol") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

Methods

from :: ALPNProtocol -> Rep ALPNProtocol x #

to :: Rep ALPNProtocol x -> ALPNProtocol #

Show ALPNProtocol Source #

Instance details

Defined in Rustls.Internal

Methods

showsPrec :: Int -> ALPNProtocol -> ShowS #

show :: ALPNProtocol -> String #

showList :: [ALPNProtocol] -> ShowS #

Eq ALPNProtocol Source #

Instance details

Defined in Rustls.Internal

Methods

(==) :: ALPNProtocol -> ALPNProtocol -> Bool #

(/=) :: ALPNProtocol -> ALPNProtocol -> Bool #

Ord ALPNProtocol Source #

Instance details

Defined in Rustls.Internal

Methods

compare :: ALPNProtocol -> ALPNProtocol -> Ordering #

(<) :: ALPNProtocol -> ALPNProtocol -> Bool #

(<=) :: ALPNProtocol -> ALPNProtocol -> Bool #

(>) :: ALPNProtocol -> ALPNProtocol -> Bool #

(>=) :: ALPNProtocol -> ALPNProtocol -> Bool #

max :: ALPNProtocol -> ALPNProtocol -> ALPNProtocol #

min :: ALPNProtocol -> ALPNProtocol -> ALPNProtocol #

type Rep ALPNProtocol Source #

Instance details

Defined in Rustls.Internal

type Rep ALPNProtocol = D1 ('MetaData "ALPNProtocol" "Rustls.Internal" "rustls-0.2.0.0-inplace" 'True) (C1 ('MetaCons "ALPNProtocol" 'PrefixI 'True) (S1 ('MetaSel ('Just "unALPNProtocol") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

data CipherSuite Source #

A TLS cipher suite supported by a Rustls cryptography provider.

Constructors

CipherSuite
Fields cipherSuiteID :: Word16 The IANA value of the cipher suite. The bytes are interpreted in network order. See https://www.iana.org/assignments/tls-parameters/tls-parameters.xhtml#tls-parameters-4 for a list. cipherSuiteName :: Text The text representation of the cipher suite. cipherSuiteTLSVersion :: TLSVersion The TLS version of the cipher suite.

Instances

Instances details

Generic CipherSuite Source #

Instance details

Defined in Rustls.Internal

Associated Types

type Rep CipherSuite

Instance details

Defined in Rustls.Internal

type Rep CipherSuite = D1 ('MetaData "CipherSuite" "Rustls.Internal" "rustls-0.2.0.0-inplace" 'False) (C1 ('MetaCons "CipherSuite" 'PrefixI 'True) (S1 ('MetaSel ('Just "cipherSuiteID") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Word16) :*: (S1 ('MetaSel ('Just "cipherSuiteName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Just "cipherSuiteTLSVersion") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 TLSVersion))))

Methods

from :: CipherSuite -> Rep CipherSuite x #

to :: Rep CipherSuite x -> CipherSuite #

Show CipherSuite Source #

Instance details

Defined in Rustls.Internal

Methods

showsPrec :: Int -> CipherSuite -> ShowS #

show :: CipherSuite -> String #

showList :: [CipherSuite] -> ShowS #

Eq CipherSuite Source #

Instance details

Defined in Rustls.Internal

Methods

(==) :: CipherSuite -> CipherSuite -> Bool #

(/=) :: CipherSuite -> CipherSuite -> Bool #

Ord CipherSuite Source #

Instance details

Defined in Rustls.Internal

Methods

compare :: CipherSuite -> CipherSuite -> Ordering #

(<) :: CipherSuite -> CipherSuite -> Bool #

(<=) :: CipherSuite -> CipherSuite -> Bool #

(>) :: CipherSuite -> CipherSuite -> Bool #

(>=) :: CipherSuite -> CipherSuite -> Bool #

max :: CipherSuite -> CipherSuite -> CipherSuite #

min :: CipherSuite -> CipherSuite -> CipherSuite #

type Rep CipherSuite Source #

Instance details

Defined in Rustls.Internal

type Rep CipherSuite = D1 ('MetaData "CipherSuite" "Rustls.Internal" "rustls-0.2.0.0-inplace" 'False) (C1 ('MetaCons "CipherSuite" 'PrefixI 'True) (S1 ('MetaSel ('Just "cipherSuiteID") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Word16) :*: (S1 ('MetaSel ('Just "cipherSuiteName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Just "cipherSuiteTLSVersion") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 TLSVersion))))

data NegotiatedCipherSuite Source #

A negotiated TLS cipher suite. Subset of CipherSuite.

Constructors

NegotiatedCipherSuite
Fields negotiatedCipherSuiteID :: Word16 The IANA value of the cipher suite. The bytes are interpreted in network order. See https://www.iana.org/assignments/tls-parameters/tls-parameters.xhtml#tls-parameters-4 for a list. negotiatedCipherSuiteName :: Text The text representation of the cipher suite.

Instances

Instances details

Generic NegotiatedCipherSuite Source #

Instance details

Defined in Rustls.Internal

Associated Types

type Rep NegotiatedCipherSuite

Instance details

Defined in Rustls.Internal

type Rep NegotiatedCipherSuite = D1 ('MetaData "NegotiatedCipherSuite" "Rustls.Internal" "rustls-0.2.0.0-inplace" 'False) (C1 ('MetaCons "NegotiatedCipherSuite" 'PrefixI 'True) (S1 ('MetaSel ('Just "negotiatedCipherSuiteID") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Word16) :*: S1 ('MetaSel ('Just "negotiatedCipherSuiteName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text)))

Methods

from :: NegotiatedCipherSuite -> Rep NegotiatedCipherSuite x #

to :: Rep NegotiatedCipherSuite x -> NegotiatedCipherSuite #

Show NegotiatedCipherSuite Source #

Instance details

Defined in Rustls.Internal

Methods

showsPrec :: Int -> NegotiatedCipherSuite -> ShowS #

show :: NegotiatedCipherSuite -> String #

showList :: [NegotiatedCipherSuite] -> ShowS #

Eq NegotiatedCipherSuite Source #

Instance details

Defined in Rustls.Internal

Methods

(==) :: NegotiatedCipherSuite -> NegotiatedCipherSuite -> Bool #

(/=) :: NegotiatedCipherSuite -> NegotiatedCipherSuite -> Bool #

Ord NegotiatedCipherSuite Source #

Instance details

Defined in Rustls.Internal

Methods

compare :: NegotiatedCipherSuite -> NegotiatedCipherSuite -> Ordering #

(<) :: NegotiatedCipherSuite -> NegotiatedCipherSuite -> Bool #

(<=) :: NegotiatedCipherSuite -> NegotiatedCipherSuite -> Bool #

(>) :: NegotiatedCipherSuite -> NegotiatedCipherSuite -> Bool #

(>=) :: NegotiatedCipherSuite -> NegotiatedCipherSuite -> Bool #

max :: NegotiatedCipherSuite -> NegotiatedCipherSuite -> NegotiatedCipherSuite #

min :: NegotiatedCipherSuite -> NegotiatedCipherSuite -> NegotiatedCipherSuite #

type Rep NegotiatedCipherSuite Source #

Instance details

Defined in Rustls.Internal

type Rep NegotiatedCipherSuite = D1 ('MetaData "NegotiatedCipherSuite" "Rustls.Internal" "rustls-0.2.0.0-inplace" 'False) (C1 ('MetaCons "NegotiatedCipherSuite" 'PrefixI 'True) (S1 ('MetaSel ('Just "negotiatedCipherSuiteID") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Word16) :*: S1 ('MetaSel ('Just "negotiatedCipherSuiteName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text)))

data ClientConfigBuilder Source #

Rustls client config builder.

Constructors

ClientConfigBuilder

Fields

clientConfigCryptoProvider :: CryptoProvider
The cryptography provider.
clientConfigServerCertVerifier :: ServerCertVerifier
The server certificate verifier.
clientConfigALPNProtocols :: [ALPNProtocol]
ALPN protocols.
clientConfigEnableSNI :: Bool
Whether to enable Server Name Indication. Defaults to True.
clientConfigCertifiedKeys :: [CertifiedKey]
List of CertifiedKeys for client authentication.
Clients that want to support both ECDSA and RSA certificates will want the ECDSA to go first in the list.

Instances

Instances details

Generic ClientConfigBuilder Source #

Instance details

Defined in Rustls.Internal

Associated Types

type Rep ClientConfigBuilder

Instance details

Defined in Rustls.Internal

type Rep ClientConfigBuilder = D1 ('MetaData "ClientConfigBuilder" "Rustls.Internal" "rustls-0.2.0.0-inplace" 'False) (C1 ('MetaCons "ClientConfigBuilder" 'PrefixI 'True) ((S1 ('MetaSel ('Just "clientConfigCryptoProvider") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CryptoProvider) :*: S1 ('MetaSel ('Just "clientConfigServerCertVerifier") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ServerCertVerifier)) :*: (S1 ('MetaSel ('Just "clientConfigALPNProtocols") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [ALPNProtocol]) :*: (S1 ('MetaSel ('Just "clientConfigEnableSNI") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool) :*: S1 ('MetaSel ('Just "clientConfigCertifiedKeys") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [CertifiedKey])))))

Methods

from :: ClientConfigBuilder -> Rep ClientConfigBuilder x #

to :: Rep ClientConfigBuilder x -> ClientConfigBuilder #

Show ClientConfigBuilder Source #

Instance details

Defined in Rustls.Internal

Methods

showsPrec :: Int -> ClientConfigBuilder -> ShowS #

show :: ClientConfigBuilder -> String #

showList :: [ClientConfigBuilder] -> ShowS #

type Rep ClientConfigBuilder Source #

Instance details

Defined in Rustls.Internal

type Rep ClientConfigBuilder = D1 ('MetaData "ClientConfigBuilder" "Rustls.Internal" "rustls-0.2.0.0-inplace" 'False) (C1 ('MetaCons "ClientConfigBuilder" 'PrefixI 'True) ((S1 ('MetaSel ('Just "clientConfigCryptoProvider") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CryptoProvider) :*: S1 ('MetaSel ('Just "clientConfigServerCertVerifier") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ServerCertVerifier)) :*: (S1 ('MetaSel ('Just "clientConfigALPNProtocols") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [ALPNProtocol]) :*: (S1 ('MetaSel ('Just "clientConfigEnableSNI") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool) :*: S1 ('MetaSel ('Just "clientConfigCertifiedKeys") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [CertifiedKey])))))

data ServerCertVerifier Source #

How to verify TLS server certificates.

Constructors

PlatformServerCertVerifier	Verify the validity of TLS certificates based on the operating system's certificate facilities, using rustls-platform-verifier.
ServerCertVerifier
Fields serverCertVerifierCertificates :: NonEmpty PEMCertificates Certificates used to verify TLS server certificates. serverCertVerifierCRLs :: [CertificateRevocationList] List of certificate revocation lists used to verify TLS server certificates.

Instances

Instances details

Generic ServerCertVerifier Source #

Instance details

Defined in Rustls.Internal

Associated Types

type Rep ServerCertVerifier

Instance details

Defined in Rustls.Internal

type Rep ServerCertVerifier = D1 ('MetaData "ServerCertVerifier" "Rustls.Internal" "rustls-0.2.0.0-inplace" 'False) (C1 ('MetaCons "PlatformServerCertVerifier" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ServerCertVerifier" 'PrefixI 'True) (S1 ('MetaSel ('Just "serverCertVerifierCertificates") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (NonEmpty PEMCertificates)) :*: S1 ('MetaSel ('Just "serverCertVerifierCRLs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [CertificateRevocationList])))

Methods

from :: ServerCertVerifier -> Rep ServerCertVerifier x #

to :: Rep ServerCertVerifier x -> ServerCertVerifier #

Show ServerCertVerifier Source #

Instance details

Defined in Rustls.Internal

Methods

showsPrec :: Int -> ServerCertVerifier -> ShowS #

show :: ServerCertVerifier -> String #

showList :: [ServerCertVerifier] -> ShowS #

type Rep ServerCertVerifier Source #

Instance details

Defined in Rustls.Internal

type Rep ServerCertVerifier = D1 ('MetaData "ServerCertVerifier" "Rustls.Internal" "rustls-0.2.0.0-inplace" 'False) (C1 ('MetaCons "PlatformServerCertVerifier" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ServerCertVerifier" 'PrefixI 'True) (S1 ('MetaSel ('Just "serverCertVerifierCertificates") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (NonEmpty PEMCertificates)) :*: S1 ('MetaSel ('Just "serverCertVerifierCRLs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [CertificateRevocationList])))

data PEMCertificates Source #

A source of PEM-encoded certificates.

Constructors

PEMCertificatesInMemory ByteString PEMCertificateParsing	In-memory PEM-encoded certificates.
PemCertificatesFromFile FilePath PEMCertificateParsing	Fetch PEM-encoded root certificates from a file.

Instances

Instances details

Generic PEMCertificates Source #

Instance details

Defined in Rustls.Internal

Associated Types

type Rep PEMCertificates

Instance details

Defined in Rustls.Internal

type Rep PEMCertificates = D1 ('MetaData "PEMCertificates" "Rustls.Internal" "rustls-0.2.0.0-inplace" 'False) (C1 ('MetaCons "PEMCertificatesInMemory" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ByteString) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 PEMCertificateParsing)) :+: C1 ('MetaCons "PemCertificatesFromFile" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 FilePath) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 PEMCertificateParsing)))

Methods

from :: PEMCertificates -> Rep PEMCertificates x #

to :: Rep PEMCertificates x -> PEMCertificates #

Show PEMCertificates Source #

Instance details

Defined in Rustls.Internal

Methods

showsPrec :: Int -> PEMCertificates -> ShowS #

show :: PEMCertificates -> String #

showList :: [PEMCertificates] -> ShowS #

type Rep PEMCertificates Source #

Instance details

Defined in Rustls.Internal

type Rep PEMCertificates = D1 ('MetaData "PEMCertificates" "Rustls.Internal" "rustls-0.2.0.0-inplace" 'False) (C1 ('MetaCons "PEMCertificatesInMemory" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ByteString) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 PEMCertificateParsing)) :+: C1 ('MetaCons "PemCertificatesFromFile" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 FilePath) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 PEMCertificateParsing)))

data PEMCertificateParsing Source #

Parsing mode for PEM-encoded certificates.

Constructors

PEMCertificateParsingStrict

Fail if syntactically invalid.

PEMCertificateParsingLax

Ignore if syntactically invalid.

This may be useful on systems that have syntactically invalid root certificates.

Instances

Instances details

Bounded PEMCertificateParsing Source #

Instance details

Defined in Rustls.Internal

Methods

minBound :: PEMCertificateParsing #

maxBound :: PEMCertificateParsing #

Enum PEMCertificateParsing Source #

Instance details

Defined in Rustls.Internal

Generic PEMCertificateParsing Source #

Instance details

Defined in Rustls.Internal

Associated Types

type Rep PEMCertificateParsing
Instance details Defined in Rustls.Internal type Rep PEMCertificateParsing = D1 ('MetaData "PEMCertificateParsing" "Rustls.Internal" "rustls-0.2.0.0-inplace" 'False) (C1 ('MetaCons "PEMCertificateParsingStrict" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PEMCertificateParsingLax" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: PEMCertificateParsing -> Rep PEMCertificateParsing x #

to :: Rep PEMCertificateParsing x -> PEMCertificateParsing #

Show PEMCertificateParsing Source #

Instance details

Defined in Rustls.Internal

Methods

showsPrec :: Int -> PEMCertificateParsing -> ShowS #

show :: PEMCertificateParsing -> String #

showList :: [PEMCertificateParsing] -> ShowS #

Eq PEMCertificateParsing Source #

Instance details

Defined in Rustls.Internal

Methods

(==) :: PEMCertificateParsing -> PEMCertificateParsing -> Bool #

(/=) :: PEMCertificateParsing -> PEMCertificateParsing -> Bool #

Ord PEMCertificateParsing Source #

Instance details

Defined in Rustls.Internal

Methods

compare :: PEMCertificateParsing -> PEMCertificateParsing -> Ordering #

(<) :: PEMCertificateParsing -> PEMCertificateParsing -> Bool #

(<=) :: PEMCertificateParsing -> PEMCertificateParsing -> Bool #

(>) :: PEMCertificateParsing -> PEMCertificateParsing -> Bool #

(>=) :: PEMCertificateParsing -> PEMCertificateParsing -> Bool #

max :: PEMCertificateParsing -> PEMCertificateParsing -> PEMCertificateParsing #

min :: PEMCertificateParsing -> PEMCertificateParsing -> PEMCertificateParsing #

type Rep PEMCertificateParsing Source #

Instance details

Defined in Rustls.Internal

type Rep PEMCertificateParsing = D1 ('MetaData "PEMCertificateParsing" "Rustls.Internal" "rustls-0.2.0.0-inplace" 'False) (C1 ('MetaCons "PEMCertificateParsingStrict" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PEMCertificateParsingLax" 'PrefixI 'False) (U1 :: Type -> Type))

data CertifiedKey Source #

A complete chain of certificates plus a private key for the leaf certificate.

Constructors

CertifiedKey
Fields certificateChain :: ByteString PEM-encoded certificate chain. privateKey :: ByteString PEM-encoded private key.

Instances

Instances details

Generic CertifiedKey Source #

Instance details

Defined in Rustls.Internal

Associated Types

type Rep CertifiedKey

Instance details

Defined in Rustls.Internal

type Rep CertifiedKey = D1 ('MetaData "CertifiedKey" "Rustls.Internal" "rustls-0.2.0.0-inplace" 'False) (C1 ('MetaCons "CertifiedKey" 'PrefixI 'True) (S1 ('MetaSel ('Just "certificateChain") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ByteString) :*: S1 ('MetaSel ('Just "privateKey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ByteString)))

Methods

from :: CertifiedKey -> Rep CertifiedKey x #

to :: Rep CertifiedKey x -> CertifiedKey #

Show CertifiedKey Source #

Instance details

Defined in Rustls.Internal

Methods

showsPrec :: Int -> CertifiedKey -> ShowS #

show :: CertifiedKey -> String #

showList :: [CertifiedKey] -> ShowS #

type Rep CertifiedKey Source #

Instance details

Defined in Rustls.Internal

type Rep CertifiedKey = D1 ('MetaData "CertifiedKey" "Rustls.Internal" "rustls-0.2.0.0-inplace" 'False) (C1 ('MetaCons "CertifiedKey" 'PrefixI 'True) (S1 ('MetaSel ('Just "certificateChain") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ByteString) :*: S1 ('MetaSel ('Just "privateKey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ByteString)))

data ClientConfig Source #

Assembled configuration for a Rustls client connection.

Constructors

ClientConfig
Fields clientConfigPtr :: ForeignPtr ClientConfig clientConfigLogCallback :: Maybe LogCallback A logging callback. Note that this is a record selector, so you can use it as a setter: `>>>` `:{`setLogCallback :: LogCallback -> ClientConfig -> ClientConfig setLogCallback logCallback clientConfig = clientConfig { clientConfigLogCallback = Just logCallback } :}

data ClientCertVerifier Source #

How to verify TLS client certificates.

Constructors

ClientCertVerifier
Fields clientCertVerifierPolicy :: ClientCertVerifierPolicy Which client connections are allowed. clientCertVerifierCertificates :: NonEmpty PEMCertificates Certificates used to verify TLS client certificates. clientCertVerifierCRLs :: [CertificateRevocationList] List of certificate revocation lists used to verify TLS client certificates.

Instances

Instances details

Generic ClientCertVerifier Source #

Instance details

Defined in Rustls.Internal

Associated Types

type Rep ClientCertVerifier

Instance details

Defined in Rustls.Internal

type Rep ClientCertVerifier = D1 ('MetaData "ClientCertVerifier" "Rustls.Internal" "rustls-0.2.0.0-inplace" 'False) (C1 ('MetaCons "ClientCertVerifier" 'PrefixI 'True) (S1 ('MetaSel ('Just "clientCertVerifierPolicy") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ClientCertVerifierPolicy) :*: (S1 ('MetaSel ('Just "clientCertVerifierCertificates") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (NonEmpty PEMCertificates)) :*: S1 ('MetaSel ('Just "clientCertVerifierCRLs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [CertificateRevocationList]))))

Methods

from :: ClientCertVerifier -> Rep ClientCertVerifier x #

to :: Rep ClientCertVerifier x -> ClientCertVerifier #

Show ClientCertVerifier Source #

Instance details

Defined in Rustls.Internal

Methods

showsPrec :: Int -> ClientCertVerifier -> ShowS #

show :: ClientCertVerifier -> String #

showList :: [ClientCertVerifier] -> ShowS #

type Rep ClientCertVerifier Source #

Instance details

Defined in Rustls.Internal

type Rep ClientCertVerifier = D1 ('MetaData "ClientCertVerifier" "Rustls.Internal" "rustls-0.2.0.0-inplace" 'False) (C1 ('MetaCons "ClientCertVerifier" 'PrefixI 'True) (S1 ('MetaSel ('Just "clientCertVerifierPolicy") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ClientCertVerifierPolicy) :*: (S1 ('MetaSel ('Just "clientCertVerifierCertificates") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (NonEmpty PEMCertificates)) :*: S1 ('MetaSel ('Just "clientCertVerifierCRLs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [CertificateRevocationList]))))

data ClientCertVerifierPolicy Source #

Which client connections are allowed by a ClientCertVerifier.

Constructors

AllowAnyAuthenticatedClient	Allow any authenticated client (i.e. offering a trusted certificate), and reject clients offering none.
AllowAnyAnonymousOrAuthenticatedClient	Allow any authenticated client (i.e. offering a trusted certificate), but also allow clients offering none.

Instances

Instances details

Bounded ClientCertVerifierPolicy Source #

Instance details

Defined in Rustls.Internal

Methods

minBound :: ClientCertVerifierPolicy #

maxBound :: ClientCertVerifierPolicy #

Enum ClientCertVerifierPolicy Source #

Instance details

Defined in Rustls.Internal

Generic ClientCertVerifierPolicy Source #

Instance details

Defined in Rustls.Internal

Associated Types

type Rep ClientCertVerifierPolicy
Instance details Defined in Rustls.Internal type Rep ClientCertVerifierPolicy = D1 ('MetaData "ClientCertVerifierPolicy" "Rustls.Internal" "rustls-0.2.0.0-inplace" 'False) (C1 ('MetaCons "AllowAnyAuthenticatedClient" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AllowAnyAnonymousOrAuthenticatedClient" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: ClientCertVerifierPolicy -> Rep ClientCertVerifierPolicy x #

to :: Rep ClientCertVerifierPolicy x -> ClientCertVerifierPolicy #

Show ClientCertVerifierPolicy Source #

Instance details

Defined in Rustls.Internal

Methods

showsPrec :: Int -> ClientCertVerifierPolicy -> ShowS #

show :: ClientCertVerifierPolicy -> String #

showList :: [ClientCertVerifierPolicy] -> ShowS #

Eq ClientCertVerifierPolicy Source #

Instance details

Defined in Rustls.Internal

Methods

(==) :: ClientCertVerifierPolicy -> ClientCertVerifierPolicy -> Bool #

(/=) :: ClientCertVerifierPolicy -> ClientCertVerifierPolicy -> Bool #

Ord ClientCertVerifierPolicy Source #

Instance details

Defined in Rustls.Internal

type Rep ClientCertVerifierPolicy Source #

Instance details

Defined in Rustls.Internal

type Rep ClientCertVerifierPolicy = D1 ('MetaData "ClientCertVerifierPolicy" "Rustls.Internal" "rustls-0.2.0.0-inplace" 'False) (C1 ('MetaCons "AllowAnyAuthenticatedClient" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AllowAnyAnonymousOrAuthenticatedClient" 'PrefixI 'False) (U1 :: Type -> Type))

newtype CertificateRevocationList Source #

One or more PEM-encoded certificate revocation lists (CRL).

Constructors

CertificateRevocationList
Fields unCertificateRevocationList :: ByteString

Instances

Instances details

Generic CertificateRevocationList Source #

Instance details

Defined in Rustls.Internal

Associated Types

type Rep CertificateRevocationList
Instance details Defined in Rustls.Internal type Rep CertificateRevocationList = D1 ('MetaData "CertificateRevocationList" "Rustls.Internal" "rustls-0.2.0.0-inplace" 'True) (C1 ('MetaCons "CertificateRevocationList" 'PrefixI 'True) (S1 ('MetaSel ('Just "unCertificateRevocationList") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

Methods

from :: CertificateRevocationList -> Rep CertificateRevocationList x #

to :: Rep CertificateRevocationList x -> CertificateRevocationList #

Show CertificateRevocationList Source #

Instance details

Defined in Rustls.Internal

Methods

showsPrec :: Int -> CertificateRevocationList -> ShowS #

show :: CertificateRevocationList -> String #

showList :: [CertificateRevocationList] -> ShowS #

type Rep CertificateRevocationList Source #

Instance details

Defined in Rustls.Internal

type Rep CertificateRevocationList = D1 ('MetaData "CertificateRevocationList" "Rustls.Internal" "rustls-0.2.0.0-inplace" 'True) (C1 ('MetaCons "CertificateRevocationList" 'PrefixI 'True) (S1 ('MetaSel ('Just "unCertificateRevocationList") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

data ServerConfigBuilder Source #

Rustls client config builder.

Constructors

ServerConfigBuilder

Fields

serverConfigCryptoProvider :: CryptoProvider
The cryptography provider.
serverConfigCertifiedKeys :: NonEmpty CertifiedKey
List of CertifiedKeys.
serverConfigALPNProtocols :: [ALPNProtocol]
ALPN protocols.
serverConfigIgnoreClientOrder :: Bool
Ignore the client's ciphersuite order. Defaults to False.
serverConfigClientCertVerifier :: Maybe ClientCertVerifier
Optionally, a client cert verifier.

Instances

Instances details

Generic ServerConfigBuilder Source #

Instance details

Defined in Rustls.Internal

Associated Types

type Rep ServerConfigBuilder

Instance details

Defined in Rustls.Internal

type Rep ServerConfigBuilder = D1 ('MetaData "ServerConfigBuilder" "Rustls.Internal" "rustls-0.2.0.0-inplace" 'False) (C1 ('MetaCons "ServerConfigBuilder" 'PrefixI 'True) ((S1 ('MetaSel ('Just "serverConfigCryptoProvider") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CryptoProvider) :*: S1 ('MetaSel ('Just "serverConfigCertifiedKeys") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (NonEmpty CertifiedKey))) :*: (S1 ('MetaSel ('Just "serverConfigALPNProtocols") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [ALPNProtocol]) :*: (S1 ('MetaSel ('Just "serverConfigIgnoreClientOrder") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool) :*: S1 ('MetaSel ('Just "serverConfigClientCertVerifier") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe ClientCertVerifier))))))

Methods

from :: ServerConfigBuilder -> Rep ServerConfigBuilder x #

to :: Rep ServerConfigBuilder x -> ServerConfigBuilder #

Show ServerConfigBuilder Source #

Instance details

Defined in Rustls.Internal

Methods

showsPrec :: Int -> ServerConfigBuilder -> ShowS #

show :: ServerConfigBuilder -> String #

showList :: [ServerConfigBuilder] -> ShowS #

type Rep ServerConfigBuilder Source #

Instance details

Defined in Rustls.Internal

type Rep ServerConfigBuilder = D1 ('MetaData "ServerConfigBuilder" "Rustls.Internal" "rustls-0.2.0.0-inplace" 'False) (C1 ('MetaCons "ServerConfigBuilder" 'PrefixI 'True) ((S1 ('MetaSel ('Just "serverConfigCryptoProvider") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CryptoProvider) :*: S1 ('MetaSel ('Just "serverConfigCertifiedKeys") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (NonEmpty CertifiedKey))) :*: (S1 ('MetaSel ('Just "serverConfigALPNProtocols") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [ALPNProtocol]) :*: (S1 ('MetaSel ('Just "serverConfigIgnoreClientOrder") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool) :*: S1 ('MetaSel ('Just "serverConfigClientCertVerifier") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe ClientCertVerifier))))))

data ServerConfig Source #

Assembled configuration for a Rustls server connection.

Constructors

ServerConfig
Fields serverConfigPtr :: ForeignPtr ServerConfig serverConfigLogCallback :: Maybe LogCallback A logging callback. Note that this is a record selector, so you can use it as a setter: `>>>` `:{`setLogCallback :: LogCallback -> ServerConfig -> ServerConfig setLogCallback logCallback serverConfig = serverConfig { serverConfigLogCallback = Just logCallback } :}

data LogLevel Source #

Rustls log level.

Constructors

LogLevelError
LogLevelWarn
LogLevelInfo
LogLevelDebug
LogLevelTrace

Instances

Instances details

Bounded LogLevel Source #

Instance details

Defined in Rustls.Internal

Methods

minBound :: LogLevel #

maxBound :: LogLevel #

Enum LogLevel Source #

Instance details

Defined in Rustls.Internal

Methods

succ :: LogLevel -> LogLevel #

pred :: LogLevel -> LogLevel #

toEnum :: Int -> LogLevel #

fromEnum :: LogLevel -> Int #

enumFrom :: LogLevel -> [LogLevel] #

enumFromThen :: LogLevel -> LogLevel -> [LogLevel] #

enumFromTo :: LogLevel -> LogLevel -> [LogLevel] #

enumFromThenTo :: LogLevel -> LogLevel -> LogLevel -> [LogLevel] #

Generic LogLevel Source #

Instance details

Defined in Rustls.Internal

Associated Types

type Rep LogLevel

Instance details

Defined in Rustls.Internal

type Rep LogLevel = D1 ('MetaData "LogLevel" "Rustls.Internal" "rustls-0.2.0.0-inplace" 'False) ((C1 ('MetaCons "LogLevelError" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LogLevelWarn" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "LogLevelInfo" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "LogLevelDebug" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LogLevelTrace" 'PrefixI 'False) (U1 :: Type -> Type))))

Methods

from :: LogLevel -> Rep LogLevel x #

to :: Rep LogLevel x -> LogLevel #

Show LogLevel Source #

Instance details

Defined in Rustls.Internal

Methods

showsPrec :: Int -> LogLevel -> ShowS #

show :: LogLevel -> String #

showList :: [LogLevel] -> ShowS #

Eq LogLevel Source #

Instance details

Defined in Rustls.Internal

Methods

(==) :: LogLevel -> LogLevel -> Bool #

(/=) :: LogLevel -> LogLevel -> Bool #

Ord LogLevel Source #

Instance details

Defined in Rustls.Internal

Methods

compare :: LogLevel -> LogLevel -> Ordering #

(<) :: LogLevel -> LogLevel -> Bool #

(<=) :: LogLevel -> LogLevel -> Bool #

(>) :: LogLevel -> LogLevel -> Bool #

(>=) :: LogLevel -> LogLevel -> Bool #

max :: LogLevel -> LogLevel -> LogLevel #

min :: LogLevel -> LogLevel -> LogLevel #

type Rep LogLevel Source #

Instance details

Defined in Rustls.Internal

type Rep LogLevel = D1 ('MetaData "LogLevel" "Rustls.Internal" "rustls-0.2.0.0-inplace" 'False) ((C1 ('MetaCons "LogLevelError" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LogLevelWarn" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "LogLevelInfo" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "LogLevelDebug" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LogLevelTrace" 'PrefixI 'False) (U1 :: Type -> Type))))

newtype LogCallback Source #

A Rustls connection logging callback.

Constructors

LogCallback
Fields unLogCallback :: FunPtr LogCallback

newtype HandshakeQuery (side :: Side) a Source #

A Monad to get TLS connection information via handshake.

Constructors

HandshakeQuery (ReaderT Connection' IO a)

Instances

Instances details

Applicative (HandshakeQuery side) Source #
Instance details Defined in Rustls.Internal Methods pure :: a -> HandshakeQuery side a # (<>) :: HandshakeQuery side (a -> b) -> HandshakeQuery side a -> HandshakeQuery side b # liftA2 :: (a -> b -> c) -> HandshakeQuery side a -> HandshakeQuery side b -> HandshakeQuery side c # (>) :: HandshakeQuery side a -> HandshakeQuery side b -> HandshakeQuery side b # (<*) :: HandshakeQuery side a -> HandshakeQuery side b -> HandshakeQuery side a #
Functor (HandshakeQuery side) Source #
Instance details Defined in Rustls.Internal Methods fmap :: (a -> b) -> HandshakeQuery side a -> HandshakeQuery side b # (<$) :: a -> HandshakeQuery side b -> HandshakeQuery side a #
Monad (HandshakeQuery side) Source #
Instance details Defined in Rustls.Internal Methods (>>=) :: HandshakeQuery side a -> (a -> HandshakeQuery side b) -> HandshakeQuery side b # (>>) :: HandshakeQuery side a -> HandshakeQuery side b -> HandshakeQuery side b # return :: a -> HandshakeQuery side a #

handshakeQuery :: forall a (side :: Side). (Connection' -> IO a) -> HandshakeQuery side a Source #

newtype RustlsException Source #

TLS exception thrown by Rustls.

Use displayException for a human-friendly representation.

Constructors

RustlsException
Fields rustlsErrorCode :: Word32

Instances

Instances details

Exception RustlsException Source #
Instance details Defined in Rustls.Internal Methods toException :: RustlsException -> SomeException # fromException :: SomeException -> Maybe RustlsException # displayException :: RustlsException -> String # backtraceDesired :: RustlsException -> Bool #
Show RustlsException Source #
Instance details Defined in Rustls.Internal Methods showsPrec :: Int -> RustlsException -> ShowS # show :: RustlsException -> String # showList :: [RustlsException] -> ShowS #

resultMsg :: Result -> Text Source #

isCertError :: RustlsException -> Bool Source #

Checks if the given RustlsException represents a certificate error.

rethrowR :: Result -> IO () Source #

newtype RustlsLogException Source #

Wrapper for exceptions thrown in a LogCallback.

Constructors

RustlsLogException SomeException

Instances

Instances details

Exception RustlsLogException Source #
Instance details Defined in Rustls.Internal Methods toException :: RustlsLogException -> SomeException # fromException :: SomeException -> Maybe RustlsLogException # displayException :: RustlsLogException -> String # backtraceDesired :: RustlsLogException -> Bool #
Show RustlsLogException Source #
Instance details Defined in Rustls.Internal Methods showsPrec :: Int -> RustlsLogException -> ShowS # show :: RustlsLogException -> String # showList :: [RustlsLogException] -> ShowS #

data RustlsUnknownLogLevel Source #

Constructors

RustlsUnknownLogLevel LogLevel

Instances

Instances details

Exception RustlsUnknownLogLevel Source #
Instance details Defined in Rustls.Internal Methods toException :: RustlsUnknownLogLevel -> SomeException # fromException :: SomeException -> Maybe RustlsUnknownLogLevel # displayException :: RustlsUnknownLogLevel -> String # backtraceDesired :: RustlsUnknownLogLevel -> Bool #
Show RustlsUnknownLogLevel Source #
Instance details Defined in Rustls.Internal Methods showsPrec :: Int -> RustlsUnknownLogLevel -> ShowS # show :: RustlsUnknownLogLevel -> String # showList :: [RustlsUnknownLogLevel] -> ShowS #

data Backend Source #

Underlying data source for Rustls.

Constructors

Backend
Fields backendRead :: Ptr Word8 -> CSize -> IO CSize Read data from the backend into the given buffer. backendWrite :: Ptr Word8 -> CSize -> IO CSize Write data from the given buffer to the backend.

mkSocketBackend :: Socket -> Backend Source #

mkByteStringBackend Source #

Arguments

:: (Int -> IO ByteString)

Read a ByteString with the given max length.

This will silently truncate ByteStrings which are too long.

-> (ByteString -> IO ())

Write a ByteString.

-> Backend

An in-memory Backend.

data Side Source #

Type-level indicator whether a Connection is client- or server-side.

Constructors

Client
Server

newtype Connection (side :: Side) Source #

A Rustls connection.

Constructors

Connection (MVar Connection')

data Connection' Source #

Constructors

Connection'
Fields conn :: Ptr Connection backend :: Backend lenPtr :: Ptr CSize ioMsgReq :: MVar IOMsgReq ioMsgRes :: MVar IOMsgRes interactThread :: ThreadId

withConnection :: forall (side :: Side) a. Connection side -> (Connection' -> IO a) -> IO a Source #

data ReadOrWrite Source #

Constructors

Read
Write

data IOMsgReq Source #

Messages sent to the background thread.

Constructors

Request ReadOrWrite	Request to start a read or a write FFI call from the background thread. It should respond with `UsingBuffer`.
Done IOResult	Notify the background thread that we are done interacting with the buffer.

data IOMsgRes Source #

Messages sent from the background thread.

Constructors

UsingBuffer (Ptr Word8) CSize (Ptr CSize)	Reply with a buffer, either containing the read data, or awaiting a write to this buffer.
DoneFFI	Notify that the FFI call finished.

interactTLS :: Connection' -> ReadOrWrite -> IO CSize Source #

data IsEOF Source #

Constructors

IsEOF
NotEOF

Instances

Instances details

Show IsEOF Source #
Instance details Defined in Rustls.Internal Methods showsPrec :: Int -> IsEOF -> ShowS # show :: IsEOF -> String # showList :: [IsEOF] -> ShowS #
Eq IsEOF Source #
Instance details Defined in Rustls.Internal Methods (==) :: IsEOF -> IsEOF -> Bool # (/=) :: IsEOF -> IsEOF -> Bool #

completeIO :: Connection' -> IO IsEOF Source #

Helper function, see complete_io from rustls.

https://github.com/rustls/rustls/blob/v/0.23.4/rustls/src/conn.rs#L544

completePriorIO :: Connection' -> IO () Source #

getIsHandshaking :: Connection' -> IO Bool Source #

getWantsRead :: Connection' -> IO Bool Source #

getWantsWrite :: Connection' -> IO Bool Source #

whenM :: Monad m => m Bool -> m () -> m () Source #

loopWhileTrue :: Monad m => m Bool -> m () Source #

cSizeToInt :: CSize -> Int Source #

intToCSize :: Int -> CSize Source #

strToText :: Str -> IO Text Source #

ignoreExceptions :: IO () -> IO () Source #

ignoreSyncExceptions :: IO () -> IO () Source #