Safe Haskell	Safe-Inferred
Language	Haskell2010

Darcs.Util.ValidHash

Synopsis

class (Eq h, IsSizeHash h) => ValidHash h where
- dirofValidHash :: h -> HashedDir
- calcValidHash :: ByteString -> h
data InventoryHash
data PatchHash
data PristineHash
data HashedDir
encodeValidHash :: ValidHash h => h -> String
decodeValidHash :: ValidHash h => String -> Maybe h
parseValidHash :: ValidHash h => Parser h
getHash :: ValidHash h => h -> Hash
getSize :: ValidHash h => h -> Maybe Int
fromHash :: ValidHash h => Hash -> h
fromSizeAndHash :: ValidHash h => Int -> Hash -> h
checkHash :: ValidHash h => h -> ByteString -> Bool
okayHash :: String -> Bool

Documentation

class (Eq h, IsSizeHash h) => ValidHash h where Source #

External API for the various hash types.

Minimal complete definition

dirofValidHash

Methods

dirofValidHash :: h -> HashedDir Source #

The HashedDir belonging to this type of hash

calcValidHash :: ByteString -> h Source #

Compute hash from file content.

Instances

Instances details

ValidHash InventoryHash Source #
Instance details Defined in Darcs.Util.ValidHash Methods dirofValidHash :: InventoryHash -> HashedDir Source # calcValidHash :: ByteString -> InventoryHash Source #
ValidHash PatchHash Source #
Instance details Defined in Darcs.Util.ValidHash Methods dirofValidHash :: PatchHash -> HashedDir Source # calcValidHash :: ByteString -> PatchHash Source #
ValidHash PristineHash Source #
Instance details Defined in Darcs.Util.ValidHash Methods dirofValidHash :: PristineHash -> HashedDir Source # calcValidHash :: ByteString -> PristineHash Source #

data InventoryHash Source #

Instances

Instances details

Show InventoryHash Source #
Instance details Defined in Darcs.Util.ValidHash Methods showsPrec :: Int -> InventoryHash -> ShowS # show :: InventoryHash -> String # showList :: [InventoryHash] -> ShowS #
ValidHash InventoryHash Source #
Instance details Defined in Darcs.Util.ValidHash Methods dirofValidHash :: InventoryHash -> HashedDir Source # calcValidHash :: ByteString -> InventoryHash Source #
Eq InventoryHash Source #
Instance details Defined in Darcs.Util.ValidHash Methods (==) :: InventoryHash -> InventoryHash -> Bool # (/=) :: InventoryHash -> InventoryHash -> Bool #

data PatchHash Source #

Instances

Instances details

Show PatchHash Source #
Instance details Defined in Darcs.Util.ValidHash Methods showsPrec :: Int -> PatchHash -> ShowS # show :: PatchHash -> String # showList :: [PatchHash] -> ShowS #
ValidHash PatchHash Source #
Instance details Defined in Darcs.Util.ValidHash Methods dirofValidHash :: PatchHash -> HashedDir Source # calcValidHash :: ByteString -> PatchHash Source #
Eq PatchHash Source #
Instance details Defined in Darcs.Util.ValidHash Methods (==) :: PatchHash -> PatchHash -> Bool # (/=) :: PatchHash -> PatchHash -> Bool #

data PristineHash Source #

Instances

Instances details

Show PristineHash Source #
Instance details Defined in Darcs.Util.ValidHash Methods showsPrec :: Int -> PristineHash -> ShowS # show :: PristineHash -> String # showList :: [PristineHash] -> ShowS #
ValidHash PristineHash Source #
Instance details Defined in Darcs.Util.ValidHash Methods dirofValidHash :: PristineHash -> HashedDir Source # calcValidHash :: ByteString -> PristineHash Source #
Eq PristineHash Source #
Instance details Defined in Darcs.Util.ValidHash Methods (==) :: PristineHash -> PristineHash -> Bool # (/=) :: PristineHash -> PristineHash -> Bool #

data HashedDir Source #

Semantically, this is the type of hashed objects. Git has a type tag inside the hashed file itself, whereas in Darcs the type is determined by the subdirectory.

Constructors

HashedPristineDir
HashedPatchesDir
HashedInventoriesDir

Instances

Instances details

Eq HashedDir Source #
Instance details Defined in Darcs.Util.ValidHash Methods (==) :: HashedDir -> HashedDir -> Bool # (/=) :: HashedDir -> HashedDir -> Bool #

encodeValidHash :: ValidHash h => h -> String Source #

decodeValidHash :: ValidHash h => String -> Maybe h Source #

parseValidHash :: ValidHash h => Parser h Source #

getHash :: ValidHash h => h -> Hash Source #

getSize :: ValidHash h => h -> Maybe Int Source #

fromHash :: ValidHash h => Hash -> h Source #

fromSizeAndHash :: ValidHash h => Int -> Hash -> h Source #

checkHash :: ValidHash h => h -> ByteString -> Bool Source #

Verify file content against a given ValidHash.

okayHash :: String -> Bool Source #

Check that the given String is an encoding of some ValidHash.