Crypto.Saltine.Internal.AEAD.XChaCha20Poly1305

Documentation

aead_xchacha20poly1305_ietf_keybytes :: Int

Size of a XChaCha20-Poly1305 key

aead_xchacha20poly1305_ietf_npubbytes :: Int

Size of a XChaCha20-Poly1305 nonce

aead_xchacha20poly1305_ietf_abytes :: Int

Size of a XChaCha20-Poly1305 authentication tag

c_aead

Arguments

:: Ptr CChar

Cipher output buffer

-> Ptr CULLong

Cipher output bytes used

-> Ptr CChar

Constant message input buffer

-> CULLong

Length of message input buffer

-> Ptr CChar

Constant aad input buffer

-> CULLong

Length of aad input buffer

-> Ptr CChar

Unused nsec value (must be NULL)

-> Ptr CChar

Constant nonce buffer

-> Ptr CChar

Constant key buffer

-> IO CInt

The aead C API uses C strings. Always returns 0.

c_aead_open

Arguments

:: Ptr CChar

Message output buffer

-> Ptr CULLong

Message output bytes used

-> Ptr CChar

Unused nsec value (must be NULL)

-> Ptr CChar

Constant ciphertext input buffer

-> CULLong

Length of ciphertext input buffer

-> Ptr CChar

Constant aad input buffer

-> CULLong

Length of aad input buffer

-> Ptr CChar

Constant nonce buffer

-> Ptr CChar

Constant key buffer

-> IO CInt

The aead open C API uses C strings. Returns 0 if successful.

c_aead_detached

Arguments

:: Ptr CChar

Cipher output buffer

-> Ptr CChar

Tag output buffer

-> Ptr CULLong

Tag bytes used

-> Ptr CChar

Constant message input buffer

-> CULLong

Length of message input buffer

-> Ptr CChar

Constant aad input buffer

-> CULLong

Length of aad input buffer

-> Ptr CChar

Unused nsec value (must be NULL)

-> Ptr CChar

Constant nonce buffer

-> Ptr CChar

Constant key buffer

-> IO CInt

The aead C API uses C strings. Always returns 0.

c_aead_open_detached

Arguments

:: Ptr CChar

Message output buffer

-> Ptr CChar

Unused nsec value (must be NULL)

-> Ptr CChar

Constant ciphertext input buffer

-> CULLong

Length of ciphertext input buffer

-> Ptr CChar

Constant tag input buffer

-> Ptr CChar

Constant aad input buffer

-> CULLong

Length of aad input buffer

-> Ptr CChar

Constant nonce buffer

-> Ptr CChar

Constant key buffer

-> IO CInt

The aead open C API uses C strings. Returns 0 if successful.

newtype Key

An opaque XChaCha20Poly1305 cryptographic key.

Constructors

Key

Fields

• unKey :: ByteString

Instances

Eq Key

Defined in Crypto.Saltine.Internal.AEAD.XChaCha20Poly1305

Methods

(==) :: Key -> Key -> Bool

(/=) :: Key -> Key -> Bool

Data Key

Defined in Crypto.Saltine.Internal.AEAD.XChaCha20Poly1305

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Key -> c Key

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Key

toConstr :: Key -> Constr

dataTypeOf :: Key -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Key)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Key)

gmapT :: (forall b. Data b => b -> b) -> Key -> Key

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Key -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Key -> r

gmapQ :: (forall d. Data d => d -> u) -> Key -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Key -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Key -> m Key

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Key -> m Key

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Key -> m Key

Ord Key

Defined in Crypto.Saltine.Internal.AEAD.XChaCha20Poly1305

Methods

compare :: Key -> Key -> Ordering

(<) :: Key -> Key -> Bool

(<=) :: Key -> Key -> Bool

(>) :: Key -> Key -> Bool

(>=) :: Key -> Key -> Bool

max :: Key -> Key -> Key

min :: Key -> Key -> Key

Show Key

Defined in Crypto.Saltine.Internal.AEAD.XChaCha20Poly1305

Methods

showsPrec :: Int -> Key -> ShowS

show :: Key -> String

showList :: [Key] -> ShowS

Generic Key

Defined in Crypto.Saltine.Internal.AEAD.XChaCha20Poly1305

Associated Types

type Rep Key :: Type -> Type

Methods

from :: Key -> Rep Key x

