Hoogle Search

Within LTS Haskell 24.52 (ghc-9.10.3)

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

Exact lookup

1. PlentyInHardCompileTimeMode :: QωOrigin -> Warning

   Agda	Agda.TypeChecking.Monad.Base

   Explicit use of @ω or @plenty in hard compile-time mode.

2. data PostScopeState

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

3. PostScopeState :: HighlightingInfo -> DisambiguatedNames -> LocalMetaStore -> LocalMetaStore -> InteractionPoints -> Constraints -> Constraints -> Bool -> !Set QName -> Signature -> !Map ModuleName CheckpointId -> DisplayForms -> BackendForeignCode -> !Maybe (ModuleName, TopLevelModuleName) -> !Set QName -> !Set QName -> ConcreteNames -> UsedNames -> ShadowingNames -> Statistics -> !Set TCWarning -> MutualBlocks -> BuiltinThings -> MetaId -> MutualId -> ProblemId -> CheckpointId -> Int -> NameId -> OpaqueId -> Bool -> Bool -> Bool -> Bool -> !Set QName -> Map OpaqueId OpaqueBlock -> Map QName OpaqueId -> Bool -> PostScopeState

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

4. PostponedTypeCheckingProblem :: Closure TypeCheckingProblem -> MetaInstantiation

   Agda	Agda.TypeChecking.Monad.Base

   Meta stands for value of the expression that is still to be type checked.

5. PostulatedSizeInModule :: TypeError

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

6. PragmaCompileErased :: BackendName -> QName -> Warning

   Agda	Agda.TypeChecking.Monad.Base

   COMPILE directive for an erased symbol.

7. PragmaCompileList :: Warning

   Agda	Agda.TypeChecking.Monad.Base

   COMPILE GHC pragma for lists; ignored.

8. PragmaCompileMaybe :: Warning

   Agda	Agda.TypeChecking.Monad.Base

   COMPILE GHC pragma for MAYBE; ignored.

9. PragmaCompileUnparsable :: String -> Warning

   Agda	Agda.TypeChecking.Monad.Base

   COMPILE GHC pragma String not parsable; ignored.

10. PragmaCompileWrong :: QName -> String -> Warning

    Agda	Agda.TypeChecking.Monad.Base

    Wrong COMPILE GHC given for QName; explanation is in String.

Page 1140 of many | Previous | Next