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. package validity-persistent

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

2. class LensPersistentVerbosity a

   Agda	Agda.Interaction.Options.Lenses

   No documentation available.

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

   Agda	Agda.Interaction.Options.Lenses

   No documentation available.

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

   Agda	Agda.Interaction.Options.Lenses

   No documentation available.

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

   Agda	Agda.Interaction.Options.Lenses

   No documentation available.

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

   Agda	Agda.Interaction.Options.Lenses

   No documentation available.

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

   Agda	Agda.Interaction.Options.Lenses

   No documentation available.

8. initPersistentState :: AbsolutePath -> PersistentTCState

   Agda	Agda.TypeChecking.Monad.Base

   Empty persistent state.

9. initPersistentStateFromSessionState :: SessionTCState -> PersistentTCState

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

10. initStateFromPersistentState :: PersistentTCState -> TCState

    Agda	Agda.TypeChecking.Monad.Base

    No documentation available.

Page 11 of many | Previous | Next