Copyright	(c) Max Amanshauser 2021
License	MIT
Maintainer	max@lambdalifting.org
Stability	experimental
Portability	non-portable
Safe Haskell	None
Language	Haskell2010

Crypto.Saltine.Internal.Box

Description

Synopsis

box_publickeybytes :: Int
box_secretkeybytes :: Int
box_noncebytes :: Int
box_zerobytes :: Int
box_boxzerobytes :: Int
box_macbytes :: Int
box_beforenmbytes :: Int
box_sealbytes :: Int
c_box_keypair :: Ptr CChar -> Ptr CChar -> IO CInt
c_box_easy :: Ptr CChar -> Ptr CChar -> CULLong -> Ptr CChar -> Ptr CChar -> Ptr CChar -> IO CInt
c_box_open_easy :: Ptr CChar -> Ptr CChar -> CULLong -> Ptr CChar -> Ptr CChar -> Ptr CChar -> IO CInt
c_box_beforenm :: Ptr CChar -> Ptr CChar -> Ptr CChar -> IO CInt
c_box_easy_afternm :: Ptr CChar -> Ptr CChar -> CULLong -> Ptr CChar -> Ptr CChar -> IO CInt
c_box_open_easy_afternm :: Ptr CChar -> Ptr CChar -> CULLong -> Ptr CChar -> Ptr CChar -> IO CInt
c_box_seal :: Ptr CChar -> Ptr CChar -> CULLong -> Ptr CChar -> IO CInt
c_box_seal_open :: Ptr CChar -> Ptr CChar -> CULLong -> Ptr CChar -> Ptr CChar -> IO CInt
newtype SecretKey = SK {
- unSK :: ByteString
}
newtype PublicKey = PK {
- unPK :: ByteString
}
data Keypair = Keypair {
- secretKey :: SecretKey
- publicKey :: PublicKey
}
newtype CombinedKey = CK {
- unCK :: ByteString
}
newtype Nonce = Nonce {
- unNonce :: ByteString
}

Documentation

box_publickeybytes :: Int Source #

Size of a crypto_box public key

box_secretkeybytes :: Int Source #

Size of a crypto_box secret key

box_noncebytes :: Int Source #

Size of a crypto_box nonce

box_zerobytes :: Int Source #

Size of 0-padding prepended to messages before using crypto_box or after using crypto_box_open

box_boxzerobytes :: Int Source #

Size of 0-padding prepended to ciphertext before using crypto_box_open or after using crypto_box.

box_macbytes :: Int Source #

box_beforenmbytes :: Int Source #

Size of a crypto_box_beforenm-generated combined key

box_sealbytes :: Int Source #

Amount by which ciphertext is longer than plaintext in sealed boxes

c_box_keypair Source #

Arguments

:: Ptr CChar	Public key
-> Ptr CChar	Secret key
-> IO CInt	Always 0

Should always return a 0.

c_box_easy Source #

Arguments

:: Ptr CChar	Cipher output buffer
-> Ptr CChar	Constant message input buffer
-> CULLong	Length of message input buffer
-> Ptr CChar	Constant nonce buffer
-> Ptr CChar	Constant public key buffer
-> Ptr CChar	Constant secret key buffer
-> IO CInt	Always 0

The secretbox C API uses C strings.

c_box_open_easy Source #

Arguments

:: Ptr CChar	Message output buffer
-> Ptr CChar	Constant ciphertext input buffer
-> CULLong	Length of message input buffer
-> Ptr CChar	Constant nonce buffer
-> Ptr CChar	Constant public key buffer
-> Ptr CChar	Constant secret key buffer
-> IO CInt	0 for success, -1 for failure to verify

The secretbox C API uses C strings.

c_box_beforenm Source #

Arguments

:: Ptr CChar	Combined key output buffer
-> Ptr CChar	Constant public key buffer
-> Ptr CChar	Constant secret key buffer
-> IO CInt	Always 0

Single target key precompilation.

c_box_easy_afternm Source #

Arguments

:: Ptr CChar	Cipher output buffer
-> Ptr CChar	Constant message input buffer
-> CULLong	Length of message input buffer (incl. 0s)
-> Ptr CChar	Constant nonce buffer
-> Ptr CChar	Constant combined key buffer
-> IO CInt	Always 0

Precompiled key crypto box. Uses C strings.

c_box_open_easy_afternm Source #

Arguments

:: Ptr CChar	Message output buffer
-> Ptr CChar	Constant ciphertext input buffer
-> CULLong	Length of message input buffer (incl. 0s)
-> Ptr CChar	Constant nonce buffer
-> Ptr CChar	Constant combined key buffer
-> IO CInt	0 for success, -1 for failure to verify

