Hoogle Search

Within LTS Haskell 24.39 (ghc-9.10.3)

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

Exact lookup

1. formGraph :: LookupFormula lb gr -> gr

   swish	Swish.RDF.Graph

   The contents of the formula

2. formLabel :: LookupFormula lb gr -> lb

   swish	Swish.RDF.Graph

   The label for the formula

3. formulae :: NSGraph lb -> FormulaMap lb

   swish	Swish.RDF.Graph

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

4. formExpr :: Formula ex -> ex

   swish	Swish.Rule

   Named formula value

5. formName :: Formula ex -> ScopedName

   swish	Swish.Rule

   Name used for formula in proof chain

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

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

8. forwardMessageDisableNotification :: ForwardMessageRequest -> Maybe Bool

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

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

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

10. forwardMessageMessageId :: ForwardMessageRequest -> MessageId

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

    Message identifier in the chat specified in from_chat_id.

Page 191 of many | Previous | Next