| Maintainer | John Galt <centromere@users.noreply.github.com> |
|---|---|
| Stability | experimental |
| Portability | POSIX |
| Safe Haskell | None |
| Language | Haskell2010 |
Crypto.Noise.Internal.SymmetricHandshakeState
Description
- data SymmetricHandshakeState c h = SymmetricHandshakeState (CipherState c) Bool (ChainingKey h) (Either ScrubbedBytes (Digest h))
- shsCipher :: forall c h c. Lens (SymmetricHandshakeState c h) (SymmetricHandshakeState c h) (CipherState c) (CipherState c)
- shsHasKey :: forall c h. Lens' (SymmetricHandshakeState c h) Bool
- shsh :: forall c h. Lens' (SymmetricHandshakeState c h) (Either ScrubbedBytes (Digest h))
- symmetricHandshake :: forall c h. (Cipher c, Hash h) => ScrubbedBytes -> SymmetricHandshakeState c h
- mixKey :: (Cipher c, Hash h) => ScrubbedBytes -> SymmetricHandshakeState c h -> SymmetricHandshakeState c h
- mixHash :: (Cipher c, Hash h) => ScrubbedBytes -> SymmetricHandshakeState c h -> SymmetricHandshakeState c h
- encryptAndHash :: (Cipher c, Hash h) => Plaintext -> SymmetricHandshakeState c h -> (ScrubbedBytes, SymmetricHandshakeState c h)
- decryptAndHash :: (Cipher c, Hash h) => Ciphertext c -> SymmetricHandshakeState c h -> (Plaintext, SymmetricHandshakeState c h)
- split :: (Cipher c, Hash h) => SymmetricHandshakeState c h -> (CipherState c, CipherState c)
Types
data SymmetricHandshakeState c h Source
Constructors
| SymmetricHandshakeState (CipherState c) Bool (ChainingKey h) (Either ScrubbedBytes (Digest h)) |
Lenses
shsCipher :: forall c h c. Lens (SymmetricHandshakeState c h) (SymmetricHandshakeState c h) (CipherState c) (CipherState c) Source
shsHasKey :: forall c h. Lens' (SymmetricHandshakeState c h) Bool Source
shsh :: forall c h. Lens' (SymmetricHandshakeState c h) (Either ScrubbedBytes (Digest h)) Source
Functions
symmetricHandshake :: forall c h. (Cipher c, Hash h) => ScrubbedBytes -> SymmetricHandshakeState c h Source
mixKey :: (Cipher c, Hash h) => ScrubbedBytes -> SymmetricHandshakeState c h -> SymmetricHandshakeState c h Source
mixHash :: (Cipher c, Hash h) => ScrubbedBytes -> SymmetricHandshakeState c h -> SymmetricHandshakeState c h Source
encryptAndHash :: (Cipher c, Hash h) => Plaintext -> SymmetricHandshakeState c h -> (ScrubbedBytes, SymmetricHandshakeState c h) Source
decryptAndHash :: (Cipher c, Hash h) => Ciphertext c -> SymmetricHandshakeState c h -> (Plaintext, SymmetricHandshakeState c h) Source
split :: (Cipher c, Hash h) => SymmetricHandshakeState c h -> (CipherState c, CipherState c) Source