Hoogle Search

Within LTS Haskell 24.34 (ghc-9.10.3)

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

Exact lookup

1. lensPersistentSession :: Lens' PersistentTCState SessionTCState

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

2. lensPersistentState :: Lens' TCState PersistentTCState

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

3. stPersistentOptions :: PersistentTCState -> CommandLineOptions

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

4. stPersistentSession :: PersistentTCState -> !SessionTCState

   Agda	Agda.TypeChecking.Monad.Base

   State that persists for the whole Agda session. Grows monotonically, never sees any deletion.

5. stPersistentState :: TCState -> !PersistentTCState

   Agda	Agda.TypeChecking.Monad.Base

   State which persists while we build an Agda project (same main file).

6. stPersistentTopLevelModuleNames :: PersistentTCState -> !BiMap RawTopLevelModuleName ModuleNameHash

   Agda	Agda.TypeChecking.Monad.Base

   Module name hashes for top-level module names (and vice versa).

7. modifyPersistentState :: (PersistentTCState -> PersistentTCState) -> TCM ()

   Agda	Agda.TypeChecking.Monad.State

   No documentation available.

8. updatePersistentState :: (PersistentTCState -> PersistentTCState) -> TCState -> TCState

   Agda	Agda.TypeChecking.Monad.State

   No documentation available.

9. package appendful-persistent

   Persistent integration for ppend-only cooperative agreement

10. package genvalidity-hspec-persistent

    Standard spec's for persistent-related instances Standard spec's for persistent-related instances

Page 12 of many | Previous | Next