Hoogle Search

Within LTS Haskell 24.4 (ghc-9.10.2)

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

Exact lookup

1. initStateFromPersistentState :: PersistentTCState -> TCState

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

2. lensPersistentSession :: Lens' PersistentTCState SessionTCState

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

3. lensPersistentState :: Lens' TCState PersistentTCState

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

4. stPersistentOptions :: PersistentTCState -> CommandLineOptions

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

5. stPersistentSession :: PersistentTCState -> !SessionTCState

   Agda	Agda.TypeChecking.Monad.Base

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

6. stPersistentState :: TCState -> !PersistentTCState

   Agda	Agda.TypeChecking.Monad.Base

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

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

   Agda	Agda.TypeChecking.Monad.Base

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

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

   Agda	Agda.TypeChecking.Monad.State

   No documentation available.

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

   Agda	Agda.TypeChecking.Monad.State

   No documentation available.

10. package appendful-persistent

    Persistent integration for ppend-only cooperative agreement

Page 12 of many | Previous | Next