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

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.