-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Telegram Bot API binding
--   
--   High-level bindings, typed entities, inline mode only
@package telega
@version 0.2.2

module Network.API.Telegram.Bot.Core
type Telegram e a = ReaderT (e, (Session, Token)) (ExceptT SomeException IO) a
telegram :: Session -> Token -> e -> Telegram e a -> IO (Either SomeException a)
ask' :: Telegram e e
newtype Token
Token :: Text -> Token
data Ok a
result :: Ok a -> Maybe a
instance GHC.Show.Show a => GHC.Show.Show (Network.API.Telegram.Bot.Core.Ok a)
instance GHC.Classes.Eq Network.API.Telegram.Bot.Core.Token
instance Data.Aeson.Types.FromJSON.FromJSON a => Data.Aeson.Types.FromJSON.FromJSON (Network.API.Telegram.Bot.Core.Ok a)

module Network.API.Telegram.Bot.Object.Group
data Group
Basic :: Int64 -> Text -> Group
Super :: Int64 -> Text -> (Maybe Text) -> Group
instance GHC.Show.Show Network.API.Telegram.Bot.Object.Group.Group
instance Data.Aeson.Types.FromJSON.FromJSON Network.API.Telegram.Bot.Object.Group.Group

module Network.API.Telegram.Bot.Object.Member.Powers
data Powers
Powers :: Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Powers
instance GHC.Show.Show Network.API.Telegram.Bot.Object.Member.Powers.Powers
instance Data.Aeson.Types.FromJSON.FromJSON Network.API.Telegram.Bot.Object.Member.Powers.Powers

module Network.API.Telegram.Bot.Object.Member.Restrictions
data Restrictions
Restrictions :: Bool -> Bool -> Bool -> Bool -> Restrictions
instance GHC.Show.Show Network.API.Telegram.Bot.Object.Member.Restrictions.Restrictions
instance Data.Aeson.Types.FromJSON.FromJSON Network.API.Telegram.Bot.Object.Member.Restrictions.Restrictions

module Network.API.Telegram.Bot.Object.Update.Callback.Notification
data Notification

module Network.API.Telegram.Bot.Object.Update.Message.Content.File.Size
data Size
Size :: Text -> Int -> Int -> (Maybe Int) -> Size
instance GHC.Show.Show Network.API.Telegram.Bot.Object.Update.Message.Content.File.Size.Size
instance Data.Aeson.Types.FromJSON.FromJSON Network.API.Telegram.Bot.Object.Update.Message.Content.File.Size.Size

module Network.API.Telegram.Bot.Object.Update.Message.Content.File.Document
data Document
Document :: Text -> (Maybe Size) -> (Maybe Text) -> (Maybe Text) -> (Maybe Int) -> Document
instance GHC.Show.Show Network.API.Telegram.Bot.Object.Update.Message.Content.File.Document.Document
instance Data.Aeson.Types.FromJSON.FromJSON Network.API.Telegram.Bot.Object.Update.Message.Content.File.Document.Document

module Network.API.Telegram.Bot.Object.Update.Message.Content.File.Audio
data Audio
Audio :: Text -> Int -> (Maybe Text) -> (Maybe Text) -> (Maybe Text) -> (Maybe Int) -> (Maybe Size) -> Audio
instance GHC.Show.Show Network.API.Telegram.Bot.Object.Update.Message.Content.File.Audio.Audio
instance Data.Aeson.Types.FromJSON.FromJSON Network.API.Telegram.Bot.Object.Update.Message.Content.File.Audio.Audio

module Network.API.Telegram.Bot.Object.Update.Message.Content.File.Video
data Video
Video :: Text -> Int -> Int -> Int -> (Maybe Size) -> (Maybe Text) -> (Maybe Int) -> Video
instance GHC.Show.Show Network.API.Telegram.Bot.Object.Update.Message.Content.File.Video.Video
instance Data.Aeson.Types.FromJSON.FromJSON Network.API.Telegram.Bot.Object.Update.Message.Content.File.Video.Video

