Hoogle Search

Within LTS Haskell 24.6 (ghc-9.10.2)

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

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

    Agda Agda.Main

    Print version information.

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

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

    Agda Agda.Syntax.Scope.Monad

    No documentation available.

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

    Agda Agda.TypeChecking.Monad.State

    Debug print the scope.

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

    Agda Agda.TypeChecking.Monad.Statistics

    Print the given statistics.

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

    Agda Agda.TypeChecking.Monad.Trace

    Lispify and print the given highlighting information.

  7. printRegFlex :: Reg -> String

    BNFC BNFC.Backend.C.RegToFlex

    No documentation available.

  8. printerFile :: Options -> String

    BNFC BNFC.Backend.Haskell.HsOpts

    No documentation available.

  9. printerFileM :: Options -> String

    BNFC BNFC.Backend.Haskell.HsOpts

    No documentation available.

  10. printRegJLex :: Reg -> String

    BNFC BNFC.Backend.Java.RegToAntlrLexer

    No documentation available.

Page 55 of many | Previous | Next