Crypto.Saltine.Internal.Hash

Documentation

hash_bytes :: Int

The size of a hash resulting from hash.

shorthash_bytes :: Int

The size of a keyed hash resulting from shorthash.

shorthash_keybytes :: Int

The size of a hashing key for the keyed hash function shorthash.

generichash_bytes_max :: Int

The maximum output size of the generic hash function generichash

generichash_keybytes_max :: Int

The maximum key size of the generic hash function generichash

c_hash

Arguments

:: Ptr CChar

Output hash buffer

-> Ptr CChar

Constant message buffer

-> CULLong

Constant message buffer length

-> IO CInt

Always 0

c_shorthash

Arguments

:: Ptr CChar

Output hash buffer

-> Ptr CChar

Constant message buffer

-> CULLong

Message buffer length

-> Ptr CChar

Constant Key buffer

-> IO CInt

Always 0

c_generichash

Arguments

:: Ptr CChar

Output hash buffer

-> CULLong

Output hash length

-> Ptr CChar

Constant message buffer

-> CULLong

Message buffer length

-> Ptr CChar

Constant Key buffer

-> CULLong

Key buffer length

-> IO CInt

Always 0

nullShKey :: ShorthashKey

Used for our Show instances

shorthash

Arguments

:: ShorthashKey

-> ByteString

Message

-> ByteString

Hash

Computes a very short, fast keyed hash. This function is defined here to break circulat module imports

newtype ShorthashKey

An opaque shorthash cryptographic secret key.

Constructors

ShK

Fields

• unShK :: ByteString

Instances

Data ShorthashKey

Defined in Crypto.Saltine.Internal.Hash

Methods

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

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

toConstr :: ShorthashKey -> Constr

dataTypeOf :: ShorthashKey -> DataType

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

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

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

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

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

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

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

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

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

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

Generic ShorthashKey

Defined in Crypto.Saltine.Internal.Hash

Associated Types

type Rep ShorthashKey :: Type -> Type

Methods

from :: ShorthashKey -> Rep ShorthashKey x

to :: Rep ShorthashKey x -> ShorthashKey

Show ShorthashKey

Defined in Crypto.Saltine.Internal.Hash

Methods

showsPrec :: Int -> ShorthashKey -> ShowS

show :: ShorthashKey -> String

showList :: [ShorthashKey] -> ShowS

NFData ShorthashKey

Defined in Crypto.Saltine.Internal.Hash

Methods

rnf :: ShorthashKey -> ()

Eq ShorthashKey

Defined in Crypto.Saltine.Internal.Hash

Methods

(==) :: ShorthashKey -> ShorthashKey -> Bool

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

Ord ShorthashKey

Defined in Crypto.Saltine.Internal.Hash

Methods

compare :: ShorthashKey -> ShorthashKey -> Ordering

(<) :: ShorthashKey -> ShorthashKey -> Bool

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

(>) :: ShorthashKey -> ShorthashKey -> Bool

(>=) :: ShorthashKey -> ShorthashKey -> Bool

max :: ShorthashKey -> ShorthashKey -> ShorthashKey

min :: ShorthashKey -> ShorthashKey -> ShorthashKey

Hashable ShorthashKey

Defined in Crypto.Saltine.Internal.Hash

Methods

hashWithSalt :: Int -> ShorthashKey -> Int

hash :: ShorthashKey -> Int

IsEncoding ShorthashKey

Defined in Crypto.Saltine.Internal.Hash

Methods

encode :: ShorthashKey -> ByteString

decode :: ByteString -> Maybe ShorthashKey

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

type Rep ShorthashKey

Defined in Crypto.Saltine.Internal.Hash