module Network.API.Telegram.Bot.Object.Update.Message.Content.File.Voice
data Voice
Voice :: Text -> Int -> (Maybe Text) -> (Maybe Int) -> Voice
instance GHC.Show.Show Network.API.Telegram.Bot.Object.Update.Message.Content.File.Voice.Voice
instance Data.Aeson.Types.FromJSON.FromJSON Network.API.Telegram.Bot.Object.Update.Message.Content.File.Voice.Voice

module Network.API.Telegram.Bot.Object.Update.Message.Content.File
data File
Audiofile :: Audio -> File
Videofile :: Video -> File
General :: Document -> File
Voicerecord :: Voice -> File
Photo :: [Size] -> File
instance GHC.Show.Show Network.API.Telegram.Bot.Object.Update.Message.Content.File.File
instance Data.Aeson.Types.FromJSON.FromJSON Network.API.Telegram.Bot.Object.Update.Message.Content.File.File

module Network.API.Telegram.Bot.Object.Update.Message.Content.Info.Location
data Location
Location :: Float -> Float -> Location
instance GHC.Show.Show Network.API.Telegram.Bot.Object.Update.Message.Content.Info.Location.Location
instance Data.Aeson.Types.FromJSON.FromJSON Network.API.Telegram.Bot.Object.Update.Message.Content.Info.Location.Location
instance Data.Aeson.Types.ToJSON.ToJSON Network.API.Telegram.Bot.Object.Update.Message.Content.Info.Location.Location

module Network.API.Telegram.Bot.Object.Update.Message.Content.Info
data Info
Point :: Location -> Info
Contact :: Text -> (Maybe Text) -> Text -> (Maybe Text) -> Info
Venue :: Location -> Text -> Text -> (Maybe Text) -> (Maybe Text) -> Info
instance GHC.Show.Show Network.API.Telegram.Bot.Object.Update.Message.Content.Info.Info
instance Data.Aeson.Types.FromJSON.FromJSON Network.API.Telegram.Bot.Object.Update.Message.Content.Info.Info

module Network.API.Telegram.Bot.Object.Update.Message.Content.Poll.Option
data Option
Option :: Text -> Int -> Option
instance GHC.Show.Show Network.API.Telegram.Bot.Object.Update.Message.Content.Poll.Option.Option
instance Data.Aeson.Types.FromJSON.FromJSON Network.API.Telegram.Bot.Object.Update.Message.Content.Poll.Option.Option

module Network.API.Telegram.Bot.Object.Update.Message.Content.Poll
data Poll
Opened :: Text -> Text -> [Option] -> Poll
Closed :: Text -> Text -> [Option] -> Poll
instance GHC.Show.Show Network.API.Telegram.Bot.Object.Update.Message.Content.Poll.Poll
instance Data.Aeson.Types.FromJSON.FromJSON Network.API.Telegram.Bot.Object.Update.Message.Content.Poll.Poll

module Network.API.Telegram.Bot.Object.Update.Message.Content
data Content
Textual :: Text -> Content
Command :: Text -> Content
Attachment :: (Maybe Text) -> File -> Content
Polling :: Poll -> Content
Information :: Info -> Content
instance GHC.Show.Show Network.API.Telegram.Bot.Object.Update.Message.Content.Content
instance Data.Aeson.Types.FromJSON.FromJSON Network.API.Telegram.Bot.Object.Update.Message.Content.Content

module Network.API.Telegram.Bot.Object.Update.Message.Keyboard.Button
data Button
Button :: Text -> Pressed -> Button
data Pressed
Open :: Text -> Pressed
Callback :: Text -> Pressed
instance GHC.Show.Show Network.API.Telegram.Bot.Object.Update.Message.Keyboard.Button.Button
instance GHC.Show.Show Network.API.Telegram.Bot.Object.Update.Message.Keyboard.Button.Pressed
instance Data.Aeson.Types.FromJSON.FromJSON Network.API.Telegram.Bot.Object.Update.Message.Keyboard.Button.Button
instance Data.Aeson.Types.ToJSON.ToJSON Network.API.Telegram.Bot.Object.Update.Message.Keyboard.Button.Button
instance Data.Aeson.Types.FromJSON.FromJSON Network.API.Telegram.Bot.Object.Update.Message.Keyboard.Button.Pressed

