Safe Haskell	Safe-Inferred
Language	Haskell2010

System.Nix.Hash

Description

Synopsis

data HashAlgo :: Type -> Type where
- HashAlgo_MD5 :: HashAlgo MD5
- HashAlgo_SHA1 :: HashAlgo SHA1
- HashAlgo_SHA256 :: HashAlgo SHA256
- HashAlgo_SHA512 :: HashAlgo SHA512
class HashAlgorithm a => NamedAlgo a where
- algoName :: Text
algoToText :: forall t. HashAlgo t -> Text
textToAlgo :: Text -> Either String (Some HashAlgo)
mkNamedDigest :: Text -> Text -> Either String (DSum HashAlgo Digest)
mkStorePathHash :: forall a. HashAlgorithm a => ByteString -> ByteString
data BaseEncoding
- = NixBase32
- | Base16
- | Base64
encodeDigestWith :: BaseEncoding -> Digest a -> Text
decodeDigestWith :: HashAlgorithm a => BaseEncoding -> Text -> Either String (Digest a)
algoDigestBuilder :: DSum HashAlgo Digest -> Builder
digestBuilder :: forall hashAlgo. NamedAlgo hashAlgo => Digest hashAlgo -> Builder

Documentation

data HashAlgo :: Type -> Type where Source #

Constructors

HashAlgo_MD5 :: HashAlgo MD5
HashAlgo_SHA1 :: HashAlgo SHA1
HashAlgo_SHA256 :: HashAlgo SHA256
HashAlgo_SHA512 :: HashAlgo SHA512

Instances

Instances details

GCompare HashAlgo Source #
Instance details Defined in System.Nix.Hash Methods gcompare :: forall (a :: k) (b :: k). HashAlgo a -> HashAlgo b -> GOrdering a b #
GEq HashAlgo Source #
Instance details Defined in System.Nix.Hash Methods geq :: forall (a :: k) (b :: k). HashAlgo a -> HashAlgo b -> Maybe (a :~: b) #
GShow HashAlgo Source #
Instance details Defined in System.Nix.Hash Methods gshowsPrec :: forall (a :: k). Int -> HashAlgo a -> ShowS #
(c MD5, c SHA1, c SHA256, c SHA512) => Has (c :: Type -> Constraint) HashAlgo Source #
Instance details Defined in System.Nix.Hash Methods has :: forall (a :: k) r. HashAlgo a -> (c a => r) -> r # argDict :: forall (a :: k). HashAlgo a -> Dict (c a) #

class HashAlgorithm a => NamedAlgo a where Source #

A HashAlgorithm with a canonical name, for serialization purposes (e.g. SRI hashes)

Methods

algoName :: Text Source #

Instances

Instances details

NamedAlgo MD5 Source #
Instance details Defined in System.Nix.Hash Methods algoName :: Text Source #
NamedAlgo SHA1 Source #
Instance details Defined in System.Nix.Hash Methods algoName :: Text Source #
NamedAlgo SHA256 Source #
Instance details Defined in System.Nix.Hash Methods algoName :: Text Source #
NamedAlgo SHA512 Source #
Instance details Defined in System.Nix.Hash Methods algoName :: Text Source #

algoToText :: forall t. HashAlgo t -> Text Source #

textToAlgo :: Text -> Either String (Some HashAlgo) Source #

mkNamedDigest Source #

Arguments

:: Text	SRI name
-> Text	base encoded hash
-> Either String (DSum HashAlgo Digest)

Make DSum HashAlgo Digest based on provided SRI hash name and its encoded form

mkStorePathHash :: forall a. HashAlgorithm a => ByteString -> ByteString Source #

data BaseEncoding Source #

Constructors to indicate the base encodings

Constructors

NixBase32
Base16	^ Nix has a special map of Base32 encoding Placed first, since it determines Haskell optimizations of pattern matches, & NixBase seems be the most widely used in Nix.
Base64

Instances

Instances details

Bounded BaseEncoding Source #
Instance details Defined in System.Nix.Base Methods minBound :: BaseEncoding # maxBound :: BaseEncoding #
Enum BaseEncoding Source #
Instance details Defined in System.Nix.Base Methods succ :: BaseEncoding -> BaseEncoding # pred :: BaseEncoding -> BaseEncoding # toEnum :: Int -> BaseEncoding # fromEnum :: BaseEncoding -> Int # enumFrom :: BaseEncoding -> [BaseEncoding] # enumFromThen :: BaseEncoding -> BaseEncoding -> [BaseEncoding] # enumFromTo :: BaseEncoding -> BaseEncoding -> [BaseEncoding] # enumFromThenTo :: BaseEncoding -> BaseEncoding -> BaseEncoding -> [BaseEncoding] #
Generic BaseEncoding Source #
Instance details Defined in System.Nix.Base Associated Types type Rep BaseEncoding :: Type -> Type # Methods from :: BaseEncoding -> Rep BaseEncoding x # to :: Rep BaseEncoding x -> BaseEncoding #
Show BaseEncoding Source #
Instance details Defined in System.Nix.Base Methods showsPrec :: Int -> BaseEncoding -> ShowS # show :: BaseEncoding -> String # showList :: [BaseEncoding] -> ShowS #
Eq BaseEncoding Source #
Instance details Defined in System.Nix.Base Methods (==) :: BaseEncoding -> BaseEncoding -> Bool # (/=) :: BaseEncoding -> BaseEncoding -> Bool #
Ord BaseEncoding Source #
Instance details Defined in System.Nix.Base Methods compare :: BaseEncoding -> BaseEncoding -> Ordering # (<) :: BaseEncoding -> BaseEncoding -> Bool # (<=) :: BaseEncoding -> BaseEncoding -> Bool # (>) :: BaseEncoding -> BaseEncoding -> Bool # (>=) :: BaseEncoding -> BaseEncoding -> Bool # max :: BaseEncoding -> BaseEncoding -> BaseEncoding # min :: BaseEncoding -> BaseEncoding -> BaseEncoding #
type Rep BaseEncoding Source #
Instance details Defined in System.Nix.Base type Rep BaseEncoding = D1 ('MetaData "BaseEncoding" "System.Nix.Base" "hnix-store-core-0.8.0.0-2YQUX8JlMxk93e1fw1Y66G" 'False) (C1 ('MetaCons "NixBase32" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Base16" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Base64" 'PrefixI 'False) (U1 :: Type -> Type)))

encodeDigestWith :: BaseEncoding -> Digest a -> Text Source #

Take BaseEncoding type of the output -> take the Digeest as input -> encode Digest

decodeDigestWith :: HashAlgorithm a => BaseEncoding -> Text -> Either String (Digest a) Source #

Take BaseEncoding type of the input -> take the input itself -> decodeBase into Digest

algoDigestBuilder :: DSum HashAlgo Digest -> Builder Source #

Builder for DSum HashAlgo Digests

digestBuilder :: forall hashAlgo. NamedAlgo hashAlgo => Digest hashAlgo -> Builder Source #

Builder for Digests