Copyright	(c) 2019 Galois Inc.
License	BSD3
Maintainer	cryptol@galois.com
Stability	provisional
Portability	portable
Safe Haskell	Safe-Inferred
Language	Haskell2010

Cryptol.ModuleSystem.Fingerprint

Description

Synopsis

data Fingerprint
fingerprint :: ByteString -> Fingerprint
fingerprintFile :: FilePath -> IO (Either IOError Fingerprint)
fingerprintHexString :: Fingerprint -> String

Documentation

data Fingerprint Source #

Instances

Instances details

Read Fingerprint Source #
Instance details Defined in Cryptol.ModuleSystem.Fingerprint Methods readsPrec :: Int -> ReadS Fingerprint # readList :: ReadS [Fingerprint] # readPrec :: ReadPrec Fingerprint # readListPrec :: ReadPrec [Fingerprint] #
Show Fingerprint Source #
Instance details Defined in Cryptol.ModuleSystem.Fingerprint Methods showsPrec :: Int -> Fingerprint -> ShowS # show :: Fingerprint -> String # showList :: [Fingerprint] -> ShowS #
NFData Fingerprint Source #
Instance details Defined in Cryptol.ModuleSystem.Fingerprint Methods rnf :: Fingerprint -> () #
Eq Fingerprint Source #
Instance details Defined in Cryptol.ModuleSystem.Fingerprint Methods (==) :: Fingerprint -> Fingerprint -> Bool # (/=) :: Fingerprint -> Fingerprint -> Bool #
Ord Fingerprint Source #
Instance details Defined in Cryptol.ModuleSystem.Fingerprint Methods compare :: Fingerprint -> Fingerprint -> Ordering # (<) :: Fingerprint -> Fingerprint -> Bool # (<=) :: Fingerprint -> Fingerprint -> Bool # (>) :: Fingerprint -> Fingerprint -> Bool # (>=) :: Fingerprint -> Fingerprint -> Bool # max :: Fingerprint -> Fingerprint -> Fingerprint # min :: Fingerprint -> Fingerprint -> Fingerprint #
FromValue Fingerprint Source #
Instance details Defined in Cryptol.ModuleSystem.Fingerprint Methods fromValue :: Value' l -> Matcher l Fingerprint # listFromValue :: Value' l -> Matcher l [Fingerprint] #
ToValue Fingerprint Source #
Instance details Defined in Cryptol.ModuleSystem.Fingerprint Methods toValue :: Fingerprint -> Value # toValueList :: [Fingerprint] -> Value #

fingerprint :: ByteString -> Fingerprint Source #

Compute a fingerprint for a bytestring.

fingerprintFile :: FilePath -> IO (Either IOError Fingerprint) Source #

Attempt to compute the fingerprint of the file at the given path. Returns Left in the case of an error.

fingerprintHexString :: Fingerprint -> String Source #