module Network.API.Telegram.Bot.Object.Update.Message.Keyboard
data Keyboard
Inline :: [[Button]] -> Keyboard
instance GHC.Show.Show Network.API.Telegram.Bot.Object.Update.Message.Keyboard.Keyboard
instance Data.Aeson.Types.FromJSON.FromJSON Network.API.Telegram.Bot.Object.Update.Message.Keyboard.Keyboard
instance Data.Aeson.Types.ToJSON.ToJSON Network.API.Telegram.Bot.Object.Update.Message.Keyboard.Keyboard

module Network.API.Telegram.Bot.Property.Accessible
class Accessible target source
access :: Accessible target source => Lens' source target

module Network.API.Telegram.Bot.Property.Identifiable
class Identifiable o where {
    type family Identificator o :: *;
}
ident :: Identifiable o => o -> Identificator o

module Network.API.Telegram.Bot.Object.Sender
data Sender
Bot :: Int -> (Maybe Text) -> Text -> (Maybe Text) -> (Maybe Text) -> Sender
User :: Int -> (Maybe Text) -> Text -> (Maybe Text) -> (Maybe Text) -> Sender
nickname :: Lens' Sender (Maybe Text)
firstname :: Lens' Sender Text
lastname :: Lens' Sender (Maybe Text)
instance GHC.Show.Show Network.API.Telegram.Bot.Object.Sender.Sender
instance Data.Aeson.Types.FromJSON.FromJSON Network.API.Telegram.Bot.Object.Sender.Sender
instance GHC.Classes.Eq Network.API.Telegram.Bot.Object.Sender.Sender
instance Network.API.Telegram.Bot.Property.Identifiable.Identifiable Network.API.Telegram.Bot.Object.Sender.Sender

module Network.API.Telegram.Bot.Object.Update.Moving
data Moving
Gone :: Sender -> Group -> Moving
Joined :: [Sender] -> Group -> Moving
instance GHC.Show.Show Network.API.Telegram.Bot.Object.Update.Moving.Moving
instance Data.Aeson.Types.FromJSON.FromJSON Network.API.Telegram.Bot.Object.Update.Moving.Moving

module Network.API.Telegram.Bot.Object.Update.Message.Origin
data Origin
Private :: Int64 -> Sender -> Origin
Group :: Int64 -> Text -> Sender -> Origin
Supergroup :: Int64 -> Text -> Sender -> Origin
Channel :: Int64 -> Text -> Origin
instance GHC.Show.Show Network.API.Telegram.Bot.Object.Update.Message.Origin.Origin
instance Data.Aeson.Types.FromJSON.FromJSON Network.API.Telegram.Bot.Object.Update.Message.Origin.Origin
instance Network.API.Telegram.Bot.Property.Identifiable.Identifiable Network.API.Telegram.Bot.Object.Update.Message.Origin.Origin

module Network.API.Telegram.Bot.Object.Member
data Member
Creator :: Sender -> Member
Administrator :: Sender -> Bool -> Powers -> Member
Member :: Sender -> Member
Restricted :: Sender -> Restrictions -> POSIXTime -> Member
Left :: Sender -> Member
Kicked :: Sender -> POSIXTime -> Member
instance GHC.Show.Show Network.API.Telegram.Bot.Object.Member.Member
instance Data.Aeson.Types.FromJSON.FromJSON Network.API.Telegram.Bot.Object.Member.Member

