Network.API.Telegram.Bot.Object.Update.Message.Origin

Documentation

data Origin

Constructors

Private Int64 Sender

Group Group Sender

Channel Int64 Text

Instances

Eq Origin

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

Methods

(==) :: Origin -> Origin -> Bool

(/=) :: Origin -> Origin -> Bool

Show Origin

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

Methods

showsPrec :: Int -> Origin -> ShowS

show :: Origin -> String

showList :: [Origin] -> ShowS

FromJSON Origin

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

Methods

parseJSON :: Value -> Parser Origin

parseJSONList :: Value -> Parser [Origin]

Identifiable Origin

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

Associated Types

type Identificator Origin :: *

Methods

ident :: Origin -> Identificator Origin

Accessible Origin Message

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

Methods

access :: Lens' Message Origin

Accessible Origin Callback

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

Methods

access :: Lens' Callback Origin

type Identificator Origin

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

type Identificator Origin = Int64