Safe Haskell | None |
---|
Documentation
run :: HandleLike h => TlsM h g a -> g -> HandleMonad h aSource
open :: (ValidateHandle h, CPRG g) => h -> [CipherSuite] -> [(CertSecretKey, CertificateChain)] -> CertificateStore -> TlsM h g (TlsHandle h g)Source
data CipherSuite Source
data KeyExchange Source
data BulkEncryption Source
type TlsM h g = ErrorT Alert (StateT (HandshakeState h g) (HandleMonad h))Source
(HandleLike h, CPRG g) => HandleLike (TlsHandle h g) |
class HandleLike h => ValidateHandle h whereSource
validate :: h -> CertificateStore -> CertificateChain -> HandleMonad h [FailedReason]Source