module Network.API.Telegram.Bot.Property.Persistable
class Persistable action where {
    type family Payload action = payload | payload -> action;
}
payload :: Persistable action => Payload action -> Object
endpoint :: Persistable action => Payload action -> String
persist :: (Persistable action, FromJSON r) => Payload action -> Telegram e r
data Capacity object
Send :: object -> Capacity object
Reply :: object -> Capacity object
data Silenlty (capacity :: * -> Capacity *) object
Silenlty :: Silenlty object
instance forall k (obj :: k). Network.API.Telegram.Bot.Property.Persistable.Persistable (Network.API.Telegram.Bot.Property.Persistable.Capacity k) ('Network.API.Telegram.Bot.Property.Persistable.Send k obj) => Network.API.Telegram.Bot.Property.Persistable.Persistable * (Network.API.Telegram.Bot.Property.Persistable.Silenlty k ('Network.API.Telegram.Bot.Property.Persistable.Send *) obj)
instance forall object (obj :: object). Network.API.Telegram.Bot.Property.Persistable.Persistable (Network.API.Telegram.Bot.Property.Persistable.Capacity object) ('Network.API.Telegram.Bot.Property.Persistable.Send object obj) => Network.API.Telegram.Bot.Property.Persistable.Persistable (Network.API.Telegram.Bot.Property.Persistable.Capacity object) ('Network.API.Telegram.Bot.Property.Persistable.Reply object obj)

module Network.API.Telegram.Bot.Property

module Network.API.Telegram.Bot.Object.Update.Message
data Message
Direct :: Int -> Origin -> Content -> Message
Forwarded :: Int -> Origin -> Content -> Message
Replied :: Int -> Origin -> Content -> Message -> Message
instance GHC.Show.Show Network.API.Telegram.Bot.Object.Update.Message.Message
instance Network.API.Telegram.Bot.Property.Accessible.Accessible Network.API.Telegram.Bot.Object.Update.Message.Content.Content Network.API.Telegram.Bot.Object.Update.Message.Message
instance Network.API.Telegram.Bot.Property.Accessible.Accessible Network.API.Telegram.Bot.Object.Update.Message.Origin.Origin Network.API.Telegram.Bot.Object.Update.Message.Message
instance Data.Aeson.Types.FromJSON.FromJSON Network.API.Telegram.Bot.Object.Update.Message.Message
instance Network.API.Telegram.Bot.Property.Identifiable.Identifiable Network.API.Telegram.Bot.Object.Update.Message.Message
instance Network.API.Telegram.Bot.Property.Persistable.Persistable (Network.API.Telegram.Bot.Property.Persistable.Capacity *) ('Network.API.Telegram.Bot.Property.Persistable.Send * Network.API.Telegram.Bot.Object.Update.Message.Message)

module Network.API.Telegram.Bot.Object.Update.Callback
data Callback
Datatext :: Text -> Message -> Text -> Callback
instance GHC.Show.Show Network.API.Telegram.Bot.Object.Update.Callback.Callback
instance Network.API.Telegram.Bot.Property.Accessible.Accessible Network.API.Telegram.Bot.Object.Update.Message.Origin.Origin Network.API.Telegram.Bot.Object.Update.Callback.Callback
instance Data.Aeson.Types.FromJSON.FromJSON Network.API.Telegram.Bot.Object.Update.Callback.Callback
instance Network.API.Telegram.Bot.Property.Identifiable.Identifiable Network.API.Telegram.Bot.Object.Update.Callback.Callback

module Network.API.Telegram.Bot.Object.Update
data Update
Query :: Int -> Callback -> Update
Membership :: Int -> Moving -> Update
Incoming :: Int -> Message -> Update
instance GHC.Show.Show Network.API.Telegram.Bot.Object.Update.Update
instance Data.Aeson.Types.FromJSON.FromJSON Network.API.Telegram.Bot.Object.Update.Update
instance Network.API.Telegram.Bot.Property.Identifiable.Identifiable Network.API.Telegram.Bot.Object.Update.Update

module Network.API.Telegram.Bot.Object

module Network.API.Telegram.Bot