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. package sydtest-persistent-sqlite

   A persistent-sqlite companion library for sydtest A persistent-sqlite companion library for sydtest

2. package validity-persistent

   Validity instances for persistent-related types Validity instances for persistent-related types

3. class LensPersistentVerbosity a

   Agda	Agda.Interaction.Options.Lenses

   No documentation available.

4. getPersistentVerbosity :: LensPersistentVerbosity a => a -> PersistentVerbosity

   Agda	Agda.Interaction.Options.Lenses

   No documentation available.

5. mapPersistentVerbosity :: LensPersistentVerbosity a => (PersistentVerbosity -> PersistentVerbosity) -> a -> a

   Agda	Agda.Interaction.Options.Lenses

   No documentation available.

6. modifyPersistentVerbosity :: MonadTCState m => (PersistentVerbosity -> PersistentVerbosity) -> m ()

   Agda	Agda.Interaction.Options.Lenses

   No documentation available.

7. putPersistentVerbosity :: MonadTCState m => PersistentVerbosity -> m ()

   Agda	Agda.Interaction.Options.Lenses

   No documentation available.

8. setPersistentVerbosity :: LensPersistentVerbosity a => PersistentVerbosity -> a -> a

   Agda	Agda.Interaction.Options.Lenses

   No documentation available.

9. initPersistentState :: AbsolutePath -> PersistentTCState

   Agda	Agda.TypeChecking.Monad.Base

   Empty persistent state.

10. initPersistentStateFromSessionState :: SessionTCState -> PersistentTCState

    Agda	Agda.TypeChecking.Monad.Base

    No documentation available.

Page 11 of many | Previous | Next