Hoogle Search

Within LTS Haskell 24.48 (ghc-9.10.3)

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

  1. createSvmPrintFnPtr :: CSvmPrintFn -> IO (FunPtr CSvmPrintFn)

    HSvm Data.SVM.Raw

    No documentation available.

  2. package copilot-prettyprinter

    A prettyprinter of Copilot Specifications. A prettyprinter of Copilot specifications. Copilot is a stream (i.e., infinite lists) domain-specific language (DSL) in Haskell that compiles into embedded C. Copilot contains an interpreter, multiple back-end compilers, and other verification tools. A tutorial, examples, and other information are available at https://copilot-language.github.io.

  3. module Copilot.PrettyPrint

    A pretty printer for Copilot specifications.

  4. prettyPrint :: Spec -> String

    copilot-prettyprinter Copilot.PrettyPrint

    Pretty-print a Copilot specification.

  5. dotPrint :: DotParse a => DotConfig -> a -> ByteString

    dotparse DotParse

    No documentation available.

  6. wrapCurlyPrint :: ByteString -> ByteString

    dotparse DotParse.FlatParse

    print wrapping curly brackets

  7. wrapQuotePrint :: ByteString -> ByteString

    dotparse DotParse.FlatParse

    print wrapping quotes

  8. wrapSquarePrint :: ByteString -> ByteString

    dotparse DotParse.FlatParse

    print wrapping square brackets

  9. dotPrint :: DotParse a => DotConfig -> a -> ByteString

    dotparse DotParse.Types

    No documentation available.

  10. Opt_PrintAxiomIncomps :: GeneralFlag

    ghc-lib GHC

    No documentation available.

Page 401 of many | Previous | Next