The secretbox C API uses C strings.

c_box_seal Source #

Arguments

:: Ptr CChar	Cipher output buffer
-> Ptr CChar	Constant message input buffer
-> CULLong	Length of message input buffer
-> Ptr CChar	Constant public key buffer
-> IO CInt	Always 0

The sealedbox C API uses C strings.

c_box_seal_open Source #

Arguments

:: Ptr CChar	Message output buffer
-> Ptr CChar	Constant ciphertext input buffer
-> CULLong	Length of message input buffer
-> Ptr CChar	Constant public key buffer
-> Ptr CChar	Constant secret key buffer
-> IO CInt	0 for success, -1 for failure to decrypt

The sealedbox C API uses C strings.

newtype SecretKey Source #

An opaque box cryptographic secret key.

Constructors

SK
Fields unSK :: ByteString

Instances

Instances details

NFData SecretKey Source #

Instance details

Defined in Crypto.Saltine.Internal.Box

Methods

rnf :: SecretKey -> () #

Data SecretKey Source #

Instance details

Defined in Crypto.Saltine.Internal.Box

Methods

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

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

toConstr :: SecretKey -> Constr #

dataTypeOf :: SecretKey -> DataType #

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

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

gmapT :: (forall b. Data b => b -> b) -> SecretKey -> SecretKey #

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

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

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

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

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

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

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

Generic SecretKey Source #

Instance details

Defined in Crypto.Saltine.Internal.Box

Associated Types

