Telegram.Bot.API.Types.File

telegram-bot-api-7.4.5: Easy to use library for building Telegram bots. Exports Telegram Bot API.

Safe Haskell	None
Language	Haskell2010

Telegram.Bot.API.Types.File

Contents

File

Synopsis

data File = File {
- fileFileId :: FileId
- fileFileUniqueId :: FileId
- fileFileSize :: Maybe Integer
- fileFilePath :: Maybe Text
}

`File`

data File Source #

This object represents a file ready to be downloaded. The file can be downloaded via the link https://api.telegram.org/file/bot<token>/<file_path>. It is guaranteed that the link will be valid for at least 1 hour. When the link expires, a new one can be requested by calling getFile.

Constructors

Fields

fileFileId :: FileId
Unique identifier for this file.
fileFileUniqueId :: FileId
Unique identifier for this file, which is supposed to be the same over time and for different bots. Can't be used to download or reuse the file.
fileFileSize :: Maybe Integer
File size in bytes, if known.
fileFilePath :: Maybe Text
File path. Use https://api.telegram.org/file/bot<token>/<file_path> to get the file.

Instances

Instances details

FromJSON File Source #

Instance details

Defined in Telegram.Bot.API.Types.File

Methods

parseJSON :: Value -> Parser File #

parseJSONList :: Value -> Parser [File] #

omittedField :: Maybe File #

ToJSON File Source #

Instance details

Defined in Telegram.Bot.API.Types.File

Methods

toJSON :: File -> Value #

toEncoding :: File -> Encoding #

toJSONList :: [File] -> Value #

toEncodingList :: [File] -> Encoding #

omitField :: File -> Bool #

Generic File Source #

Instance details

Defined in Telegram.Bot.API.Types.File

Associated Types

type Rep File

Instance details

Defined in Telegram.Bot.API.Types.File

type Rep File = D1 ('MetaData "File" "Telegram.Bot.API.Types.File" "telegram-bot-api-7.4.5-5dPKIbH7RBmIytHX2MOrgE" 'False) (C1 ('MetaCons "File" 'PrefixI 'True) ((S1 ('MetaSel ('Just "fileFileId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FileId) :*: S1 ('MetaSel ('Just "fileFileUniqueId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FileId)) :*: (S1 ('MetaSel ('Just "fileFileSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Integer)) :*: S1 ('MetaSel ('Just "fileFilePath") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)))))

Methods

from :: File -> Rep File x #

to :: Rep File x -> File #

Show File Source #

Instance details

Defined in Telegram.Bot.API.Types.File

Methods

showsPrec :: Int -> File -> ShowS #

show :: File -> String #

showList :: [File] -> ShowS #

type Rep File Source #

Instance details

Defined in Telegram.Bot.API.Types.File

type Rep File = D1 ('MetaData "File" "Telegram.Bot.API.Types.File" "telegram-bot-api-7.4.5-5dPKIbH7RBmIytHX2MOrgE" 'False) (C1 ('MetaCons "File" 'PrefixI 'True) ((S1 ('MetaSel ('Just "fileFileId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FileId) :*: S1 ('MetaSel ('Just "fileFileUniqueId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FileId)) :*: (S1 ('MetaSel ('Just "fileFileSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Integer)) :*: S1 ('MetaSel ('Just "fileFilePath") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)))))