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.

Exact lookup

1. printSExpr :: Seq String -> SExpr -> Text

   what4	What4.Serialize.Printer

   Generates the the S-expression tokens represented by the sexpr argument, preceeded by a list of strings output as comments.

2. printAtom :: Atom -> Text

   what4	What4.Serialize.SETokens

   No documentation available.

3. printSExpr :: Seq String -> SExpr -> Text

   what4	What4.Serialize.SETokens

   Generates the the S-expression tokens represented by the sexpr argument, preceeded by a list of strings output as comments.

4. printErrorInfo :: TCErr -> TCM ()

   Agda	Agda.Interaction.Highlighting.Generate

   Prints syntax highlighting info for an error.

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

   Agda	Agda.Interaction.Highlighting.Generate

   Lispify and print the given highlighting information.

6. printSyntaxInfo :: Range -> TCM ()

   Agda	Agda.Interaction.Highlighting.Generate

   No documentation available.

7. printUnsolvedInfo :: TCM ()

   Agda	Agda.Interaction.Highlighting.Generate

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

8. printAgdaAppDir :: IO ()

   Agda	Agda.Main

   No documentation available.

9. printAgdaDataDir :: IO ()

   Agda	Agda.Main

   No documentation available.

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

    Agda	Agda.Main

    Print usage information.

Page 54 of many | Previous | Next