Hoogle Search

Within LTS Haskell 24.51 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. InvalidChecksum :: ParseError

   roc-id	ROC.ID

   The computed checksum did not match the checksum portion of the input.

2. identityChecksum :: Identity -> Digit

   roc-id	ROC.ID

   Calculate the checksum of the specified Identity.

3. verifyCheckSums :: ReadOptions -> !Bool

   rocksdb-haskell	Database.RocksDB.Base

   If true, all data read from underlying storage will be verified against corresponding checksuyms. Default: False

4. c_rocksdb_readoptions_set_verify_checksums :: ReadOptionsPtr -> CUChar -> IO ()

   rocksdb-haskell	Database.RocksDB.C

   No documentation available.

5. verifyCheckSums :: ReadOptions -> !Bool

   rocksdb-haskell	Database.RocksDB.Types

   If true, all data read from underlying storage will be verified against corresponding checksuyms. Default: False

6. CommandAssume :: a -> [VarIdent' a] -> Term' a -> Command' a

   rzk	Language.Rzk.Syntax.Abs

   No documentation available.

7. TypeErrorImplicitAssumption :: (var, TermT var) -> var -> TypeError var

   rzk	Rzk.TypeCheck

   No documentation available.

8. abstractAssumption :: Eq var => (var, VarInfo var) -> Decl var -> Decl var

   rzk	Rzk.TypeCheck

   No documentation available.

9. declIsAssumption :: Decl var -> Bool

   rzk	Rzk.TypeCheck

   No documentation available.

10. insertExplicitAssumptionFor :: Eq var => var -> (var, VarInfo var) -> TermT var -> TermT var

    rzk	Rzk.TypeCheck

    No documentation available.

Page 224 of many | Previous | Next