cryptol-2.8.0: Cryptol: The Language of Cryptography
Copyright(c) 2019 Galois Inc.
LicenseBSD3
Maintainercryptol@galois.com
Stabilityprovisional
Portabilityportable
Safe HaskellNone
LanguageHaskell2010

Cryptol.ModuleSystem.Fingerprint

Description

 
Synopsis

Documentation

data Fingerprint Source #

Instances

Instances details
Eq Fingerprint Source # 
Instance details

Defined in Cryptol.ModuleSystem.Fingerprint

Methods

(==) :: Fingerprint -> Fingerprint -> Bool

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

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 -> ()

fingerprint :: ByteString -> Fingerprint Source #

Compute a fingerprint for a bytestring.

fingerprintFile :: FilePath -> IO (Maybe Fingerprint) Source #

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