Network.API.Telegram.Bot.Object.Update.Message.Content.File.Audio

Documentation

data Audio

Constructors

Audio URI Duration (Maybe Text) (Maybe Title) (Maybe MIME) (Maybe Filesize)

Instances

Show Audio

Defined in Network.API.Telegram.Bot.Object.Update.Message.Content.File.Audio

Methods

showsPrec :: Int -> Audio -> ShowS

show :: Audio -> String

showList :: [Audio] -> ShowS

FromJSON Audio

Defined in Network.API.Telegram.Bot.Object.Update.Message.Content.File.Audio

Methods

parseJSON :: Value -> Parser Audio

parseJSONList :: Value -> Parser [Audio]

Identifiable Audio

Defined in Network.API.Telegram.Bot.Object.Update.Message.Content.File.Audio

Associated Types

type Identificator Audio :: *

Methods

ident :: Audio -> Identificator Audio

Accessible Duration Audio

Defined in Network.API.Telegram.Bot.Object.Update.Message.Content.File.Audio

Methods

access :: Lens' Audio Duration

Persistable (Send Audio)

Defined in Network.API.Telegram.Bot.Object.Update.Message

Associated Types

type Payload (Send Audio) = (payload :: *)

type Returning (Send Audio) :: *

Methods

payload :: Payload (Send Audio) -> Object

endpoint :: Payload (Send Audio) -> String

persist :: FromJSON (Returning (Send Audio)) => Payload (Send Audio) -> Telegram e (Returning (Send Audio))

persist_ :: Payload (Send Audio) -> Telegram e ()

Persistable (Send (Caption :&: Audio))

Defined in Network.API.Telegram.Bot.Object.Update.Message

Associated Types

type Payload (Send (Caption :&: Audio)) = (payload :: *)

type Returning (Send (Caption :&: Audio)) :: *

Methods

payload :: Payload (Send (Caption :&: Audio)) -> Object

endpoint :: Payload (Send (Caption :&: Audio)) -> String

persist :: FromJSON (Returning (Send (Caption :&: Audio))) => Payload (Send (Caption :&: Audio)) -> Telegram e (Returning (Send (Caption :&: Audio)))

persist_ :: Payload (Send (Caption :&: Audio)) -> Telegram e ()

type Identificator Audio

Defined in Network.API.Telegram.Bot.Object.Update.Message.Content.File.Audio

type Identificator Audio = URI

type Payload (Send Audio)

Defined in Network.API.Telegram.Bot.Object.Update.Message

type Payload (Send Audio) = Send Audio

type Payload (Send (Caption :&: Audio))

Defined in Network.API.Telegram.Bot.Object.Update.Message

type Payload (Send (Caption :&: Audio)) = Send (Caption :&: Audio)

type Returning (Send Audio)

Defined in Network.API.Telegram.Bot.Object.Update.Message

type Returning (Send Audio) = Message

type Returning (Send (Caption :&: Audio))

Defined in Network.API.Telegram.Bot.Object.Update.Message

type Returning (Send (Caption :&: Audio)) = Message