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