Hoogle Search

Within LTS Haskell 24.10 (ghc-9.10.2)

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

  1. 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).

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

    Agda Agda.Syntax.Scope.Monad

    No documentation available.

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

    Agda Agda.TypeChecking.Monad.State

    Debug print the scope.

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

    Agda Agda.TypeChecking.Monad.Statistics

    Print the given statistics.

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

    Agda Agda.TypeChecking.Monad.Trace

    Lispify and print the given highlighting information.

  6. printRegFlex :: Reg -> String

    BNFC BNFC.Backend.C.RegToFlex

    No documentation available.

  7. printerFile :: Options -> String

    BNFC BNFC.Backend.Haskell.HsOpts

    No documentation available.

  8. printerFileM :: Options -> String

    BNFC BNFC.Backend.Haskell.HsOpts

    No documentation available.

  9. printRegJLex :: Reg -> String

    BNFC BNFC.Backend.Java.RegToAntlrLexer

    No documentation available.

  10. printRegJLex :: JavaLexerParser -> Reg -> String

    BNFC BNFC.Backend.Java.RegToJLex

    Print a regular expression for the Java lexers.

Page 55 of many | Previous | Next