type Rep ShorthashKey = D1 ('MetaData "ShorthashKey" "Crypto.Saltine.Internal.Hash" "saltine-0.2.1.0-inplace" 'True) (C1 ('MetaCons "ShK" 'PrefixI 'True) (S1 ('MetaSel ('Just "unShK") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

newtype GenerichashKey

An opaque generichash cryptographic secret key.

Constructors

GhK

Fields

• unGhK :: ByteString

Instances

Data GenerichashKey

Defined in Crypto.Saltine.Internal.Hash

Methods

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

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

toConstr :: GenerichashKey -> Constr

dataTypeOf :: GenerichashKey -> DataType

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

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

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

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

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

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

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

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

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

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

Generic GenerichashKey

Defined in Crypto.Saltine.Internal.Hash

Associated Types

type Rep GenerichashKey :: Type -> Type

Methods

from :: GenerichashKey -> Rep GenerichashKey x

to :: Rep GenerichashKey x -> GenerichashKey

Show GenerichashKey

Defined in Crypto.Saltine.Internal.Hash

Methods

showsPrec :: Int -> GenerichashKey -> ShowS

show :: GenerichashKey -> String

showList :: [GenerichashKey] -> ShowS

NFData GenerichashKey

Defined in Crypto.Saltine.Internal.Hash

Methods

rnf :: GenerichashKey -> ()

Eq GenerichashKey

Defined in Crypto.Saltine.Internal.Hash

Methods

(==) :: GenerichashKey -> GenerichashKey -> Bool

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

Ord GenerichashKey

Defined in Crypto.Saltine.Internal.Hash

Methods

compare :: GenerichashKey -> GenerichashKey -> Ordering

(<) :: GenerichashKey -> GenerichashKey -> Bool

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

(>) :: GenerichashKey -> GenerichashKey -> Bool

(>=) :: GenerichashKey -> GenerichashKey -> Bool

max :: GenerichashKey -> GenerichashKey -> GenerichashKey

min :: GenerichashKey -> GenerichashKey -> GenerichashKey

Hashable GenerichashKey

Defined in Crypto.Saltine.Internal.Hash

Methods

hashWithSalt :: Int -> GenerichashKey -> Int

hash :: GenerichashKey -> Int

IsEncoding GenerichashKey

Defined in Crypto.Saltine.Internal.Hash

Methods

encode :: GenerichashKey -> ByteString

decode :: ByteString -> Maybe GenerichashKey

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

type Rep GenerichashKey

Defined in Crypto.Saltine.Internal.Hash

type Rep GenerichashKey = D1 ('MetaData "GenerichashKey" "Crypto.Saltine.Internal.Hash" "saltine-0.2.1.0-inplace" 'True) (C1 ('MetaCons "GhK" 'PrefixI 'True) (S1 ('MetaSel ('Just "unGhK") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

newtype GenerichashOutLen

Constructors

GhOL

Fields

• unGhOL :: Int

Instances

Data GenerichashOutLen

Defined in Crypto.Saltine.Internal.Hash

Methods

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

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

toConstr :: GenerichashOutLen -> Constr

dataTypeOf :: GenerichashOutLen -> DataType

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

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

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

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

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

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

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

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

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

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

Generic GenerichashOutLen

Defined in Crypto.Saltine.Internal.Hash

Associated Types

type Rep GenerichashOutLen :: Type -> Type

Methods

from :: GenerichashOutLen -> Rep GenerichashOutLen x

to :: Rep GenerichashOutLen x -> GenerichashOutLen

NFData GenerichashOutLen

Defined in Crypto.Saltine.Internal.Hash

Methods

rnf :: GenerichashOutLen -> ()

Eq GenerichashOutLen

Defined in Crypto.Saltine.Internal.Hash

Methods

(==) :: GenerichashOutLen -> GenerichashOutLen -> Bool

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

Ord GenerichashOutLen

Defined in Crypto.Saltine.Internal.Hash

Methods

compare :: GenerichashOutLen -> GenerichashOutLen -> Ordering

(<) :: GenerichashOutLen -> GenerichashOutLen -> Bool

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

(>) :: GenerichashOutLen -> GenerichashOutLen -> Bool

(>=) :: GenerichashOutLen -> GenerichashOutLen -> Bool

max :: GenerichashOutLen -> GenerichashOutLen -> GenerichashOutLen

min :: GenerichashOutLen -> GenerichashOutLen -> GenerichashOutLen

Hashable GenerichashOutLen

Defined in Crypto.Saltine.Internal.Hash

Methods

hashWithSalt :: Int -> GenerichashOutLen -> Int

hash :: GenerichashOutLen -> Int

type Rep GenerichashOutLen

Defined in Crypto.Saltine.Internal.Hash

type Rep GenerichashOutLen = D1 ('MetaData "GenerichashOutLen" "Crypto.Saltine.Internal.Hash" "saltine-0.2.1.0-inplace" 'True) (C1 ('MetaCons "GhOL" 'PrefixI 'True) (S1 ('MetaSel ('Just "unGhOL") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))