Hoogle Search

Within LTS Haskell 24.35 (ghc-9.10.3)

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

Exact lookup

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

   swish	Swish.RDF.Formatter.Turtle

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

2. formGraph :: LookupFormula lb gr -> gr

   swish	Swish.RDF.Graph

   The contents of the formula

3. formLabel :: LookupFormula lb gr -> lb

   swish	Swish.RDF.Graph

   The label for the formula

4. formulae :: NSGraph lb -> FormulaMap lb

   swish	Swish.RDF.Graph

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

5. formExpr :: Formula ex -> ex

   swish	Swish.Rule

   Named formula value

6. formName :: Formula ex -> ScopedName

   swish	Swish.Rule

   Name used for formula in proof chain

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

8. forwardMessageChatId :: ForwardMessageRequest -> SomeChatId

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

   Unique identifier for the target chat or username of the target channel (in the format @@channelusername).

9. forwardMessageDisableNotification :: ForwardMessageRequest -> Maybe Bool

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

   Sends the message silently. Users will receive a notification with no sound.

10. forwardMessageFromChatId :: ForwardMessageRequest -> SomeChatId

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

    Unique identifier for the chat where the original message was sent (or channel username in the format @@channelusername).

Page 191 of many | Previous | Next