Documentation

type PeyotlsM = TlsM Handle SystemRNGSource

type PeyotlsHandleC = TlsHandleC Handle SystemRNGSource

type TlsM h g = ErrorT Alert (StateT (HandshakeState h g) (HandleMonad h))Source

data TlsHandleC h g Source

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

data KeyExchange Source

data BulkEncryption Source

class HandleLike h => ValidateHandle h whereSource

data CertSecretKey Source