type Rep SecretKey
Instance details Defined in Crypto.Saltine.Internal.Box type Rep SecretKey = D1 ('MetaData "SecretKey" "Crypto.Saltine.Internal.Box" "saltine-0.2.2.0-inplace" 'True) (C1 ('MetaCons "SK" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSK") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

Methods

from :: SecretKey -> Rep SecretKey x #

to :: Rep SecretKey x -> SecretKey #

Show SecretKey Source #

Instance details

Defined in Crypto.Saltine.Internal.Box

Methods

showsPrec :: Int -> SecretKey -> ShowS #

show :: SecretKey -> String #

showList :: [SecretKey] -> ShowS #

Eq SecretKey Source #

Instance details

Defined in Crypto.Saltine.Internal.Box

Methods

(==) :: SecretKey -> SecretKey -> Bool #

(/=) :: SecretKey -> SecretKey -> Bool #

Ord SecretKey Source #

Instance details

Defined in Crypto.Saltine.Internal.Box

Methods

compare :: SecretKey -> SecretKey -> Ordering #

(<) :: SecretKey -> SecretKey -> Bool #

(<=) :: SecretKey -> SecretKey -> Bool #

(>) :: SecretKey -> SecretKey -> Bool #

(>=) :: SecretKey -> SecretKey -> Bool #

max :: SecretKey -> SecretKey -> SecretKey #

min :: SecretKey -> SecretKey -> SecretKey #

Hashable SecretKey Source #

Instance details

Defined in Crypto.Saltine.Internal.Box

Methods

hashWithSalt :: Int -> SecretKey -> Int #

hash :: SecretKey -> Int #

IsEncoding SecretKey Source #

Instance details

Defined in Crypto.Saltine.Internal.Box

Methods

encode :: SecretKey -> ByteString Source #

decode :: ByteString -> Maybe SecretKey Source #

encoded :: (Choice p, Applicative f) => p SecretKey (f SecretKey) -> p ByteString (f ByteString) Source #

type Rep SecretKey Source #

Instance details

Defined in Crypto.Saltine.Internal.Box

type Rep SecretKey = D1 ('MetaData "SecretKey" "Crypto.Saltine.Internal.Box" "saltine-0.2.2.0-inplace" 'True) (C1 ('MetaCons "SK" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSK") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

newtype PublicKey Source #

An opaque box cryptographic public key.

Constructors

PK
Fields unPK :: ByteString

Instances

Instances details

NFData PublicKey Source #

Instance details

Defined in Crypto.Saltine.Internal.Box

Methods

rnf :: PublicKey -> () #

Data PublicKey Source #

Instance details

Defined in Crypto.Saltine.Internal.Box

Methods

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

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

toConstr :: PublicKey -> Constr #

dataTypeOf :: PublicKey -> DataType #

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

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

gmapT :: (forall b. Data b => b -> b) -> PublicKey -> PublicKey #

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

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

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

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

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

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

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

Generic PublicKey Source #

Instance details

Defined in Crypto.Saltine.Internal.Box

Associated Types

type Rep PublicKey
Instance details Defined in Crypto.Saltine.Internal.Box type Rep PublicKey = D1 ('MetaData "PublicKey" "Crypto.Saltine.Internal.Box" "saltine-0.2.2.0-inplace" 'True) (C1 ('MetaCons "PK" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPK") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

Methods

from :: PublicKey -> Rep PublicKey x #

to :: Rep PublicKey x -> PublicKey #

Show PublicKey Source #

Instance details

Defined in Crypto.Saltine.Internal.Box

Methods

showsPrec :: Int -> PublicKey -> ShowS #

show :: PublicKey -> String #

showList :: [PublicKey] -> ShowS #

Eq PublicKey Source #

Instance details

Defined in Crypto.Saltine.Internal.Box

Methods

(==) :: PublicKey -> PublicKey -> Bool #

(/=) :: PublicKey -> PublicKey -> Bool #

Ord PublicKey Source #

Instance details

Defined in Crypto.Saltine.Internal.Box

Methods

compare :: PublicKey -> PublicKey -> Ordering #

(<) :: PublicKey -> PublicKey -> Bool #

(<=) :: PublicKey -> PublicKey -> Bool #

(>) :: PublicKey -> PublicKey -> Bool #

(>=) :: PublicKey -> PublicKey -> Bool #

max :: PublicKey -> PublicKey -> PublicKey #

min :: PublicKey -> PublicKey -> PublicKey #

Hashable PublicKey Source #

Instance details

Defined in Crypto.Saltine.Internal.Box

Methods

hashWithSalt :: Int -> PublicKey -> Int #

hash :: PublicKey -> Int #

IsEncoding PublicKey Source #

Instance details

Defined in Crypto.Saltine.Internal.Box

Methods

encode :: PublicKey -> ByteString Source #

decode :: ByteString -> Maybe PublicKey Source #

encoded :: (Choice p, Applicative f) => p PublicKey (f PublicKey) -> p ByteString (f ByteString) Source #

type Rep PublicKey Source #

Instance details

Defined in Crypto.Saltine.Internal.Box

type Rep PublicKey = D1 ('MetaData "PublicKey" "Crypto.Saltine.Internal.Box" "saltine-0.2.2.0-inplace" 'True) (C1 ('MetaCons "PK" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPK") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

data Keypair Source #

A convenience type for keypairs

Constructors

Keypair
Fields secretKey :: SecretKey publicKey :: PublicKey

Instances

Instances details

NFData Keypair Source #

Instance details

Defined in Crypto.Saltine.Internal.Box

Methods

rnf :: Keypair -> () #

Data Keypair Source #

Instance details

Defined in Crypto.Saltine.Internal.Box

Methods

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

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

toConstr :: Keypair -> Constr #

dataTypeOf :: Keypair -> DataType #

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

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

gmapT :: (forall b. Data b => b -> b) -> Keypair -> Keypair #

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

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

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

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

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

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

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

Generic Keypair Source #

Instance details

Defined in Crypto.Saltine.Internal.Box

Associated Types

type Rep Keypair

Instance details

Defined in Crypto.Saltine.Internal.Box

type Rep Keypair = D1 ('MetaData "Keypair" "Crypto.Saltine.Internal.Box" "saltine-0.2.2.0-inplace" 'False) (C1 ('MetaCons "Keypair" 'PrefixI 'True) (S1 ('MetaSel ('Just "secretKey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SecretKey) :*: S1 ('MetaSel ('Just "publicKey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PublicKey)))

Methods

from :: Keypair -> Rep Keypair x #

to :: Rep Keypair x -> Keypair #

Show Keypair Source #

Instance details

Defined in Crypto.Saltine.Internal.Box

Methods

showsPrec :: Int -> Keypair -> ShowS #

show :: Keypair -> String #

showList :: [Keypair] -> ShowS #

Eq Keypair Source #

Instance details

Defined in Crypto.Saltine.Internal.Box

Methods

(==) :: Keypair -> Keypair -> Bool #

(/=) :: Keypair -> Keypair -> Bool #

Ord Keypair Source #

Instance details

Defined in Crypto.Saltine.Internal.Box

Methods

compare :: Keypair -> Keypair -> Ordering #

(<) :: Keypair -> Keypair -> Bool #

(<=) :: Keypair -> Keypair -> Bool #

(>) :: Keypair -> Keypair -> Bool #

(>=) :: Keypair -> Keypair -> Bool #

max :: Keypair -> Keypair -> Keypair #

min :: Keypair -> Keypair -> Keypair #

Hashable Keypair Source #

Instance details

Defined in Crypto.Saltine.Internal.Box

Methods

hashWithSalt :: Int -> Keypair -> Int #

hash :: Keypair -> Int #

type Rep Keypair Source #

Instance details

Defined in Crypto.Saltine.Internal.Box

type Rep Keypair = D1 ('MetaData "Keypair" "Crypto.Saltine.Internal.Box" "saltine-0.2.2.0-inplace" 'False) (C1 ('MetaCons "Keypair" 'PrefixI 'True) (S1 ('MetaSel ('Just "secretKey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SecretKey) :*: S1 ('MetaSel ('Just "publicKey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PublicKey)))

newtype CombinedKey Source #

An opaque boxAfterNM cryptographic combined key.

Constructors

CK
Fields unCK :: ByteString

Instances

Instances details

NFData CombinedKey Source #

Instance details

Defined in Crypto.Saltine.Internal.Box

Methods

rnf :: CombinedKey -> () #

Data CombinedKey Source #

Instance details

Defined in Crypto.Saltine.Internal.Box

Methods

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

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

toConstr :: CombinedKey -> Constr #

dataTypeOf :: CombinedKey -> DataType #

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

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

gmapT :: (forall b. Data b => b -> b) -> CombinedKey -> CombinedKey #

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

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

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

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

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

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

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

Generic CombinedKey Source #

Instance details

Defined in Crypto.Saltine.Internal.Box

Associated Types

type Rep CombinedKey
Instance details Defined in Crypto.Saltine.Internal.Box type Rep CombinedKey = D1 ('MetaData "CombinedKey" "Crypto.Saltine.Internal.Box" "saltine-0.2.2.0-inplace" 'True) (C1 ('MetaCons "CK" 'PrefixI 'True) (S1 ('MetaSel ('Just "unCK") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

Methods

from :: CombinedKey -> Rep CombinedKey x #

to :: Rep CombinedKey x -> CombinedKey #

Show CombinedKey Source #

Instance details

Defined in Crypto.Saltine.Internal.Box

Methods

showsPrec :: Int -> CombinedKey -> ShowS #

show :: CombinedKey -> String #

showList :: [CombinedKey] -> ShowS #

Eq CombinedKey Source #

Instance details

Defined in Crypto.Saltine.Internal.Box

Methods

(==) :: CombinedKey -> CombinedKey -> Bool #

(/=) :: CombinedKey -> CombinedKey -> Bool #

Ord CombinedKey Source #

Instance details

Defined in Crypto.Saltine.Internal.Box

Methods

compare :: CombinedKey -> CombinedKey -> Ordering #

(<) :: CombinedKey -> CombinedKey -> Bool #

(<=) :: CombinedKey -> CombinedKey -> Bool #

(>) :: CombinedKey -> CombinedKey -> Bool #

(>=) :: CombinedKey -> CombinedKey -> Bool #

max :: CombinedKey -> CombinedKey -> CombinedKey #

min :: CombinedKey -> CombinedKey -> CombinedKey #

Hashable CombinedKey Source #

Instance details

Defined in Crypto.Saltine.Internal.Box

Methods

hashWithSalt :: Int -> CombinedKey -> Int #

hash :: CombinedKey -> Int #

IsEncoding CombinedKey Source #

Instance details

Defined in Crypto.Saltine.Internal.Box

Methods

encode :: CombinedKey -> ByteString Source #

decode :: ByteString -> Maybe CombinedKey Source #

encoded :: (Choice p, Applicative f) => p CombinedKey (f CombinedKey) -> p ByteString (f ByteString) Source #

type Rep CombinedKey Source #

Instance details

Defined in Crypto.Saltine.Internal.Box

type Rep CombinedKey = D1 ('MetaData "CombinedKey" "Crypto.Saltine.Internal.Box" "saltine-0.2.2.0-inplace" 'True) (C1 ('MetaCons "CK" 'PrefixI 'True) (S1 ('MetaSel ('Just "unCK") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

newtype Nonce Source #

An opaque box nonce.

Constructors

Nonce
Fields unNonce :: ByteString

Instances

Instances details

NFData Nonce Source #

Instance details

Defined in Crypto.Saltine.Internal.Box

Methods

rnf :: Nonce -> () #

Data Nonce Source #

Instance details

Defined in Crypto.Saltine.Internal.Box

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 #

Generic Nonce Source #

Instance details

Defined in Crypto.Saltine.Internal.Box

Associated Types

type Rep Nonce
Instance details Defined in Crypto.Saltine.Internal.Box type Rep Nonce = D1 ('MetaData "Nonce" "Crypto.Saltine.Internal.Box" "saltine-0.2.2.0-inplace" 'True) (C1 ('MetaCons "Nonce" 'PrefixI 'True) (S1 ('MetaSel ('Just "unNonce") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))