cryptol-2.8.0: Cryptol: The Language of Cryptography

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

Cryptol.ModuleSystem.Fingerprint

Description

Synopsis

- data Fingerprint
- fingerprint :: ByteString -> Fingerprint
- fingerprintFile :: FilePath -> IO (Maybe Fingerprint)

# Documentation

data Fingerprint Source #

#### Instances

Instances details

Eq Fingerprint Source # |
Instance details Defined in Cryptol.ModuleSystem.Fingerprint Methods (==) :: Fingerprint -> Fingerprint -> Bool Source # (/=) :: Fingerprint -> Fingerprint -> Bool Source #
Show Fingerprint Source # |
Instance details Defined in Cryptol.ModuleSystem.Fingerprint Methods showsPrec :: Int -> Fingerprint -> ShowS Source # show :: Fingerprint -> String Source # showList :: [Fingerprint] -> ShowS Source #
NFData Fingerprint Source # |
Instance details Defined in Cryptol.ModuleSystem.Fingerprint Methods rnf :: Fingerprint -> () Source #

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.