to :: Rep Key x -> Key

NFData Key

Defined in Crypto.Saltine.Internal.AEAD.XChaCha20Poly1305

Methods

rnf :: Key -> ()

Hashable Key

Defined in Crypto.Saltine.Internal.AEAD.XChaCha20Poly1305

Methods

hashWithSalt :: Int -> Key -> Int

hash :: Key -> Int

IsEncoding Key

Defined in Crypto.Saltine.Internal.AEAD.XChaCha20Poly1305

Methods

encode :: Key -> ByteString

decode :: ByteString -> Maybe Key

encoded :: (Choice p, Applicative f) => p Key (f Key) -> p ByteString (f ByteString)

type Rep Key

Defined in Crypto.Saltine.Internal.AEAD.XChaCha20Poly1305

type Rep Key = D1 ('MetaData "Key" "Crypto.Saltine.Internal.AEAD.XChaCha20Poly1305" "saltine-0.2.0.1-inplace" 'True) (C1 ('MetaCons "Key" 'PrefixI 'True) (S1 ('MetaSel ('Just "unKey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

newtype Nonce

An opaque XChaCha20Poly1305 nonce.

Constructors

Nonce

Fields

• unNonce :: ByteString

Instances

Eq Nonce

Defined in Crypto.Saltine.Internal.AEAD.XChaCha20Poly1305

Methods

(==) :: Nonce -> Nonce -> Bool

(/=) :: Nonce -> Nonce -> Bool

Data Nonce

Defined in Crypto.Saltine.Internal.AEAD.XChaCha20Poly1305

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Nonce -> c Nonce

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Nonce

toConstr :: Nonce -> Constr

dataTypeOf :: Nonce -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Nonce)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Nonce)

gmapT :: (forall b. Data b => b -> b) -> Nonce -> Nonce

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Nonce -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Nonce -> r

gmapQ :: (forall d. Data d => d -> u) -> Nonce -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Nonce -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Nonce -> m Nonce

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Nonce -> m Nonce

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Nonce -> m Nonce

Ord Nonce

Defined in Crypto.Saltine.Internal.AEAD.XChaCha20Poly1305

Methods

compare :: Nonce -> Nonce -> Ordering

(<) :: Nonce -> Nonce -> Bool

(<=) :: Nonce -> Nonce -> Bool

(>) :: Nonce -> Nonce -> Bool

(>=) :: Nonce -> Nonce -> Bool

max :: Nonce -> Nonce -> Nonce

min :: Nonce -> Nonce -> Nonce

Show Nonce

Defined in Crypto.Saltine.Internal.AEAD.XChaCha20Poly1305

Methods

showsPrec :: Int -> Nonce -> ShowS

show :: Nonce -> String

showList :: [Nonce] -> ShowS

Generic Nonce

Defined in Crypto.Saltine.Internal.AEAD.XChaCha20Poly1305

Associated Types

type Rep Nonce :: Type -> Type

Methods

from :: Nonce -> Rep Nonce x

to :: Rep Nonce x -> Nonce

NFData Nonce

Defined in Crypto.Saltine.Internal.AEAD.XChaCha20Poly1305

Methods

rnf :: Nonce -> ()

Hashable Nonce

Defined in Crypto.Saltine.Internal.AEAD.XChaCha20Poly1305

Methods

hashWithSalt :: Int -> Nonce -> Int

hash :: Nonce -> Int

IsNonce Nonce

Defined in Crypto.Saltine.Internal.AEAD.XChaCha20Poly1305

Methods

zero :: Nonce

nudge :: Nonce -> Nonce

IsEncoding Nonce

Defined in Crypto.Saltine.Internal.AEAD.XChaCha20Poly1305

Methods

encode :: Nonce -> ByteString

decode :: ByteString -> Maybe Nonce

encoded :: (Choice p, Applicative f) => p Nonce (f Nonce) -> p ByteString (f ByteString)

type Rep Nonce

Defined in Crypto.Saltine.Internal.AEAD.XChaCha20Poly1305

type Rep Nonce = D1 ('MetaData "Nonce" "Crypto.Saltine.Internal.AEAD.XChaCha20Poly1305" "saltine-0.2.0.1-inplace" 'True) (C1 ('MetaCons "Nonce" 'PrefixI 'True) (S1 ('MetaSel ('Just "unNonce") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))