cryptol-2.11.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

Show Fingerprint Source # 
Instance details

Defined in Cryptol.ModuleSystem.Fingerprint

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.