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. PragmaCompileWrongName :: QName -> IsAmbiguous -> Warning

   Agda	Agda.TypeChecking.Monad.Base

   COMPILE pragma with name QName that is not an unambiguous constructor or definition.

2. PragmaExpectsDefinedSymbol :: String -> QName -> Warning

   Agda	Agda.TypeChecking.Monad.Base

   Pragma String with name QName that is not an Def.

3. PragmaExpectsUnambiguousConstructorOrFunction :: String -> QName -> IsAmbiguous -> Warning

   Agda	Agda.TypeChecking.Monad.Base

   Pragma String with name QName that is not an unambiguous constructor or definition. General form of PragmaCompileWrongName and NotARewriteRule.

4. PragmaExpectsUnambiguousProjectionOrFunction :: String -> QName -> IsAmbiguous -> Warning

   Agda	Agda.TypeChecking.Monad.Base

   Pragma String with name QName that is not an unambiguous projection or function.

5. Pragmas :: PragmaOptions -> TypeCheckAction

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

6. data PreScopeState

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

7. PreScopeState :: HighlightingInfo -> Signature -> ImportedModules -> ImportedModules -> ModuleToSourceId -> VisitedModules -> ScopeInfo -> PatternSynDefns -> PatternSynDefns -> !Maybe (Set QName) -> PragmaOptions -> BuiltinThings -> DisplayForms -> InteractionId -> UserWarnings -> UserWarnings -> !Maybe Text -> !Set QName -> LibCache -> RemoteMetaStore -> !HashMap QName QName -> !HashMap QName (HashSet QName) -> PreScopeState

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

8. Prim :: pf -> Builtin pf

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

9. data PrimFun

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

10. PrimFun :: QName -> Arity -> [Occurrence] -> ([Arg Term] -> Int -> ReduceM (Reduced MaybeReducedArgs Term)) -> PrimFun

    Agda	Agda.TypeChecking.Monad.Base

    No documentation available.

Page 1141 of many | Previous | Next