Telegram.Bot.API.Types.ForumTopicClosed

ForumTopicClosed

newtype ForumTopicClosed

This object represents a service message about a forum topic closed in the chat. Currently holds no information.

Constructors

ForumTopicClosed Object

Instances

FromJSON ForumTopicClosed

Defined in Telegram.Bot.API.Types.ForumTopicClosed

Methods

parseJSON :: Value -> Parser ForumTopicClosed

parseJSONList :: Value -> Parser [ForumTopicClosed]

ToJSON ForumTopicClosed

Defined in Telegram.Bot.API.Types.ForumTopicClosed

Methods

toJSON :: ForumTopicClosed -> Value

toEncoding :: ForumTopicClosed -> Encoding

toJSONList :: [ForumTopicClosed] -> Value

toEncodingList :: [ForumTopicClosed] -> Encoding

Generic ForumTopicClosed

Defined in Telegram.Bot.API.Types.ForumTopicClosed

Associated Types

type Rep ForumTopicClosed :: Type -> Type

Methods

from :: ForumTopicClosed -> Rep ForumTopicClosed x

to :: Rep ForumTopicClosed x -> ForumTopicClosed

Show ForumTopicClosed

Defined in Telegram.Bot.API.Types.ForumTopicClosed

Methods

showsPrec :: Int -> ForumTopicClosed -> ShowS

show :: ForumTopicClosed -> String

showList :: [ForumTopicClosed] -> ShowS

type Rep ForumTopicClosed

Defined in Telegram.Bot.API.Types.ForumTopicClosed

type Rep ForumTopicClosed = D1 ('MetaData "ForumTopicClosed" "Telegram.Bot.API.Types.ForumTopicClosed" "telegram-bot-api-6.5-3pY7XQZ5v9zCuyh8HdDMyB" 'True) (C1 ('MetaCons "ForumTopicClosed" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Object)))