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. formatGraphAsLazyText :: RDFGraph -> Text

    swish Swish.RDF.Formatter.Turtle

    Convert the graph to text.

  2. formatGraphAsText :: RDFGraph -> Text

    swish Swish.RDF.Formatter.Turtle

    Convert the graph to text.

  3. formatGraphDiag :: Builder -> Bool -> RDFGraph -> (Builder, NodeGenLookupMap, Word32, [String])

    swish Swish.RDF.Formatter.Turtle

    Format graph and return additional information.

  4. formatGraphIndent :: Builder -> Bool -> RDFGraph -> Builder

    swish Swish.RDF.Formatter.Turtle

    Convert the graph to a builder using the given indentation text.

  5. formGraph :: LookupFormula lb gr -> gr

    swish Swish.RDF.Graph

    The contents of the formula

  6. formLabel :: LookupFormula lb gr -> lb

    swish Swish.RDF.Graph

    The label for the formula

  7. formulae :: NSGraph lb -> FormulaMap lb

    swish Swish.RDF.Graph

    any associated formulae (a.k.a. sub- or named- graps)

  8. formExpr :: Formula ex -> ex

    swish Swish.Rule

    Named formula value

  9. formName :: Formula ex -> ScopedName

    swish Swish.Rule

    Name used for formula in proof chain

  10. forwardMessage :: ForwardMessageRequest -> ClientM (Response Message)

    telegram-bot-api Telegram.Bot.API.Methods.ForwardMessage

    Use this method to forward messages of any kind. On success, the sent Message is returned.

Page 191 of many | Previous | Next