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

Crypto.Saltine.Internal.Hash

Description

Synopsis

hash_bytes :: Int
shorthash_bytes :: Int
shorthash_keybytes :: Int
generichash_bytes_max :: Int
generichash_keybytes_max :: Int
c_hash :: Ptr CChar -> Ptr CChar -> CULLong -> IO CInt
c_shorthash :: Ptr CChar -> Ptr CChar -> CULLong -> Ptr CChar -> IO CInt
c_generichash :: Ptr CChar -> CULLong -> Ptr CChar -> CULLong -> Ptr CChar -> CULLong -> IO CInt
nullShKey :: ShorthashKey
shorthash :: ShorthashKey -> ByteString -> ByteString
newtype ShorthashKey = ShK {
- unShK :: ByteString
}
newtype GenerichashKey = GhK {
- unGhK :: ByteString
}
newtype GenerichashOutLen = GhOL {
- unGhOL :: Int
}

Documentation

hash_bytes :: Int Source #

The size of a hash resulting from hash.

shorthash_bytes :: Int Source #

The size of a keyed hash resulting from shorthash.

shorthash_keybytes :: Int Source #

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

generichash_bytes_max :: Int Source #

The maximum output size of the generic hash function generichash

generichash_keybytes_max :: Int Source #

The maximum key size of the generic hash function generichash

c_hash Source #

Arguments

:: Ptr CChar	Output hash buffer
-> Ptr CChar	Constant message buffer
-> CULLong	Constant message buffer length
-> IO CInt	Always 0

c_shorthash Source #

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 Source #

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 Source #

Used for our Show instances

shorthash Source #

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 Source #

An opaque shorthash cryptographic secret key.

Constructors

ShK
Fields unShK :: ByteString

Instances

Instances details

Eq ShorthashKey Source #
Instance details Defined in Crypto.Saltine.Internal.Hash Methods (==) :: ShorthashKey -> ShorthashKey -> Bool # (/=) :: ShorthashKey -> ShorthashKey -> Bool #
Data ShorthashKey Source #
Instance details 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 #
Ord ShorthashKey Source #
Instance details 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 #
Show ShorthashKey Source #
Instance details Defined in Crypto.Saltine.Internal.Hash Methods showsPrec :: Int -> ShorthashKey -> ShowS # show :: ShorthashKey -> String # showList :: [ShorthashKey] -> ShowS #
Generic ShorthashKey Source #
Instance details Defined in Crypto.Saltine.Internal.Hash Associated Types type Rep ShorthashKey :: Type -> Type # Methods from :: ShorthashKey -> Rep ShorthashKey x # to :: Rep ShorthashKey x -> ShorthashKey #
NFData ShorthashKey Source #
Instance details Defined in Crypto.Saltine.Internal.Hash Methods rnf :: ShorthashKey -> () #
Hashable ShorthashKey Source #
Instance details Defined in Crypto.Saltine.Internal.Hash Methods hashWithSalt :: Int -> ShorthashKey -> Int # hash :: ShorthashKey -> Int #
IsEncoding ShorthashKey Source #
Instance details Defined in Crypto.Saltine.Internal.Hash Methods encode :: ShorthashKey -> ByteString Source # decode :: ByteString -> Maybe ShorthashKey Source # encoded :: (Choice p, Applicative f) => p ShorthashKey (f ShorthashKey) -> p ByteString (f ByteString) Source #
type Rep ShorthashKey Source #
Instance details Defined in Crypto.Saltine.Internal.Hash type Rep ShorthashKey = D1 ('MetaData "ShorthashKey" "Crypto.Saltine.Internal.Hash" "saltine-0.2.0.1-inplace" 'True) (C1 ('MetaCons "ShK" 'PrefixI 'True) (S1 ('MetaSel ('Just "unShK") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

newtype GenerichashKey Source #

An opaque generichash cryptographic secret key.

Constructors

GhK
Fields unGhK :: ByteString

Instances

Instances details

Eq GenerichashKey Source #
Instance details Defined in Crypto.Saltine.Internal.Hash Methods (==) :: GenerichashKey -> GenerichashKey -> Bool # (/=) :: GenerichashKey -> GenerichashKey -> Bool #
Data GenerichashKey Source #
Instance details 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 #
Ord GenerichashKey Source #
Instance details 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 #
Show GenerichashKey Source #
Instance details Defined in Crypto.Saltine.Internal.Hash Methods showsPrec :: Int -> GenerichashKey -> ShowS # show :: GenerichashKey -> String # showList :: [GenerichashKey] -> ShowS #
Generic GenerichashKey Source #
Instance details Defined in Crypto.Saltine.Internal.Hash Associated Types type Rep GenerichashKey :: Type -> Type # Methods from :: GenerichashKey -> Rep GenerichashKey x # to :: Rep GenerichashKey x -> GenerichashKey #
NFData GenerichashKey Source #
Instance details Defined in Crypto.Saltine.Internal.Hash Methods rnf :: GenerichashKey -> () #
Hashable GenerichashKey Source #
Instance details Defined in Crypto.Saltine.Internal.Hash Methods hashWithSalt :: Int -> GenerichashKey -> Int # hash :: GenerichashKey -> Int #
IsEncoding GenerichashKey Source #
Instance details Defined in Crypto.Saltine.Internal.Hash Methods encode :: GenerichashKey -> ByteString Source # decode :: ByteString -> Maybe GenerichashKey Source # encoded :: (Choice p, Applicative f) => p GenerichashKey (f GenerichashKey) -> p ByteString (f ByteString) Source #
type Rep GenerichashKey Source #
Instance details Defined in Crypto.Saltine.Internal.Hash type Rep GenerichashKey = D1 ('MetaData "GenerichashKey" "Crypto.Saltine.Internal.Hash" "saltine-0.2.0.1-inplace" 'True) (C1 ('MetaCons "GhK" 'PrefixI 'True) (S1 ('MetaSel ('Just "unGhK") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

newtype GenerichashOutLen Source #

Constructors

GhOL
Fields unGhOL :: Int

Instances

Instances details

Eq GenerichashOutLen Source #
Instance details Defined in Crypto.Saltine.Internal.Hash Methods (==) :: GenerichashOutLen -> GenerichashOutLen -> Bool # (/=) :: GenerichashOutLen -> GenerichashOutLen -> Bool #
Data GenerichashOutLen Source #
Instance details 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 #
Ord GenerichashOutLen Source #
Instance details 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 #
Generic GenerichashOutLen Source #
Instance details 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 Source #
Instance details Defined in Crypto.Saltine.Internal.Hash Methods rnf :: GenerichashOutLen -> () #
Hashable GenerichashOutLen Source #
Instance details Defined in Crypto.Saltine.Internal.Hash Methods hashWithSalt :: Int -> GenerichashOutLen -> Int # hash :: GenerichashOutLen -> Int #
type Rep GenerichashOutLen Source #
Instance details Defined in Crypto.Saltine.Internal.Hash type Rep GenerichashOutLen = D1 ('MetaData "GenerichashOutLen" "Crypto.Saltine.Internal.Hash" "saltine-0.2.0.1-inplace" 'True) (C1 ('MetaCons "GhOL" 'PrefixI 'True) (S1 ('MetaSel ('Just "unGhOL") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))