| Maintainer | John Galt <jgalt@centromere.net> |
|---|---|
| Stability | experimental |
| Portability | POSIX |
| Safe Haskell | None |
| Language | Haskell2010 |
Crypto.Noise.Internal.SymmetricState
Description
- data SymmetricState c h = SymmetricState (CipherState c) Bool Bool (ChainingKey h) (Either ScrubbedBytes (Digest h))
- ssCipher :: forall c h c. Lens (SymmetricState c h) (SymmetricState c h) (CipherState c) (CipherState c)
- ssHasKey :: forall c h. Lens' (SymmetricState c h) Bool
- ssHasPSK :: forall c h. Lens' (SymmetricState c h) Bool
- ssh :: forall c h. Lens' (SymmetricState c h) (Either ScrubbedBytes (Digest h))
- symmetricState :: forall c h. (Cipher c, Hash h) => ScrubbedBytes -> SymmetricState c h
- mixKey :: (Cipher c, Hash h) => ScrubbedBytes -> SymmetricState c h -> SymmetricState c h
- mixPSK :: (Cipher c, Hash h) => ScrubbedBytes -> SymmetricState c h -> SymmetricState c h
- mixHash :: (Cipher c, Hash h) => ScrubbedBytes -> SymmetricState c h -> SymmetricState c h
- encryptAndHash :: (Cipher c, Hash h) => Plaintext -> SymmetricState c h -> (ScrubbedBytes, SymmetricState c h)
- decryptAndHash :: (Cipher c, Hash h) => Ciphertext c -> SymmetricState c h -> (Plaintext, SymmetricState c h)
- split :: (Cipher c, Hash h) => SymmetricState c h -> (CipherState c, CipherState c)
Types
data SymmetricState c h Source
Constructors
| SymmetricState (CipherState c) Bool Bool (ChainingKey h) (Either ScrubbedBytes (Digest h)) |
Lenses
ssCipher :: forall c h c. Lens (SymmetricState c h) (SymmetricState c h) (CipherState c) (CipherState c) Source
ssHasKey :: forall c h. Lens' (SymmetricState c h) Bool Source
ssHasPSK :: forall c h. Lens' (SymmetricState c h) Bool Source
ssh :: forall c h. Lens' (SymmetricState c h) (Either ScrubbedBytes (Digest h)) Source
Functions
symmetricState :: forall c h. (Cipher c, Hash h) => ScrubbedBytes -> SymmetricState c h Source
mixKey :: (Cipher c, Hash h) => ScrubbedBytes -> SymmetricState c h -> SymmetricState c h Source
mixPSK :: (Cipher c, Hash h) => ScrubbedBytes -> SymmetricState c h -> SymmetricState c h Source
mixHash :: (Cipher c, Hash h) => ScrubbedBytes -> SymmetricState c h -> SymmetricState c h Source
encryptAndHash :: (Cipher c, Hash h) => Plaintext -> SymmetricState c h -> (ScrubbedBytes, SymmetricState c h) Source
decryptAndHash :: (Cipher c, Hash h) => Ciphertext c -> SymmetricState c h -> (Plaintext, SymmetricState c h) Source
split :: (Cipher c, Hash h) => SymmetricState c h -> (CipherState c, CipherState c) Source