Hoogle Search

Within LTS Haskell 24.37 (ghc-9.10.3)

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

Exact lookup

1. printUnsolvedInfo :: TCM ()

   Agda	Agda.Interaction.Highlighting.Generate

   Generates and prints syntax highlighting information for unsolved meta-variables and certain unsolved constraints.

2. printAgdaAppDir :: IO ()

   Agda	Agda.Main

   No documentation available.

3. printAgdaDataDir :: IO ()

   Agda	Agda.Main

   No documentation available.

4. printUsage :: [Backend] -> Help -> IO ()

   Agda	Agda.Main

   Print usage information.

5. printVersion :: [Backend] -> PrintAgdaVersion -> IO ()

   Agda	Agda.Main

   Print version information.

6. printEmacsModeFile :: IO ()

   Agda	Agda.Setup.EmacsMode

   Prints out the path to the Agda mode's main file (using UTF-8 and without any trailing newline).

7. printLocals :: Int -> String -> ScopeM ()

   Agda	Agda.Syntax.Scope.Monad

   No documentation available.

8. printScope :: String -> Int -> String -> TCM ()

   Agda	Agda.TypeChecking.Monad.State

   Debug print the scope.

9. printStatistics :: (MonadDebug m, MonadTCEnv m, HasOptions m) => Maybe TopLevelModuleName -> Statistics -> m ()

   Agda	Agda.TypeChecking.Monad.Statistics

   Print the given statistics.

10. printHighlightingInfo :: MonadTrace m => RemoveTokenBasedHighlighting -> HighlightingInfo -> m ()

    Agda	Agda.TypeChecking.Monad.Trace

    Lispify and print the given highlighting information.

Page 76 of many | Previous | Next