{-# LANGUAGE TypeOperators #-}
module TDLib.Generated.Functions where
import Data.ByteString.Base64.Type
import Language.TL.I64
import Polysemy
import TDLib.Effect
import TDLib.Generated.FunArgs
import TDLib.Generated.Types
import TDLib.Types.Common
getAuthorizationState ::
Member TDLib r =>
Sem r (Error ∪ AuthorizationState)
getAuthorizationState :: Sem r (Error ∪ AuthorizationState)
getAuthorizationState = GetAuthorizationState -> Sem r (Error ∪ AuthorizationState)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetAuthorizationState -> Sem r (Error ∪ AuthorizationState))
-> GetAuthorizationState -> Sem r (Error ∪ AuthorizationState)
forall a b. (a -> b) -> a -> b
$ GetAuthorizationState
GetAuthorizationState
setTdlibParameters ::
Member TDLib r =>
TdlibParameters ->
Sem r (Error ∪ Ok)
setTdlibParameters :: TdlibParameters -> Sem r (Error ∪ Ok)
setTdlibParameters _1 :: TdlibParameters
_1 = SetTdlibParameters -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SetTdlibParameters -> Sem r (Error ∪ Ok))
-> SetTdlibParameters -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ TdlibParameters -> SetTdlibParameters
SetTdlibParameters TdlibParameters
_1
checkDatabaseEncryptionKey ::
Member TDLib r =>
ByteString64 ->
Sem r (Error ∪ Ok)
checkDatabaseEncryptionKey :: ByteString64 -> Sem r (Error ∪ Ok)
checkDatabaseEncryptionKey _1 :: ByteString64
_1 = CheckDatabaseEncryptionKey -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (CheckDatabaseEncryptionKey -> Sem r (Error ∪ Ok))
-> CheckDatabaseEncryptionKey -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ ByteString64 -> CheckDatabaseEncryptionKey
CheckDatabaseEncryptionKey ByteString64
_1
setAuthenticationPhoneNumber ::
Member TDLib r =>
T ->
PhoneNumberAuthenticationSettings ->
Sem r (Error ∪ Ok)
setAuthenticationPhoneNumber :: T -> PhoneNumberAuthenticationSettings -> Sem r (Error ∪ Ok)
setAuthenticationPhoneNumber _1 :: T
_1 _2 :: PhoneNumberAuthenticationSettings
_2 = SetAuthenticationPhoneNumber -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SetAuthenticationPhoneNumber -> Sem r (Error ∪ Ok))
-> SetAuthenticationPhoneNumber -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ T
-> PhoneNumberAuthenticationSettings
-> SetAuthenticationPhoneNumber
SetAuthenticationPhoneNumber T
_1 PhoneNumberAuthenticationSettings
_2
resendAuthenticationCode ::
Member TDLib r =>
Sem r (Error ∪ Ok)
resendAuthenticationCode :: Sem r (Error ∪ Ok)
resendAuthenticationCode = ResendAuthenticationCode -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (ResendAuthenticationCode -> Sem r (Error ∪ Ok))
-> ResendAuthenticationCode -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ ResendAuthenticationCode
ResendAuthenticationCode
checkAuthenticationCode ::
Member TDLib r =>
T ->
Sem r (Error ∪ Ok)
checkAuthenticationCode :: T -> Sem r (Error ∪ Ok)
checkAuthenticationCode _1 :: T
_1 = CheckAuthenticationCode -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (CheckAuthenticationCode -> Sem r (Error ∪ Ok))
-> CheckAuthenticationCode -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ T -> CheckAuthenticationCode
CheckAuthenticationCode T
_1
requestQrCodeAuthentication ::
Member TDLib r =>
[I32] ->
Sem r (Error ∪ Ok)
requestQrCodeAuthentication :: [I32] -> Sem r (Error ∪ Ok)
requestQrCodeAuthentication _1 :: [I32]
_1 = RequestQrCodeAuthentication -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (RequestQrCodeAuthentication -> Sem r (Error ∪ Ok))
-> RequestQrCodeAuthentication -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ [I32] -> RequestQrCodeAuthentication
RequestQrCodeAuthentication [I32]
_1
registerUser ::
Member TDLib r =>
T ->
T ->
Sem r (Error ∪ Ok)
registerUser :: T -> T -> Sem r (Error ∪ Ok)
registerUser _1 :: T
_1 _2 :: T
_2 = RegisterUser -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (RegisterUser -> Sem r (Error ∪ Ok))
-> RegisterUser -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ T -> T -> RegisterUser
RegisterUser T
_1 T
_2
checkAuthenticationPassword ::
Member TDLib r =>
T ->
Sem r (Error ∪ Ok)
checkAuthenticationPassword :: T -> Sem r (Error ∪ Ok)
checkAuthenticationPassword _1 :: T
_1 = CheckAuthenticationPassword -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (CheckAuthenticationPassword -> Sem r (Error ∪ Ok))
-> CheckAuthenticationPassword -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ T -> CheckAuthenticationPassword
CheckAuthenticationPassword T
_1
requestAuthenticationPasswordRecovery ::
Member TDLib r =>
Sem r (Error ∪ Ok)
requestAuthenticationPasswordRecovery :: Sem r (Error ∪ Ok)
requestAuthenticationPasswordRecovery = RequestAuthenticationPasswordRecovery -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (RequestAuthenticationPasswordRecovery -> Sem r (Error ∪ Ok))
-> RequestAuthenticationPasswordRecovery -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ RequestAuthenticationPasswordRecovery
RequestAuthenticationPasswordRecovery
recoverAuthenticationPassword ::
Member TDLib r =>
T ->
Sem r (Error ∪ Ok)
recoverAuthenticationPassword :: T -> Sem r (Error ∪ Ok)
recoverAuthenticationPassword _1 :: T
_1 = RecoverAuthenticationPassword -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (RecoverAuthenticationPassword -> Sem r (Error ∪ Ok))
-> RecoverAuthenticationPassword -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ T -> RecoverAuthenticationPassword
RecoverAuthenticationPassword T
_1
checkAuthenticationBotToken ::
Member TDLib r =>
T ->
Sem r (Error ∪ Ok)
checkAuthenticationBotToken :: T -> Sem r (Error ∪ Ok)
checkAuthenticationBotToken _1 :: T
_1 = CheckAuthenticationBotToken -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (CheckAuthenticationBotToken -> Sem r (Error ∪ Ok))
-> CheckAuthenticationBotToken -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ T -> CheckAuthenticationBotToken
CheckAuthenticationBotToken T
_1
logOut ::
Member TDLib r =>
Sem r (Error ∪ Ok)
logOut :: Sem r (Error ∪ Ok)
logOut = LogOut -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (LogOut -> Sem r (Error ∪ Ok)) -> LogOut -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ LogOut
LogOut
close ::
Member TDLib r =>
Sem r (Error ∪ Ok)
close :: Sem r (Error ∪ Ok)
close = Close -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (Close -> Sem r (Error ∪ Ok)) -> Close -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ Close
Close
destroy ::
Member TDLib r =>
Sem r (Error ∪ Ok)
destroy :: Sem r (Error ∪ Ok)
destroy = Destroy -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (Destroy -> Sem r (Error ∪ Ok)) -> Destroy -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ Destroy
Destroy
confirmQrCodeAuthentication ::
Member TDLib r =>
T ->
Sem r (Error ∪ Session)
confirmQrCodeAuthentication :: T -> Sem r (Error ∪ Session)
confirmQrCodeAuthentication _1 :: T
_1 = ConfirmQrCodeAuthentication -> Sem r (Error ∪ Session)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (ConfirmQrCodeAuthentication -> Sem r (Error ∪ Session))
-> ConfirmQrCodeAuthentication -> Sem r (Error ∪ Session)
forall a b. (a -> b) -> a -> b
$ T -> ConfirmQrCodeAuthentication
ConfirmQrCodeAuthentication T
_1
getCurrentState ::
Member TDLib r =>
Sem r (Error ∪ Updates)
getCurrentState :: Sem r (Error ∪ Updates)
getCurrentState = GetCurrentState -> Sem r (Error ∪ Updates)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetCurrentState -> Sem r (Error ∪ Updates))
-> GetCurrentState -> Sem r (Error ∪ Updates)
forall a b. (a -> b) -> a -> b
$ GetCurrentState
GetCurrentState
setDatabaseEncryptionKey ::
Member TDLib r =>
ByteString64 ->
Sem r (Error ∪ Ok)
setDatabaseEncryptionKey :: ByteString64 -> Sem r (Error ∪ Ok)
setDatabaseEncryptionKey _1 :: ByteString64
_1 = SetDatabaseEncryptionKey -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SetDatabaseEncryptionKey -> Sem r (Error ∪ Ok))
-> SetDatabaseEncryptionKey -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ ByteString64 -> SetDatabaseEncryptionKey
SetDatabaseEncryptionKey ByteString64
_1
getPasswordState ::
Member TDLib r =>
Sem r (Error ∪ PasswordState)
getPasswordState :: Sem r (Error ∪ PasswordState)
getPasswordState = GetPasswordState -> Sem r (Error ∪ PasswordState)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetPasswordState -> Sem r (Error ∪ PasswordState))
-> GetPasswordState -> Sem r (Error ∪ PasswordState)
forall a b. (a -> b) -> a -> b
$ GetPasswordState
GetPasswordState
setPassword ::
Member TDLib r =>
T ->
T ->
T ->
Bool ->
T ->
Sem r (Error ∪ PasswordState)
setPassword :: T -> T -> T -> Bool -> T -> Sem r (Error ∪ PasswordState)
setPassword _1 :: T
_1 _2 :: T
_2 _3 :: T
_3 _4 :: Bool
_4 _5 :: T
_5 = SetPassword -> Sem r (Error ∪ PasswordState)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SetPassword -> Sem r (Error ∪ PasswordState))
-> SetPassword -> Sem r (Error ∪ PasswordState)
forall a b. (a -> b) -> a -> b
$ T -> T -> T -> Bool -> T -> SetPassword
SetPassword T
_1 T
_2 T
_3 Bool
_4 T
_5
getRecoveryEmailAddress ::
Member TDLib r =>
T ->
Sem r (Error ∪ RecoveryEmailAddress)
getRecoveryEmailAddress :: T -> Sem r (Error ∪ RecoveryEmailAddress)
getRecoveryEmailAddress _1 :: T
_1 = GetRecoveryEmailAddress -> Sem r (Error ∪ RecoveryEmailAddress)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetRecoveryEmailAddress -> Sem r (Error ∪ RecoveryEmailAddress))
-> GetRecoveryEmailAddress -> Sem r (Error ∪ RecoveryEmailAddress)
forall a b. (a -> b) -> a -> b
$ T -> GetRecoveryEmailAddress
GetRecoveryEmailAddress T
_1
setRecoveryEmailAddress ::
Member TDLib r =>
T ->
T ->
Sem r (Error ∪ PasswordState)
setRecoveryEmailAddress :: T -> T -> Sem r (Error ∪ PasswordState)
setRecoveryEmailAddress _1 :: T
_1 _2 :: T
_2 = SetRecoveryEmailAddress -> Sem r (Error ∪ PasswordState)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SetRecoveryEmailAddress -> Sem r (Error ∪ PasswordState))
-> SetRecoveryEmailAddress -> Sem r (Error ∪ PasswordState)
forall a b. (a -> b) -> a -> b
$ T -> T -> SetRecoveryEmailAddress
SetRecoveryEmailAddress T
_1 T
_2
checkRecoveryEmailAddressCode ::
Member TDLib r =>
T ->
Sem r (Error ∪ PasswordState)
checkRecoveryEmailAddressCode :: T -> Sem r (Error ∪ PasswordState)
checkRecoveryEmailAddressCode _1 :: T
_1 = CheckRecoveryEmailAddressCode -> Sem r (Error ∪ PasswordState)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (CheckRecoveryEmailAddressCode -> Sem r (Error ∪ PasswordState))
-> CheckRecoveryEmailAddressCode -> Sem r (Error ∪ PasswordState)
forall a b. (a -> b) -> a -> b
$ T -> CheckRecoveryEmailAddressCode
CheckRecoveryEmailAddressCode T
_1
resendRecoveryEmailAddressCode ::
Member TDLib r =>
Sem r (Error ∪ PasswordState)
resendRecoveryEmailAddressCode :: Sem r (Error ∪ PasswordState)
resendRecoveryEmailAddressCode = ResendRecoveryEmailAddressCode -> Sem r (Error ∪ PasswordState)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (ResendRecoveryEmailAddressCode -> Sem r (Error ∪ PasswordState))
-> ResendRecoveryEmailAddressCode -> Sem r (Error ∪ PasswordState)
forall a b. (a -> b) -> a -> b
$ ResendRecoveryEmailAddressCode
ResendRecoveryEmailAddressCode
requestPasswordRecovery ::
Member TDLib r =>
Sem r (Error ∪ EmailAddressAuthenticationCodeInfo)
requestPasswordRecovery :: Sem r (Error ∪ EmailAddressAuthenticationCodeInfo)
requestPasswordRecovery = RequestPasswordRecovery
-> Sem r (Error ∪ EmailAddressAuthenticationCodeInfo)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (RequestPasswordRecovery
-> Sem r (Error ∪ EmailAddressAuthenticationCodeInfo))
-> RequestPasswordRecovery
-> Sem r (Error ∪ EmailAddressAuthenticationCodeInfo)
forall a b. (a -> b) -> a -> b
$ RequestPasswordRecovery
RequestPasswordRecovery
recoverPassword ::
Member TDLib r =>
T ->
Sem r (Error ∪ PasswordState)
recoverPassword :: T -> Sem r (Error ∪ PasswordState)
recoverPassword _1 :: T
_1 = RecoverPassword -> Sem r (Error ∪ PasswordState)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (RecoverPassword -> Sem r (Error ∪ PasswordState))
-> RecoverPassword -> Sem r (Error ∪ PasswordState)
forall a b. (a -> b) -> a -> b
$ T -> RecoverPassword
RecoverPassword T
_1
createTemporaryPassword ::
Member TDLib r =>
T ->
I32 ->
Sem r (Error ∪ TemporaryPasswordState)
createTemporaryPassword :: T -> I32 -> Sem r (Error ∪ TemporaryPasswordState)
createTemporaryPassword _1 :: T
_1 _2 :: I32
_2 = CreateTemporaryPassword -> Sem r (Error ∪ TemporaryPasswordState)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (CreateTemporaryPassword -> Sem r (Error ∪ TemporaryPasswordState))
-> CreateTemporaryPassword
-> Sem r (Error ∪ TemporaryPasswordState)
forall a b. (a -> b) -> a -> b
$ T -> I32 -> CreateTemporaryPassword
CreateTemporaryPassword T
_1 I32
_2
getTemporaryPasswordState ::
Member TDLib r =>
Sem r (Error ∪ TemporaryPasswordState)
getTemporaryPasswordState :: Sem r (Error ∪ TemporaryPasswordState)
getTemporaryPasswordState = GetTemporaryPasswordState -> Sem r (Error ∪ TemporaryPasswordState)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetTemporaryPasswordState
-> Sem r (Error ∪ TemporaryPasswordState))
-> GetTemporaryPasswordState
-> Sem r (Error ∪ TemporaryPasswordState)
forall a b. (a -> b) -> a -> b
$ GetTemporaryPasswordState
GetTemporaryPasswordState
getMe ::
Member TDLib r =>
Sem r (Error ∪ User)
getMe :: Sem r (Error ∪ User)
getMe = GetMe -> Sem r (Error ∪ User)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetMe -> Sem r (Error ∪ User)) -> GetMe -> Sem r (Error ∪ User)
forall a b. (a -> b) -> a -> b
$ GetMe
GetMe
getUser ::
Member TDLib r =>
I32 ->
Sem r (Error ∪ User)
getUser :: I32 -> Sem r (Error ∪ User)
getUser _1 :: I32
_1 = GetUser -> Sem r (Error ∪ User)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetUser -> Sem r (Error ∪ User))
-> GetUser -> Sem r (Error ∪ User)
forall a b. (a -> b) -> a -> b
$ I32 -> GetUser
GetUser I32
_1
getUserFullInfo ::
Member TDLib r =>
I32 ->
Sem r (Error ∪ UserFullInfo)
getUserFullInfo :: I32 -> Sem r (Error ∪ UserFullInfo)
getUserFullInfo _1 :: I32
_1 = GetUserFullInfo -> Sem r (Error ∪ UserFullInfo)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetUserFullInfo -> Sem r (Error ∪ UserFullInfo))
-> GetUserFullInfo -> Sem r (Error ∪ UserFullInfo)
forall a b. (a -> b) -> a -> b
$ I32 -> GetUserFullInfo
GetUserFullInfo I32
_1
getBasicGroup ::
Member TDLib r =>
I32 ->
Sem r (Error ∪ BasicGroup)
getBasicGroup :: I32 -> Sem r (Error ∪ BasicGroup)
getBasicGroup _1 :: I32
_1 = GetBasicGroup -> Sem r (Error ∪ BasicGroup)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetBasicGroup -> Sem r (Error ∪ BasicGroup))
-> GetBasicGroup -> Sem r (Error ∪ BasicGroup)
forall a b. (a -> b) -> a -> b
$ I32 -> GetBasicGroup
GetBasicGroup I32
_1
getBasicGroupFullInfo ::
Member TDLib r =>
I32 ->
Sem r (Error ∪ BasicGroupFullInfo)
getBasicGroupFullInfo :: I32 -> Sem r (Error ∪ BasicGroupFullInfo)
getBasicGroupFullInfo _1 :: I32
_1 = GetBasicGroupFullInfo -> Sem r (Error ∪ BasicGroupFullInfo)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetBasicGroupFullInfo -> Sem r (Error ∪ BasicGroupFullInfo))
-> GetBasicGroupFullInfo -> Sem r (Error ∪ BasicGroupFullInfo)
forall a b. (a -> b) -> a -> b
$ I32 -> GetBasicGroupFullInfo
GetBasicGroupFullInfo I32
_1
getSupergroup ::
Member TDLib r =>
I32 ->
Sem r (Error ∪ Supergroup)
getSupergroup :: I32 -> Sem r (Error ∪ Supergroup)
getSupergroup _1 :: I32
_1 = GetSupergroup -> Sem r (Error ∪ Supergroup)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetSupergroup -> Sem r (Error ∪ Supergroup))
-> GetSupergroup -> Sem r (Error ∪ Supergroup)
forall a b. (a -> b) -> a -> b
$ I32 -> GetSupergroup
GetSupergroup I32
_1
getSupergroupFullInfo ::
Member TDLib r =>
I32 ->
Sem r (Error ∪ SupergroupFullInfo)
getSupergroupFullInfo :: I32 -> Sem r (Error ∪ SupergroupFullInfo)
getSupergroupFullInfo _1 :: I32
_1 = GetSupergroupFullInfo -> Sem r (Error ∪ SupergroupFullInfo)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetSupergroupFullInfo -> Sem r (Error ∪ SupergroupFullInfo))
-> GetSupergroupFullInfo -> Sem r (Error ∪ SupergroupFullInfo)
forall a b. (a -> b) -> a -> b
$ I32 -> GetSupergroupFullInfo
GetSupergroupFullInfo I32
_1
getSecretChat ::
Member TDLib r =>
I32 ->
Sem r (Error ∪ SecretChat)
getSecretChat :: I32 -> Sem r (Error ∪ SecretChat)
getSecretChat _1 :: I32
_1 = GetSecretChat -> Sem r (Error ∪ SecretChat)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetSecretChat -> Sem r (Error ∪ SecretChat))
-> GetSecretChat -> Sem r (Error ∪ SecretChat)
forall a b. (a -> b) -> a -> b
$ I32 -> GetSecretChat
GetSecretChat I32
_1
getChat ::
Member TDLib r =>
I53 ->
Sem r (Error ∪ Chat)
getChat :: I32 -> Sem r (Error ∪ Chat)
getChat _1 :: I32
_1 = GetChat -> Sem r (Error ∪ Chat)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetChat -> Sem r (Error ∪ Chat))
-> GetChat -> Sem r (Error ∪ Chat)
forall a b. (a -> b) -> a -> b
$ I32 -> GetChat
GetChat I32
_1
getMessage ::
Member TDLib r =>
I53 ->
I53 ->
Sem r (Error ∪ Message)
getMessage :: I32 -> I32 -> Sem r (Error ∪ Message)
getMessage _1 :: I32
_1 _2 :: I32
_2 = GetMessage -> Sem r (Error ∪ Message)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetMessage -> Sem r (Error ∪ Message))
-> GetMessage -> Sem r (Error ∪ Message)
forall a b. (a -> b) -> a -> b
$ I32 -> I32 -> GetMessage
GetMessage I32
_1 I32
_2
getMessageLocally ::
Member TDLib r =>
I53 ->
I53 ->
Sem r (Error ∪ Message)
getMessageLocally :: I32 -> I32 -> Sem r (Error ∪ Message)
getMessageLocally _1 :: I32
_1 _2 :: I32
_2 = GetMessageLocally -> Sem r (Error ∪ Message)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetMessageLocally -> Sem r (Error ∪ Message))
-> GetMessageLocally -> Sem r (Error ∪ Message)
forall a b. (a -> b) -> a -> b
$ I32 -> I32 -> GetMessageLocally
GetMessageLocally I32
_1 I32
_2
getRepliedMessage ::
Member TDLib r =>
I53 ->
I53 ->
Sem r (Error ∪ Message)
getRepliedMessage :: I32 -> I32 -> Sem r (Error ∪ Message)
getRepliedMessage _1 :: I32
_1 _2 :: I32
_2 = GetRepliedMessage -> Sem r (Error ∪ Message)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetRepliedMessage -> Sem r (Error ∪ Message))
-> GetRepliedMessage -> Sem r (Error ∪ Message)
forall a b. (a -> b) -> a -> b
$ I32 -> I32 -> GetRepliedMessage
GetRepliedMessage I32
_1 I32
_2
getChatPinnedMessage ::
Member TDLib r =>
I53 ->
Sem r (Error ∪ Message)
getChatPinnedMessage :: I32 -> Sem r (Error ∪ Message)
getChatPinnedMessage _1 :: I32
_1 = GetChatPinnedMessage -> Sem r (Error ∪ Message)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetChatPinnedMessage -> Sem r (Error ∪ Message))
-> GetChatPinnedMessage -> Sem r (Error ∪ Message)
forall a b. (a -> b) -> a -> b
$ I32 -> GetChatPinnedMessage
GetChatPinnedMessage I32
_1
getMessages ::
Member TDLib r =>
I53 ->
[I53] ->
Sem r (Error ∪ Messages)
getMessages :: I32 -> [I32] -> Sem r (Error ∪ Messages)
getMessages _1 :: I32
_1 _2 :: [I32]
_2 = GetMessages -> Sem r (Error ∪ Messages)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetMessages -> Sem r (Error ∪ Messages))
-> GetMessages -> Sem r (Error ∪ Messages)
forall a b. (a -> b) -> a -> b
$ I32 -> [I32] -> GetMessages
GetMessages I32
_1 [I32]
_2
getFile ::
Member TDLib r =>
I32 ->
Sem r (Error ∪ File)
getFile :: I32 -> Sem r (Error ∪ File)
getFile _1 :: I32
_1 = GetFile -> Sem r (Error ∪ File)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetFile -> Sem r (Error ∪ File))
-> GetFile -> Sem r (Error ∪ File)
forall a b. (a -> b) -> a -> b
$ I32 -> GetFile
GetFile I32
_1
getRemoteFile ::
Member TDLib r =>
T ->
FileType ->
Sem r (Error ∪ File)
getRemoteFile :: T -> FileType -> Sem r (Error ∪ File)
getRemoteFile _1 :: T
_1 _2 :: FileType
_2 = GetRemoteFile -> Sem r (Error ∪ File)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetRemoteFile -> Sem r (Error ∪ File))
-> GetRemoteFile -> Sem r (Error ∪ File)
forall a b. (a -> b) -> a -> b
$ T -> FileType -> GetRemoteFile
GetRemoteFile T
_1 FileType
_2
getChats ::
Member TDLib r =>
ChatList ->
I64 ->
I53 ->
I32 ->
Sem r (Error ∪ Chats)
getChats :: ChatList -> I64 -> I32 -> I32 -> Sem r (Error ∪ Chats)
getChats _1 :: ChatList
_1 _2 :: I64
_2 _3 :: I32
_3 _4 :: I32
_4 = GetChats -> Sem r (Error ∪ Chats)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetChats -> Sem r (Error ∪ Chats))
-> GetChats -> Sem r (Error ∪ Chats)
forall a b. (a -> b) -> a -> b
$ ChatList -> I64 -> I32 -> I32 -> GetChats
GetChats ChatList
_1 I64
_2 I32
_3 I32
_4
searchPublicChat ::
Member TDLib r =>
T ->
Sem r (Error ∪ Chat)
searchPublicChat :: T -> Sem r (Error ∪ Chat)
searchPublicChat _1 :: T
_1 = SearchPublicChat -> Sem r (Error ∪ Chat)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SearchPublicChat -> Sem r (Error ∪ Chat))
-> SearchPublicChat -> Sem r (Error ∪ Chat)
forall a b. (a -> b) -> a -> b
$ T -> SearchPublicChat
SearchPublicChat T
_1
searchPublicChats ::
Member TDLib r =>
T ->
Sem r (Error ∪ Chats)
searchPublicChats :: T -> Sem r (Error ∪ Chats)
searchPublicChats _1 :: T
_1 = SearchPublicChats -> Sem r (Error ∪ Chats)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SearchPublicChats -> Sem r (Error ∪ Chats))
-> SearchPublicChats -> Sem r (Error ∪ Chats)
forall a b. (a -> b) -> a -> b
$ T -> SearchPublicChats
SearchPublicChats T
_1
searchChats ::
Member TDLib r =>
T ->
I32 ->
Sem r (Error ∪ Chats)
searchChats :: T -> I32 -> Sem r (Error ∪ Chats)
searchChats _1 :: T
_1 _2 :: I32
_2 = SearchChats -> Sem r (Error ∪ Chats)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SearchChats -> Sem r (Error ∪ Chats))
-> SearchChats -> Sem r (Error ∪ Chats)
forall a b. (a -> b) -> a -> b
$ T -> I32 -> SearchChats
SearchChats T
_1 I32
_2
searchChatsOnServer ::
Member TDLib r =>
T ->
I32 ->
Sem r (Error ∪ Chats)
searchChatsOnServer :: T -> I32 -> Sem r (Error ∪ Chats)
searchChatsOnServer _1 :: T
_1 _2 :: I32
_2 = SearchChatsOnServer -> Sem r (Error ∪ Chats)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SearchChatsOnServer -> Sem r (Error ∪ Chats))
-> SearchChatsOnServer -> Sem r (Error ∪ Chats)
forall a b. (a -> b) -> a -> b
$ T -> I32 -> SearchChatsOnServer
SearchChatsOnServer T
_1 I32
_2
searchChatsNearby ::
Member TDLib r =>
Location ->
Sem r (Error ∪ ChatsNearby)
searchChatsNearby :: Location -> Sem r (Error ∪ ChatsNearby)
searchChatsNearby _1 :: Location
_1 = SearchChatsNearby -> Sem r (Error ∪ ChatsNearby)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SearchChatsNearby -> Sem r (Error ∪ ChatsNearby))
-> SearchChatsNearby -> Sem r (Error ∪ ChatsNearby)
forall a b. (a -> b) -> a -> b
$ Location -> SearchChatsNearby
SearchChatsNearby Location
_1
getTopChats ::
Member TDLib r =>
TopChatCategory ->
I32 ->
Sem r (Error ∪ Chats)
getTopChats :: TopChatCategory -> I32 -> Sem r (Error ∪ Chats)
getTopChats _1 :: TopChatCategory
_1 _2 :: I32
_2 = GetTopChats -> Sem r (Error ∪ Chats)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetTopChats -> Sem r (Error ∪ Chats))
-> GetTopChats -> Sem r (Error ∪ Chats)
forall a b. (a -> b) -> a -> b
$ TopChatCategory -> I32 -> GetTopChats
GetTopChats TopChatCategory
_1 I32
_2
removeTopChat ::
Member TDLib r =>
TopChatCategory ->
I53 ->
Sem r (Error ∪ Ok)
removeTopChat :: TopChatCategory -> I32 -> Sem r (Error ∪ Ok)
removeTopChat _1 :: TopChatCategory
_1 _2 :: I32
_2 = RemoveTopChat -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (RemoveTopChat -> Sem r (Error ∪ Ok))
-> RemoveTopChat -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ TopChatCategory -> I32 -> RemoveTopChat
RemoveTopChat TopChatCategory
_1 I32
_2
addRecentlyFoundChat ::
Member TDLib r =>
I53 ->
Sem r (Error ∪ Ok)
addRecentlyFoundChat :: I32 -> Sem r (Error ∪ Ok)
addRecentlyFoundChat _1 :: I32
_1 = AddRecentlyFoundChat -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (AddRecentlyFoundChat -> Sem r (Error ∪ Ok))
-> AddRecentlyFoundChat -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I32 -> AddRecentlyFoundChat
AddRecentlyFoundChat I32
_1
removeRecentlyFoundChat ::
Member TDLib r =>
I53 ->
Sem r (Error ∪ Ok)
removeRecentlyFoundChat :: I32 -> Sem r (Error ∪ Ok)
removeRecentlyFoundChat _1 :: I32
_1 = RemoveRecentlyFoundChat -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (RemoveRecentlyFoundChat -> Sem r (Error ∪ Ok))
-> RemoveRecentlyFoundChat -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I32 -> RemoveRecentlyFoundChat
RemoveRecentlyFoundChat I32
_1
clearRecentlyFoundChats ::
Member TDLib r =>
Sem r (Error ∪ Ok)
clearRecentlyFoundChats :: Sem r (Error ∪ Ok)
clearRecentlyFoundChats = ClearRecentlyFoundChats -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (ClearRecentlyFoundChats -> Sem r (Error ∪ Ok))
-> ClearRecentlyFoundChats -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ ClearRecentlyFoundChats
ClearRecentlyFoundChats
checkChatUsername ::
Member TDLib r =>
I53 ->
T ->
Sem r (Error ∪ CheckChatUsernameResult)
checkChatUsername :: I32 -> T -> Sem r (Error ∪ CheckChatUsernameResult)
checkChatUsername _1 :: I32
_1 _2 :: T
_2 = CheckChatUsername -> Sem r (Error ∪ CheckChatUsernameResult)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (CheckChatUsername -> Sem r (Error ∪ CheckChatUsernameResult))
-> CheckChatUsername -> Sem r (Error ∪ CheckChatUsernameResult)
forall a b. (a -> b) -> a -> b
$ I32 -> T -> CheckChatUsername
CheckChatUsername I32
_1 T
_2
getCreatedPublicChats ::
Member TDLib r =>
PublicChatType ->
Sem r (Error ∪ Chats)
getCreatedPublicChats :: PublicChatType -> Sem r (Error ∪ Chats)
getCreatedPublicChats _1 :: PublicChatType
_1 = GetCreatedPublicChats -> Sem r (Error ∪ Chats)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetCreatedPublicChats -> Sem r (Error ∪ Chats))
-> GetCreatedPublicChats -> Sem r (Error ∪ Chats)
forall a b. (a -> b) -> a -> b
$ PublicChatType -> GetCreatedPublicChats
GetCreatedPublicChats PublicChatType
_1
checkCreatedPublicChatsLimit ::
Member TDLib r =>
PublicChatType ->
Sem r (Error ∪ Ok)
checkCreatedPublicChatsLimit :: PublicChatType -> Sem r (Error ∪ Ok)
checkCreatedPublicChatsLimit _1 :: PublicChatType
_1 = CheckCreatedPublicChatsLimit -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (CheckCreatedPublicChatsLimit -> Sem r (Error ∪ Ok))
-> CheckCreatedPublicChatsLimit -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ PublicChatType -> CheckCreatedPublicChatsLimit
CheckCreatedPublicChatsLimit PublicChatType
_1
getSuitableDiscussionChats ::
Member TDLib r =>
Sem r (Error ∪ Chats)
getSuitableDiscussionChats :: Sem r (Error ∪ Chats)
getSuitableDiscussionChats = GetSuitableDiscussionChats -> Sem r (Error ∪ Chats)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetSuitableDiscussionChats -> Sem r (Error ∪ Chats))
-> GetSuitableDiscussionChats -> Sem r (Error ∪ Chats)
forall a b. (a -> b) -> a -> b
$ GetSuitableDiscussionChats
GetSuitableDiscussionChats
getInactiveSupergroupChats ::
Member TDLib r =>
Sem r (Error ∪ Chats)
getInactiveSupergroupChats :: Sem r (Error ∪ Chats)
getInactiveSupergroupChats = GetInactiveSupergroupChats -> Sem r (Error ∪ Chats)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetInactiveSupergroupChats -> Sem r (Error ∪ Chats))
-> GetInactiveSupergroupChats -> Sem r (Error ∪ Chats)
forall a b. (a -> b) -> a -> b
$ GetInactiveSupergroupChats
GetInactiveSupergroupChats
getGroupsInCommon ::
Member TDLib r =>
I32 ->
I53 ->
I32 ->
Sem r (Error ∪ Chats)
getGroupsInCommon :: I32 -> I32 -> I32 -> Sem r (Error ∪ Chats)
getGroupsInCommon _1 :: I32
_1 _2 :: I32
_2 _3 :: I32
_3 = GetGroupsInCommon -> Sem r (Error ∪ Chats)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetGroupsInCommon -> Sem r (Error ∪ Chats))
-> GetGroupsInCommon -> Sem r (Error ∪ Chats)
forall a b. (a -> b) -> a -> b
$ I32 -> I32 -> I32 -> GetGroupsInCommon
GetGroupsInCommon I32
_1 I32
_2 I32
_3
getChatHistory ::
Member TDLib r =>
I53 ->
I53 ->
I32 ->
I32 ->
Bool ->
Sem r (Error ∪ Messages)
getChatHistory :: I32 -> I32 -> I32 -> I32 -> Bool -> Sem r (Error ∪ Messages)
getChatHistory _1 :: I32
_1 _2 :: I32
_2 _3 :: I32
_3 _4 :: I32
_4 _5 :: Bool
_5 = GetChatHistory -> Sem r (Error ∪ Messages)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetChatHistory -> Sem r (Error ∪ Messages))
-> GetChatHistory -> Sem r (Error ∪ Messages)
forall a b. (a -> b) -> a -> b
$ I32 -> I32 -> I32 -> I32 -> Bool -> GetChatHistory
GetChatHistory I32
_1 I32
_2 I32
_3 I32
_4 Bool
_5
deleteChatHistory ::
Member TDLib r =>
I53 ->
Bool ->
Bool ->
Sem r (Error ∪ Ok)
deleteChatHistory :: I32 -> Bool -> Bool -> Sem r (Error ∪ Ok)
deleteChatHistory _1 :: I32
_1 _2 :: Bool
_2 _3 :: Bool
_3 = DeleteChatHistory -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (DeleteChatHistory -> Sem r (Error ∪ Ok))
-> DeleteChatHistory -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I32 -> Bool -> Bool -> DeleteChatHistory
DeleteChatHistory I32
_1 Bool
_2 Bool
_3
searchChatMessages ::
Member TDLib r =>
I53 ->
T ->
I32 ->
I53 ->
I32 ->
I32 ->
SearchMessagesFilter ->
Sem r (Error ∪ Messages)
searchChatMessages :: I32
-> T
-> I32
-> I32
-> I32
-> I32
-> SearchMessagesFilter
-> Sem r (Error ∪ Messages)
searchChatMessages _1 :: I32
_1 _2 :: T
_2 _3 :: I32
_3 _4 :: I32
_4 _5 :: I32
_5 _6 :: I32
_6 _7 :: SearchMessagesFilter
_7 = SearchChatMessages -> Sem r (Error ∪ Messages)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SearchChatMessages -> Sem r (Error ∪ Messages))
-> SearchChatMessages -> Sem r (Error ∪ Messages)
forall a b. (a -> b) -> a -> b
$ I32
-> T
-> I32
-> I32
-> I32
-> I32
-> SearchMessagesFilter
-> SearchChatMessages
SearchChatMessages I32
_1 T
_2 I32
_3 I32
_4 I32
_5 I32
_6 SearchMessagesFilter
_7
searchMessages ::
Member TDLib r =>
ChatList ->
T ->
I32 ->
I53 ->
I53 ->
I32 ->
Sem r (Error ∪ Messages)
searchMessages :: ChatList
-> T -> I32 -> I32 -> I32 -> I32 -> Sem r (Error ∪ Messages)
searchMessages _1 :: ChatList
_1 _2 :: T
_2 _3 :: I32
_3 _4 :: I32
_4 _5 :: I32
_5 _6 :: I32
_6 = SearchMessages -> Sem r (Error ∪ Messages)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SearchMessages -> Sem r (Error ∪ Messages))
-> SearchMessages -> Sem r (Error ∪ Messages)
forall a b. (a -> b) -> a -> b
$ ChatList -> T -> I32 -> I32 -> I32 -> I32 -> SearchMessages
SearchMessages ChatList
_1 T
_2 I32
_3 I32
_4 I32
_5 I32
_6
searchSecretMessages ::
Member TDLib r =>
I53 ->
T ->
I64 ->
I32 ->
SearchMessagesFilter ->
Sem r (Error ∪ FoundMessages)
searchSecretMessages :: I32
-> T
-> I64
-> I32
-> SearchMessagesFilter
-> Sem r (Error ∪ FoundMessages)
searchSecretMessages _1 :: I32
_1 _2 :: T
_2 _3 :: I64
_3 _4 :: I32
_4 _5 :: SearchMessagesFilter
_5 = SearchSecretMessages -> Sem r (Error ∪ FoundMessages)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SearchSecretMessages -> Sem r (Error ∪ FoundMessages))
-> SearchSecretMessages -> Sem r (Error ∪ FoundMessages)
forall a b. (a -> b) -> a -> b
$ I32
-> T -> I64 -> I32 -> SearchMessagesFilter -> SearchSecretMessages
SearchSecretMessages I32
_1 T
_2 I64
_3 I32
_4 SearchMessagesFilter
_5
searchCallMessages ::
Member TDLib r =>
I53 ->
I32 ->
Bool ->
Sem r (Error ∪ Messages)
searchCallMessages :: I32 -> I32 -> Bool -> Sem r (Error ∪ Messages)
searchCallMessages _1 :: I32
_1 _2 :: I32
_2 _3 :: Bool
_3 = SearchCallMessages -> Sem r (Error ∪ Messages)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SearchCallMessages -> Sem r (Error ∪ Messages))
-> SearchCallMessages -> Sem r (Error ∪ Messages)
forall a b. (a -> b) -> a -> b
$ I32 -> I32 -> Bool -> SearchCallMessages
SearchCallMessages I32
_1 I32
_2 Bool
_3
searchChatRecentLocationMessages ::
Member TDLib r =>
I53 ->
I32 ->
Sem r (Error ∪ Messages)
searchChatRecentLocationMessages :: I32 -> I32 -> Sem r (Error ∪ Messages)
searchChatRecentLocationMessages _1 :: I32
_1 _2 :: I32
_2 = SearchChatRecentLocationMessages -> Sem r (Error ∪ Messages)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SearchChatRecentLocationMessages -> Sem r (Error ∪ Messages))
-> SearchChatRecentLocationMessages -> Sem r (Error ∪ Messages)
forall a b. (a -> b) -> a -> b
$ I32 -> I32 -> SearchChatRecentLocationMessages
SearchChatRecentLocationMessages I32
_1 I32
_2
getActiveLiveLocationMessages ::
Member TDLib r =>
Sem r (Error ∪ Messages)
getActiveLiveLocationMessages :: Sem r (Error ∪ Messages)
getActiveLiveLocationMessages = GetActiveLiveLocationMessages -> Sem r (Error ∪ Messages)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetActiveLiveLocationMessages -> Sem r (Error ∪ Messages))
-> GetActiveLiveLocationMessages -> Sem r (Error ∪ Messages)
forall a b. (a -> b) -> a -> b
$ GetActiveLiveLocationMessages
GetActiveLiveLocationMessages
getChatMessageByDate ::
Member TDLib r =>
I53 ->
I32 ->
Sem r (Error ∪ Message)
getChatMessageByDate :: I32 -> I32 -> Sem r (Error ∪ Message)
getChatMessageByDate _1 :: I32
_1 _2 :: I32
_2 = GetChatMessageByDate -> Sem r (Error ∪ Message)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetChatMessageByDate -> Sem r (Error ∪ Message))
-> GetChatMessageByDate -> Sem r (Error ∪ Message)
forall a b. (a -> b) -> a -> b
$ I32 -> I32 -> GetChatMessageByDate
GetChatMessageByDate I32
_1 I32
_2
getChatMessageCount ::
Member TDLib r =>
I53 ->
SearchMessagesFilter ->
Bool ->
Sem r (Error ∪ Count)
getChatMessageCount :: I32 -> SearchMessagesFilter -> Bool -> Sem r (Error ∪ Count)
getChatMessageCount _1 :: I32
_1 _2 :: SearchMessagesFilter
_2 _3 :: Bool
_3 = GetChatMessageCount -> Sem r (Error ∪ Count)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetChatMessageCount -> Sem r (Error ∪ Count))
-> GetChatMessageCount -> Sem r (Error ∪ Count)
forall a b. (a -> b) -> a -> b
$ I32 -> SearchMessagesFilter -> Bool -> GetChatMessageCount
GetChatMessageCount I32
_1 SearchMessagesFilter
_2 Bool
_3
getChatScheduledMessages ::
Member TDLib r =>
I53 ->
Sem r (Error ∪ Messages)
getChatScheduledMessages :: I32 -> Sem r (Error ∪ Messages)
getChatScheduledMessages _1 :: I32
_1 = GetChatScheduledMessages -> Sem r (Error ∪ Messages)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetChatScheduledMessages -> Sem r (Error ∪ Messages))
-> GetChatScheduledMessages -> Sem r (Error ∪ Messages)
forall a b. (a -> b) -> a -> b
$ I32 -> GetChatScheduledMessages
GetChatScheduledMessages I32
_1
removeNotification ::
Member TDLib r =>
I32 ->
I32 ->
Sem r (Error ∪ Ok)
removeNotification :: I32 -> I32 -> Sem r (Error ∪ Ok)
removeNotification _1 :: I32
_1 _2 :: I32
_2 = RemoveNotification -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (RemoveNotification -> Sem r (Error ∪ Ok))
-> RemoveNotification -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I32 -> I32 -> RemoveNotification
RemoveNotification I32
_1 I32
_2
removeNotificationGroup ::
Member TDLib r =>
I32 ->
I32 ->
Sem r (Error ∪ Ok)
removeNotificationGroup :: I32 -> I32 -> Sem r (Error ∪ Ok)
removeNotificationGroup _1 :: I32
_1 _2 :: I32
_2 = RemoveNotificationGroup -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (RemoveNotificationGroup -> Sem r (Error ∪ Ok))
-> RemoveNotificationGroup -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I32 -> I32 -> RemoveNotificationGroup
RemoveNotificationGroup I32
_1 I32
_2
getPublicMessageLink ::
Member TDLib r =>
I53 ->
I53 ->
Bool ->
Sem r (Error ∪ PublicMessageLink)
getPublicMessageLink :: I32 -> I32 -> Bool -> Sem r (Error ∪ PublicMessageLink)
getPublicMessageLink _1 :: I32
_1 _2 :: I32
_2 _3 :: Bool
_3 = GetPublicMessageLink -> Sem r (Error ∪ PublicMessageLink)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetPublicMessageLink -> Sem r (Error ∪ PublicMessageLink))
-> GetPublicMessageLink -> Sem r (Error ∪ PublicMessageLink)
forall a b. (a -> b) -> a -> b
$ I32 -> I32 -> Bool -> GetPublicMessageLink
GetPublicMessageLink I32
_1 I32
_2 Bool
_3
getMessageLink ::
Member TDLib r =>
I53 ->
I53 ->
Sem r (Error ∪ HttpUrl)
getMessageLink :: I32 -> I32 -> Sem r (Error ∪ HttpUrl)
getMessageLink _1 :: I32
_1 _2 :: I32
_2 = GetMessageLink -> Sem r (Error ∪ HttpUrl)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetMessageLink -> Sem r (Error ∪ HttpUrl))
-> GetMessageLink -> Sem r (Error ∪ HttpUrl)
forall a b. (a -> b) -> a -> b
$ I32 -> I32 -> GetMessageLink
GetMessageLink I32
_1 I32
_2
getMessageLinkInfo ::
Member TDLib r =>
T ->
Sem r (Error ∪ MessageLinkInfo)
getMessageLinkInfo :: T -> Sem r (Error ∪ MessageLinkInfo)
getMessageLinkInfo _1 :: T
_1 = GetMessageLinkInfo -> Sem r (Error ∪ MessageLinkInfo)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetMessageLinkInfo -> Sem r (Error ∪ MessageLinkInfo))
-> GetMessageLinkInfo -> Sem r (Error ∪ MessageLinkInfo)
forall a b. (a -> b) -> a -> b
$ T -> GetMessageLinkInfo
GetMessageLinkInfo T
_1
sendMessage ::
Member TDLib r =>
I53 ->
I53 ->
SendMessageOptions ->
ReplyMarkup ->
InputMessageContent ->
Sem r (Error ∪ Message)
sendMessage :: I32
-> I32
-> SendMessageOptions
-> ReplyMarkup
-> InputMessageContent
-> Sem r (Error ∪ Message)
sendMessage _1 :: I32
_1 _2 :: I32
_2 _3 :: SendMessageOptions
_3 _4 :: ReplyMarkup
_4 _5 :: InputMessageContent
_5 = SendMessage -> Sem r (Error ∪ Message)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SendMessage -> Sem r (Error ∪ Message))
-> SendMessage -> Sem r (Error ∪ Message)
forall a b. (a -> b) -> a -> b
$ I32
-> I32
-> SendMessageOptions
-> ReplyMarkup
-> InputMessageContent
-> SendMessage
SendMessage I32
_1 I32
_2 SendMessageOptions
_3 ReplyMarkup
_4 InputMessageContent
_5
sendMessageAlbum ::
Member TDLib r =>
I53 ->
I53 ->
SendMessageOptions ->
[InputMessageContent] ->
Sem r (Error ∪ Messages)
sendMessageAlbum :: I32
-> I32
-> SendMessageOptions
-> [InputMessageContent]
-> Sem r (Error ∪ Messages)
sendMessageAlbum _1 :: I32
_1 _2 :: I32
_2 _3 :: SendMessageOptions
_3 _4 :: [InputMessageContent]
_4 = SendMessageAlbum -> Sem r (Error ∪ Messages)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SendMessageAlbum -> Sem r (Error ∪ Messages))
-> SendMessageAlbum -> Sem r (Error ∪ Messages)
forall a b. (a -> b) -> a -> b
$ I32
-> I32
-> SendMessageOptions
-> [InputMessageContent]
-> SendMessageAlbum
SendMessageAlbum I32
_1 I32
_2 SendMessageOptions
_3 [InputMessageContent]
_4
sendBotStartMessage ::
Member TDLib r =>
I32 ->
I53 ->
T ->
Sem r (Error ∪ Message)
sendBotStartMessage :: I32 -> I32 -> T -> Sem r (Error ∪ Message)
sendBotStartMessage _1 :: I32
_1 _2 :: I32
_2 _3 :: T
_3 = SendBotStartMessage -> Sem r (Error ∪ Message)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SendBotStartMessage -> Sem r (Error ∪ Message))
-> SendBotStartMessage -> Sem r (Error ∪ Message)
forall a b. (a -> b) -> a -> b
$ I32 -> I32 -> T -> SendBotStartMessage
SendBotStartMessage I32
_1 I32
_2 T
_3
sendInlineQueryResultMessage ::
Member TDLib r =>
I53 ->
I53 ->
SendMessageOptions ->
I64 ->
T ->
Bool ->
Sem r (Error ∪ Message)
sendInlineQueryResultMessage :: I32
-> I32
-> SendMessageOptions
-> I64
-> T
-> Bool
-> Sem r (Error ∪ Message)
sendInlineQueryResultMessage _1 :: I32
_1 _2 :: I32
_2 _3 :: SendMessageOptions
_3 _4 :: I64
_4 _5 :: T
_5 _6 :: Bool
_6 = SendInlineQueryResultMessage -> Sem r (Error ∪ Message)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SendInlineQueryResultMessage -> Sem r (Error ∪ Message))
-> SendInlineQueryResultMessage -> Sem r (Error ∪ Message)
forall a b. (a -> b) -> a -> b
$ I32
-> I32
-> SendMessageOptions
-> I64
-> T
-> Bool
-> SendInlineQueryResultMessage
SendInlineQueryResultMessage I32
_1 I32
_2 SendMessageOptions
_3 I64
_4 T
_5 Bool
_6
forwardMessages ::
Member TDLib r =>
I53 ->
I53 ->
[I53] ->
SendMessageOptions ->
Bool ->
Bool ->
Bool ->
Sem r (Error ∪ Messages)
forwardMessages :: I32
-> I32
-> [I32]
-> SendMessageOptions
-> Bool
-> Bool
-> Bool
-> Sem r (Error ∪ Messages)
forwardMessages _1 :: I32
_1 _2 :: I32
_2 _3 :: [I32]
_3 _4 :: SendMessageOptions
_4 _5 :: Bool
_5 _6 :: Bool
_6 _7 :: Bool
_7 = ForwardMessages -> Sem r (Error ∪ Messages)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (ForwardMessages -> Sem r (Error ∪ Messages))
-> ForwardMessages -> Sem r (Error ∪ Messages)
forall a b. (a -> b) -> a -> b
$ I32
-> I32
-> [I32]
-> SendMessageOptions
-> Bool
-> Bool
-> Bool
-> ForwardMessages
ForwardMessages I32
_1 I32
_2 [I32]
_3 SendMessageOptions
_4 Bool
_5 Bool
_6 Bool
_7
resendMessages ::
Member TDLib r =>
I53 ->
[I53] ->
Sem r (Error ∪ Messages)
resendMessages :: I32 -> [I32] -> Sem r (Error ∪ Messages)
resendMessages _1 :: I32
_1 _2 :: [I32]
_2 = ResendMessages -> Sem r (Error ∪ Messages)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (ResendMessages -> Sem r (Error ∪ Messages))
-> ResendMessages -> Sem r (Error ∪ Messages)
forall a b. (a -> b) -> a -> b
$ I32 -> [I32] -> ResendMessages
ResendMessages I32
_1 [I32]
_2
sendChatSetTtlMessage ::
Member TDLib r =>
I53 ->
I32 ->
Sem r (Error ∪ Message)
sendChatSetTtlMessage :: I32 -> I32 -> Sem r (Error ∪ Message)
sendChatSetTtlMessage _1 :: I32
_1 _2 :: I32
_2 = SendChatSetTtlMessage -> Sem r (Error ∪ Message)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SendChatSetTtlMessage -> Sem r (Error ∪ Message))
-> SendChatSetTtlMessage -> Sem r (Error ∪ Message)
forall a b. (a -> b) -> a -> b
$ I32 -> I32 -> SendChatSetTtlMessage
SendChatSetTtlMessage I32
_1 I32
_2
sendChatScreenshotTakenNotification ::
Member TDLib r =>
I53 ->
Sem r (Error ∪ Ok)
sendChatScreenshotTakenNotification :: I32 -> Sem r (Error ∪ Ok)
sendChatScreenshotTakenNotification _1 :: I32
_1 = SendChatScreenshotTakenNotification -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SendChatScreenshotTakenNotification -> Sem r (Error ∪ Ok))
-> SendChatScreenshotTakenNotification -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I32 -> SendChatScreenshotTakenNotification
SendChatScreenshotTakenNotification I32
_1
addLocalMessage ::
Member TDLib r =>
I53 ->
I32 ->
I53 ->
Bool ->
InputMessageContent ->
Sem r (Error ∪ Message)
addLocalMessage :: I32
-> I32
-> I32
-> Bool
-> InputMessageContent
-> Sem r (Error ∪ Message)
addLocalMessage _1 :: I32
_1 _2 :: I32
_2 _3 :: I32
_3 _4 :: Bool
_4 _5 :: InputMessageContent
_5 = AddLocalMessage -> Sem r (Error ∪ Message)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (AddLocalMessage -> Sem r (Error ∪ Message))
-> AddLocalMessage -> Sem r (Error ∪ Message)
forall a b. (a -> b) -> a -> b
$ I32 -> I32 -> I32 -> Bool -> InputMessageContent -> AddLocalMessage
AddLocalMessage I32
_1 I32
_2 I32
_3 Bool
_4 InputMessageContent
_5
deleteMessages ::
Member TDLib r =>
I53 ->
[I53] ->
Bool ->
Sem r (Error ∪ Ok)
deleteMessages :: I32 -> [I32] -> Bool -> Sem r (Error ∪ Ok)
deleteMessages _1 :: I32
_1 _2 :: [I32]
_2 _3 :: Bool
_3 = DeleteMessages -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (DeleteMessages -> Sem r (Error ∪ Ok))
-> DeleteMessages -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I32 -> [I32] -> Bool -> DeleteMessages
DeleteMessages I32
_1 [I32]
_2 Bool
_3
deleteChatMessagesFromUser ::
Member TDLib r =>
I53 ->
I32 ->
Sem r (Error ∪ Ok)
deleteChatMessagesFromUser :: I32 -> I32 -> Sem r (Error ∪ Ok)
deleteChatMessagesFromUser _1 :: I32
_1 _2 :: I32
_2 = DeleteChatMessagesFromUser -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (DeleteChatMessagesFromUser -> Sem r (Error ∪ Ok))
-> DeleteChatMessagesFromUser -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I32 -> I32 -> DeleteChatMessagesFromUser
DeleteChatMessagesFromUser I32
_1 I32
_2
editMessageText ::
Member TDLib r =>
I53 ->
I53 ->
ReplyMarkup ->
InputMessageContent ->
Sem r (Error ∪ Message)
editMessageText :: I32
-> I32
-> ReplyMarkup
-> InputMessageContent
-> Sem r (Error ∪ Message)
editMessageText _1 :: I32
_1 _2 :: I32
_2 _3 :: ReplyMarkup
_3 _4 :: InputMessageContent
_4 = EditMessageText -> Sem r (Error ∪ Message)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (EditMessageText -> Sem r (Error ∪ Message))
-> EditMessageText -> Sem r (Error ∪ Message)
forall a b. (a -> b) -> a -> b
$ I32 -> I32 -> ReplyMarkup -> InputMessageContent -> EditMessageText
EditMessageText I32
_1 I32
_2 ReplyMarkup
_3 InputMessageContent
_4
editMessageLiveLocation ::
Member TDLib r =>
I53 ->
I53 ->
ReplyMarkup ->
(Maybe) (Location) ->
Sem r (Error ∪ Message)
editMessageLiveLocation :: I32
-> I32 -> ReplyMarkup -> Maybe Location -> Sem r (Error ∪ Message)
editMessageLiveLocation _1 :: I32
_1 _2 :: I32
_2 _3 :: ReplyMarkup
_3 _4 :: Maybe Location
_4 = EditMessageLiveLocation -> Sem r (Error ∪ Message)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (EditMessageLiveLocation -> Sem r (Error ∪ Message))
-> EditMessageLiveLocation -> Sem r (Error ∪ Message)
forall a b. (a -> b) -> a -> b
$ I32
-> I32 -> ReplyMarkup -> Maybe Location -> EditMessageLiveLocation
EditMessageLiveLocation I32
_1 I32
_2 ReplyMarkup
_3 Maybe Location
_4
editMessageMedia ::
Member TDLib r =>
I53 ->
I53 ->
ReplyMarkup ->
InputMessageContent ->
Sem r (Error ∪ Message)
editMessageMedia :: I32
-> I32
-> ReplyMarkup
-> InputMessageContent
-> Sem r (Error ∪ Message)
editMessageMedia _1 :: I32
_1 _2 :: I32
_2 _3 :: ReplyMarkup
_3 _4 :: InputMessageContent
_4 = EditMessageMedia -> Sem r (Error ∪ Message)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (EditMessageMedia -> Sem r (Error ∪ Message))
-> EditMessageMedia -> Sem r (Error ∪ Message)
forall a b. (a -> b) -> a -> b
$ I32
-> I32 -> ReplyMarkup -> InputMessageContent -> EditMessageMedia
EditMessageMedia I32
_1 I32
_2 ReplyMarkup
_3 InputMessageContent
_4
editMessageCaption ::
Member TDLib r =>
I53 ->
I53 ->
ReplyMarkup ->
FormattedText ->
Sem r (Error ∪ Message)
editMessageCaption :: I32
-> I32 -> ReplyMarkup -> FormattedText -> Sem r (Error ∪ Message)
editMessageCaption _1 :: I32
_1 _2 :: I32
_2 _3 :: ReplyMarkup
_3 _4 :: FormattedText
_4 = EditMessageCaption -> Sem r (Error ∪ Message)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (EditMessageCaption -> Sem r (Error ∪ Message))
-> EditMessageCaption -> Sem r (Error ∪ Message)
forall a b. (a -> b) -> a -> b
$ I32 -> I32 -> ReplyMarkup -> FormattedText -> EditMessageCaption
EditMessageCaption I32
_1 I32
_2 ReplyMarkup
_3 FormattedText
_4
editMessageReplyMarkup ::
Member TDLib r =>
I53 ->
I53 ->
ReplyMarkup ->
Sem r (Error ∪ Message)
editMessageReplyMarkup :: I32 -> I32 -> ReplyMarkup -> Sem r (Error ∪ Message)
editMessageReplyMarkup _1 :: I32
_1 _2 :: I32
_2 _3 :: ReplyMarkup
_3 = EditMessageReplyMarkup -> Sem r (Error ∪ Message)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (EditMessageReplyMarkup -> Sem r (Error ∪ Message))
-> EditMessageReplyMarkup -> Sem r (Error ∪ Message)
forall a b. (a -> b) -> a -> b
$ I32 -> I32 -> ReplyMarkup -> EditMessageReplyMarkup
EditMessageReplyMarkup I32
_1 I32
_2 ReplyMarkup
_3
editInlineMessageText ::
Member TDLib r =>
T ->
ReplyMarkup ->
InputMessageContent ->
Sem r (Error ∪ Ok)
editInlineMessageText :: T -> ReplyMarkup -> InputMessageContent -> Sem r (Error ∪ Ok)
editInlineMessageText _1 :: T
_1 _2 :: ReplyMarkup
_2 _3 :: InputMessageContent
_3 = EditInlineMessageText -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (EditInlineMessageText -> Sem r (Error ∪ Ok))
-> EditInlineMessageText -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ T -> ReplyMarkup -> InputMessageContent -> EditInlineMessageText
EditInlineMessageText T
_1 ReplyMarkup
_2 InputMessageContent
_3
editInlineMessageLiveLocation ::
Member TDLib r =>
T ->
ReplyMarkup ->
(Maybe) (Location) ->
Sem r (Error ∪ Ok)
editInlineMessageLiveLocation :: T -> ReplyMarkup -> Maybe Location -> Sem r (Error ∪ Ok)
editInlineMessageLiveLocation _1 :: T
_1 _2 :: ReplyMarkup
_2 _3 :: Maybe Location
_3 = EditInlineMessageLiveLocation -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (EditInlineMessageLiveLocation -> Sem r (Error ∪ Ok))
-> EditInlineMessageLiveLocation -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ T -> ReplyMarkup -> Maybe Location -> EditInlineMessageLiveLocation
EditInlineMessageLiveLocation T
_1 ReplyMarkup
_2 Maybe Location
_3
editInlineMessageMedia ::
Member TDLib r =>
T ->
ReplyMarkup ->
InputMessageContent ->
Sem r (Error ∪ Ok)
editInlineMessageMedia :: T -> ReplyMarkup -> InputMessageContent -> Sem r (Error ∪ Ok)
editInlineMessageMedia _1 :: T
_1 _2 :: ReplyMarkup
_2 _3 :: InputMessageContent
_3 = EditInlineMessageMedia -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (EditInlineMessageMedia -> Sem r (Error ∪ Ok))
-> EditInlineMessageMedia -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ T -> ReplyMarkup -> InputMessageContent -> EditInlineMessageMedia
EditInlineMessageMedia T
_1 ReplyMarkup
_2 InputMessageContent
_3
editInlineMessageCaption ::
Member TDLib r =>
T ->
ReplyMarkup ->
FormattedText ->
Sem r (Error ∪ Ok)
editInlineMessageCaption :: T -> ReplyMarkup -> FormattedText -> Sem r (Error ∪ Ok)
editInlineMessageCaption _1 :: T
_1 _2 :: ReplyMarkup
_2 _3 :: FormattedText
_3 = EditInlineMessageCaption -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (EditInlineMessageCaption -> Sem r (Error ∪ Ok))
-> EditInlineMessageCaption -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ T -> ReplyMarkup -> FormattedText -> EditInlineMessageCaption
EditInlineMessageCaption T
_1 ReplyMarkup
_2 FormattedText
_3
editInlineMessageReplyMarkup ::
Member TDLib r =>
T ->
ReplyMarkup ->
Sem r (Error ∪ Ok)
editInlineMessageReplyMarkup :: T -> ReplyMarkup -> Sem r (Error ∪ Ok)
editInlineMessageReplyMarkup _1 :: T
_1 _2 :: ReplyMarkup
_2 = EditInlineMessageReplyMarkup -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (EditInlineMessageReplyMarkup -> Sem r (Error ∪ Ok))
-> EditInlineMessageReplyMarkup -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ T -> ReplyMarkup -> EditInlineMessageReplyMarkup
EditInlineMessageReplyMarkup T
_1 ReplyMarkup
_2
editMessageSchedulingState ::
Member TDLib r =>
I53 ->
I53 ->
MessageSchedulingState ->
Sem r (Error ∪ Ok)
editMessageSchedulingState :: I32 -> I32 -> MessageSchedulingState -> Sem r (Error ∪ Ok)
editMessageSchedulingState _1 :: I32
_1 _2 :: I32
_2 _3 :: MessageSchedulingState
_3 = EditMessageSchedulingState -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (EditMessageSchedulingState -> Sem r (Error ∪ Ok))
-> EditMessageSchedulingState -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I32 -> I32 -> MessageSchedulingState -> EditMessageSchedulingState
EditMessageSchedulingState I32
_1 I32
_2 MessageSchedulingState
_3
getTextEntities ::
Member TDLib r =>
T ->
Sem r (Error ∪ TextEntities)
getTextEntities :: T -> Sem r (Error ∪ TextEntities)
getTextEntities _1 :: T
_1 = GetTextEntities -> Sem r (Error ∪ TextEntities)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetTextEntities -> Sem r (Error ∪ TextEntities))
-> GetTextEntities -> Sem r (Error ∪ TextEntities)
forall a b. (a -> b) -> a -> b
$ T -> GetTextEntities
GetTextEntities T
_1
parseTextEntities ::
Member TDLib r =>
T ->
TextParseMode ->
Sem r (Error ∪ FormattedText)
parseTextEntities :: T -> TextParseMode -> Sem r (Error ∪ FormattedText)
parseTextEntities _1 :: T
_1 _2 :: TextParseMode
_2 = ParseTextEntities -> Sem r (Error ∪ FormattedText)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (ParseTextEntities -> Sem r (Error ∪ FormattedText))
-> ParseTextEntities -> Sem r (Error ∪ FormattedText)
forall a b. (a -> b) -> a -> b
$ T -> TextParseMode -> ParseTextEntities
ParseTextEntities T
_1 TextParseMode
_2
parseMarkdown ::
Member TDLib r =>
FormattedText ->
Sem r (Error ∪ FormattedText)
parseMarkdown :: FormattedText -> Sem r (Error ∪ FormattedText)
parseMarkdown _1 :: FormattedText
_1 = ParseMarkdown -> Sem r (Error ∪ FormattedText)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (ParseMarkdown -> Sem r (Error ∪ FormattedText))
-> ParseMarkdown -> Sem r (Error ∪ FormattedText)
forall a b. (a -> b) -> a -> b
$ FormattedText -> ParseMarkdown
ParseMarkdown FormattedText
_1
getMarkdownText ::
Member TDLib r =>
FormattedText ->
Sem r (Error ∪ FormattedText)
getMarkdownText :: FormattedText -> Sem r (Error ∪ FormattedText)
getMarkdownText _1 :: FormattedText
_1 = GetMarkdownText -> Sem r (Error ∪ FormattedText)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetMarkdownText -> Sem r (Error ∪ FormattedText))
-> GetMarkdownText -> Sem r (Error ∪ FormattedText)
forall a b. (a -> b) -> a -> b
$ FormattedText -> GetMarkdownText
GetMarkdownText FormattedText
_1
getFileMimeType ::
Member TDLib r =>
T ->
Sem r (Error ∪ Text)
getFileMimeType :: T -> Sem r (Error ∪ Text)
getFileMimeType _1 :: T
_1 = GetFileMimeType -> Sem r (Error ∪ Text)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetFileMimeType -> Sem r (Error ∪ Text))
-> GetFileMimeType -> Sem r (Error ∪ Text)
forall a b. (a -> b) -> a -> b
$ T -> GetFileMimeType
GetFileMimeType T
_1
getFileExtension ::
Member TDLib r =>
T ->
Sem r (Error ∪ Text)
getFileExtension :: T -> Sem r (Error ∪ Text)
getFileExtension _1 :: T
_1 = GetFileExtension -> Sem r (Error ∪ Text)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetFileExtension -> Sem r (Error ∪ Text))
-> GetFileExtension -> Sem r (Error ∪ Text)
forall a b. (a -> b) -> a -> b
$ T -> GetFileExtension
GetFileExtension T
_1
cleanFileName ::
Member TDLib r =>
T ->
Sem r (Error ∪ Text)
cleanFileName :: T -> Sem r (Error ∪ Text)
cleanFileName _1 :: T
_1 = CleanFileName -> Sem r (Error ∪ Text)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (CleanFileName -> Sem r (Error ∪ Text))
-> CleanFileName -> Sem r (Error ∪ Text)
forall a b. (a -> b) -> a -> b
$ T -> CleanFileName
CleanFileName T
_1
getLanguagePackString ::
Member TDLib r =>
T ->
T ->
T ->
T ->
Sem r (Error ∪ LanguagePackStringValue)
getLanguagePackString :: T -> T -> T -> T -> Sem r (Error ∪ LanguagePackStringValue)
getLanguagePackString _1 :: T
_1 _2 :: T
_2 _3 :: T
_3 _4 :: T
_4 = GetLanguagePackString -> Sem r (Error ∪ LanguagePackStringValue)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetLanguagePackString -> Sem r (Error ∪ LanguagePackStringValue))
-> GetLanguagePackString -> Sem r (Error ∪ LanguagePackStringValue)
forall a b. (a -> b) -> a -> b
$ T -> T -> T -> T -> GetLanguagePackString
GetLanguagePackString T
_1 T
_2 T
_3 T
_4
getJsonValue ::
Member TDLib r =>
T ->
Sem r (Error ∪ JsonValue)
getJsonValue :: T -> Sem r (Error ∪ JsonValue)
getJsonValue _1 :: T
_1 = GetJsonValue -> Sem r (Error ∪ JsonValue)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetJsonValue -> Sem r (Error ∪ JsonValue))
-> GetJsonValue -> Sem r (Error ∪ JsonValue)
forall a b. (a -> b) -> a -> b
$ T -> GetJsonValue
GetJsonValue T
_1
getJsonString ::
Member TDLib r =>
JsonValue ->
Sem r (Error ∪ Text)
getJsonString :: JsonValue -> Sem r (Error ∪ Text)
getJsonString _1 :: JsonValue
_1 = GetJsonString -> Sem r (Error ∪ Text)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetJsonString -> Sem r (Error ∪ Text))
-> GetJsonString -> Sem r (Error ∪ Text)
forall a b. (a -> b) -> a -> b
$ JsonValue -> GetJsonString
GetJsonString JsonValue
_1
setPollAnswer ::
Member TDLib r =>
I53 ->
I53 ->
[I32] ->
Sem r (Error ∪ Ok)
setPollAnswer :: I32 -> I32 -> [I32] -> Sem r (Error ∪ Ok)
setPollAnswer _1 :: I32
_1 _2 :: I32
_2 _3 :: [I32]
_3 = SetPollAnswer -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SetPollAnswer -> Sem r (Error ∪ Ok))
-> SetPollAnswer -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I32 -> I32 -> [I32] -> SetPollAnswer
SetPollAnswer I32
_1 I32
_2 [I32]
_3
getPollVoters ::
Member TDLib r =>
I53 ->
I53 ->
I32 ->
I32 ->
I32 ->
Sem r (Error ∪ Users)
getPollVoters :: I32 -> I32 -> I32 -> I32 -> I32 -> Sem r (Error ∪ Users)
getPollVoters _1 :: I32
_1 _2 :: I32
_2 _3 :: I32
_3 _4 :: I32
_4 _5 :: I32
_5 = GetPollVoters -> Sem r (Error ∪ Users)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetPollVoters -> Sem r (Error ∪ Users))
-> GetPollVoters -> Sem r (Error ∪ Users)
forall a b. (a -> b) -> a -> b
$ I32 -> I32 -> I32 -> I32 -> I32 -> GetPollVoters
GetPollVoters I32
_1 I32
_2 I32
_3 I32
_4 I32
_5
stopPoll ::
Member TDLib r =>
I53 ->
I53 ->
ReplyMarkup ->
Sem r (Error ∪ Ok)
stopPoll :: I32 -> I32 -> ReplyMarkup -> Sem r (Error ∪ Ok)
stopPoll _1 :: I32
_1 _2 :: I32
_2 _3 :: ReplyMarkup
_3 = StopPoll -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (StopPoll -> Sem r (Error ∪ Ok)) -> StopPoll -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I32 -> I32 -> ReplyMarkup -> StopPoll
StopPoll I32
_1 I32
_2 ReplyMarkup
_3
getLoginUrlInfo ::
Member TDLib r =>
I53 ->
I53 ->
I32 ->
Sem r (Error ∪ LoginUrlInfo)
getLoginUrlInfo :: I32 -> I32 -> I32 -> Sem r (Error ∪ LoginUrlInfo)
getLoginUrlInfo _1 :: I32
_1 _2 :: I32
_2 _3 :: I32
_3 = GetLoginUrlInfo -> Sem r (Error ∪ LoginUrlInfo)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetLoginUrlInfo -> Sem r (Error ∪ LoginUrlInfo))
-> GetLoginUrlInfo -> Sem r (Error ∪ LoginUrlInfo)
forall a b. (a -> b) -> a -> b
$ I32 -> I32 -> I32 -> GetLoginUrlInfo
GetLoginUrlInfo I32
_1 I32
_2 I32
_3
getLoginUrl ::
Member TDLib r =>
I53 ->
I53 ->
I32 ->
Bool ->
Sem r (Error ∪ HttpUrl)
getLoginUrl :: I32 -> I32 -> I32 -> Bool -> Sem r (Error ∪ HttpUrl)
getLoginUrl _1 :: I32
_1 _2 :: I32
_2 _3 :: I32
_3 _4 :: Bool
_4 = GetLoginUrl -> Sem r (Error ∪ HttpUrl)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetLoginUrl -> Sem r (Error ∪ HttpUrl))
-> GetLoginUrl -> Sem r (Error ∪ HttpUrl)
forall a b. (a -> b) -> a -> b
$ I32 -> I32 -> I32 -> Bool -> GetLoginUrl
GetLoginUrl I32
_1 I32
_2 I32
_3 Bool
_4
getInlineQueryResults ::
Member TDLib r =>
I32 ->
I53 ->
Location ->
T ->
T ->
Sem r (Error ∪ InlineQueryResults)
getInlineQueryResults :: I32
-> I32 -> Location -> T -> T -> Sem r (Error ∪ InlineQueryResults)
getInlineQueryResults _1 :: I32
_1 _2 :: I32
_2 _3 :: Location
_3 _4 :: T
_4 _5 :: T
_5 = GetInlineQueryResults -> Sem r (Error ∪ InlineQueryResults)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetInlineQueryResults -> Sem r (Error ∪ InlineQueryResults))
-> GetInlineQueryResults -> Sem r (Error ∪ InlineQueryResults)
forall a b. (a -> b) -> a -> b
$ I32 -> I32 -> Location -> T -> T -> GetInlineQueryResults
GetInlineQueryResults I32
_1 I32
_2 Location
_3 T
_4 T
_5
answerInlineQuery ::
Member TDLib r =>
I64 ->
Bool ->
[InputInlineQueryResult] ->
I32 ->
T ->
T ->
T ->
Sem r (Error ∪ Ok)
answerInlineQuery :: I64
-> Bool
-> [InputInlineQueryResult]
-> I32
-> T
-> T
-> T
-> Sem r (Error ∪ Ok)
answerInlineQuery _1 :: I64
_1 _2 :: Bool
_2 _3 :: [InputInlineQueryResult]
_3 _4 :: I32
_4 _5 :: T
_5 _6 :: T
_6 _7 :: T
_7 = AnswerInlineQuery -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (AnswerInlineQuery -> Sem r (Error ∪ Ok))
-> AnswerInlineQuery -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I64
-> Bool
-> [InputInlineQueryResult]
-> I32
-> T
-> T
-> T
-> AnswerInlineQuery
AnswerInlineQuery I64
_1 Bool
_2 [InputInlineQueryResult]
_3 I32
_4 T
_5 T
_6 T
_7
getCallbackQueryAnswer ::
Member TDLib r =>
I53 ->
I53 ->
CallbackQueryPayload ->
Sem r (Error ∪ CallbackQueryAnswer)
getCallbackQueryAnswer :: I32
-> I32
-> CallbackQueryPayload
-> Sem r (Error ∪ CallbackQueryAnswer)
getCallbackQueryAnswer _1 :: I32
_1 _2 :: I32
_2 _3 :: CallbackQueryPayload
_3 = GetCallbackQueryAnswer -> Sem r (Error ∪ CallbackQueryAnswer)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetCallbackQueryAnswer -> Sem r (Error ∪ CallbackQueryAnswer))
-> GetCallbackQueryAnswer -> Sem r (Error ∪ CallbackQueryAnswer)
forall a b. (a -> b) -> a -> b
$ I32 -> I32 -> CallbackQueryPayload -> GetCallbackQueryAnswer
GetCallbackQueryAnswer I32
_1 I32
_2 CallbackQueryPayload
_3
answerCallbackQuery ::
Member TDLib r =>
I64 ->
T ->
Bool ->
T ->
I32 ->
Sem r (Error ∪ Ok)
answerCallbackQuery :: I64 -> T -> Bool -> T -> I32 -> Sem r (Error ∪ Ok)
answerCallbackQuery _1 :: I64
_1 _2 :: T
_2 _3 :: Bool
_3 _4 :: T
_4 _5 :: I32
_5 = AnswerCallbackQuery -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (AnswerCallbackQuery -> Sem r (Error ∪ Ok))
-> AnswerCallbackQuery -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I64 -> T -> Bool -> T -> I32 -> AnswerCallbackQuery
AnswerCallbackQuery I64
_1 T
_2 Bool
_3 T
_4 I32
_5
answerShippingQuery ::
Member TDLib r =>
I64 ->
[ShippingOption] ->
T ->
Sem r (Error ∪ Ok)
answerShippingQuery :: I64 -> [ShippingOption] -> T -> Sem r (Error ∪ Ok)
answerShippingQuery _1 :: I64
_1 _2 :: [ShippingOption]
_2 _3 :: T
_3 = AnswerShippingQuery -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (AnswerShippingQuery -> Sem r (Error ∪ Ok))
-> AnswerShippingQuery -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I64 -> [ShippingOption] -> T -> AnswerShippingQuery
AnswerShippingQuery I64
_1 [ShippingOption]
_2 T
_3
answerPreCheckoutQuery ::
Member TDLib r =>
I64 ->
T ->
Sem r (Error ∪ Ok)
answerPreCheckoutQuery :: I64 -> T -> Sem r (Error ∪ Ok)
answerPreCheckoutQuery _1 :: I64
_1 _2 :: T
_2 = AnswerPreCheckoutQuery -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (AnswerPreCheckoutQuery -> Sem r (Error ∪ Ok))
-> AnswerPreCheckoutQuery -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I64 -> T -> AnswerPreCheckoutQuery
AnswerPreCheckoutQuery I64
_1 T
_2
setGameScore ::
Member TDLib r =>
I53 ->
I53 ->
Bool ->
I32 ->
I32 ->
Bool ->
Sem r (Error ∪ Message)
setGameScore :: I32 -> I32 -> Bool -> I32 -> I32 -> Bool -> Sem r (Error ∪ Message)
setGameScore _1 :: I32
_1 _2 :: I32
_2 _3 :: Bool
_3 _4 :: I32
_4 _5 :: I32
_5 _6 :: Bool
_6 = SetGameScore -> Sem r (Error ∪ Message)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SetGameScore -> Sem r (Error ∪ Message))
-> SetGameScore -> Sem r (Error ∪ Message)
forall a b. (a -> b) -> a -> b
$ I32 -> I32 -> Bool -> I32 -> I32 -> Bool -> SetGameScore
SetGameScore I32
_1 I32
_2 Bool
_3 I32
_4 I32
_5 Bool
_6
setInlineGameScore ::
Member TDLib r =>
T ->
Bool ->
I32 ->
I32 ->
Bool ->
Sem r (Error ∪ Ok)
setInlineGameScore :: T -> Bool -> I32 -> I32 -> Bool -> Sem r (Error ∪ Ok)
setInlineGameScore _1 :: T
_1 _2 :: Bool
_2 _3 :: I32
_3 _4 :: I32
_4 _5 :: Bool
_5 = SetInlineGameScore -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SetInlineGameScore -> Sem r (Error ∪ Ok))
-> SetInlineGameScore -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ T -> Bool -> I32 -> I32 -> Bool -> SetInlineGameScore
SetInlineGameScore T
_1 Bool
_2 I32
_3 I32
_4 Bool
_5
getGameHighScores ::
Member TDLib r =>
I53 ->
I53 ->
I32 ->
Sem r (Error ∪ GameHighScores)
getGameHighScores :: I32 -> I32 -> I32 -> Sem r (Error ∪ GameHighScores)
getGameHighScores _1 :: I32
_1 _2 :: I32
_2 _3 :: I32
_3 = GetGameHighScores -> Sem r (Error ∪ GameHighScores)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetGameHighScores -> Sem r (Error ∪ GameHighScores))
-> GetGameHighScores -> Sem r (Error ∪ GameHighScores)
forall a b. (a -> b) -> a -> b
$ I32 -> I32 -> I32 -> GetGameHighScores
GetGameHighScores I32
_1 I32
_2 I32
_3
getInlineGameHighScores ::
Member TDLib r =>
T ->
I32 ->
Sem r (Error ∪ GameHighScores)
getInlineGameHighScores :: T -> I32 -> Sem r (Error ∪ GameHighScores)
getInlineGameHighScores _1 :: T
_1 _2 :: I32
_2 = GetInlineGameHighScores -> Sem r (Error ∪ GameHighScores)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetInlineGameHighScores -> Sem r (Error ∪ GameHighScores))
-> GetInlineGameHighScores -> Sem r (Error ∪ GameHighScores)
forall a b. (a -> b) -> a -> b
$ T -> I32 -> GetInlineGameHighScores
GetInlineGameHighScores T
_1 I32
_2
deleteChatReplyMarkup ::
Member TDLib r =>
I53 ->
I53 ->
Sem r (Error ∪ Ok)
deleteChatReplyMarkup :: I32 -> I32 -> Sem r (Error ∪ Ok)
deleteChatReplyMarkup _1 :: I32
_1 _2 :: I32
_2 = DeleteChatReplyMarkup -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (DeleteChatReplyMarkup -> Sem r (Error ∪ Ok))
-> DeleteChatReplyMarkup -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I32 -> I32 -> DeleteChatReplyMarkup
DeleteChatReplyMarkup I32
_1 I32
_2
sendChatAction ::
Member TDLib r =>
I53 ->
ChatAction ->
Sem r (Error ∪ Ok)
sendChatAction :: I32 -> ChatAction -> Sem r (Error ∪ Ok)
sendChatAction _1 :: I32
_1 _2 :: ChatAction
_2 = SendChatAction -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SendChatAction -> Sem r (Error ∪ Ok))
-> SendChatAction -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I32 -> ChatAction -> SendChatAction
SendChatAction I32
_1 ChatAction
_2
openChat ::
Member TDLib r =>
I53 ->
Sem r (Error ∪ Ok)
openChat :: I32 -> Sem r (Error ∪ Ok)
openChat _1 :: I32
_1 = OpenChat -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (OpenChat -> Sem r (Error ∪ Ok)) -> OpenChat -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I32 -> OpenChat
OpenChat I32
_1
closeChat ::
Member TDLib r =>
I53 ->
Sem r (Error ∪ Ok)
closeChat :: I32 -> Sem r (Error ∪ Ok)
closeChat _1 :: I32
_1 = CloseChat -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (CloseChat -> Sem r (Error ∪ Ok))
-> CloseChat -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I32 -> CloseChat
CloseChat I32
_1
viewMessages ::
Member TDLib r =>
I53 ->
[I53] ->
Bool ->
Sem r (Error ∪ Ok)
viewMessages :: I32 -> [I32] -> Bool -> Sem r (Error ∪ Ok)
viewMessages _1 :: I32
_1 _2 :: [I32]
_2 _3 :: Bool
_3 = ViewMessages -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (ViewMessages -> Sem r (Error ∪ Ok))
-> ViewMessages -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I32 -> [I32] -> Bool -> ViewMessages
ViewMessages I32
_1 [I32]
_2 Bool
_3
openMessageContent ::
Member TDLib r =>
I53 ->
I53 ->
Sem r (Error ∪ Ok)
openMessageContent :: I32 -> I32 -> Sem r (Error ∪ Ok)
openMessageContent _1 :: I32
_1 _2 :: I32
_2 = OpenMessageContent -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (OpenMessageContent -> Sem r (Error ∪ Ok))
-> OpenMessageContent -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I32 -> I32 -> OpenMessageContent
OpenMessageContent I32
_1 I32
_2
readAllChatMentions ::
Member TDLib r =>
I53 ->
Sem r (Error ∪ Ok)
readAllChatMentions :: I32 -> Sem r (Error ∪ Ok)
readAllChatMentions _1 :: I32
_1 = ReadAllChatMentions -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (ReadAllChatMentions -> Sem r (Error ∪ Ok))
-> ReadAllChatMentions -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I32 -> ReadAllChatMentions
ReadAllChatMentions I32
_1
createPrivateChat ::
Member TDLib r =>
I32 ->
Bool ->
Sem r (Error ∪ Chat)
createPrivateChat :: I32 -> Bool -> Sem r (Error ∪ Chat)
createPrivateChat _1 :: I32
_1 _2 :: Bool
_2 = CreatePrivateChat -> Sem r (Error ∪ Chat)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (CreatePrivateChat -> Sem r (Error ∪ Chat))
-> CreatePrivateChat -> Sem r (Error ∪ Chat)
forall a b. (a -> b) -> a -> b
$ I32 -> Bool -> CreatePrivateChat
CreatePrivateChat I32
_1 Bool
_2
createBasicGroupChat ::
Member TDLib r =>
I32 ->
Bool ->
Sem r (Error ∪ Chat)
createBasicGroupChat :: I32 -> Bool -> Sem r (Error ∪ Chat)
createBasicGroupChat _1 :: I32
_1 _2 :: Bool
_2 = CreateBasicGroupChat -> Sem r (Error ∪ Chat)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (CreateBasicGroupChat -> Sem r (Error ∪ Chat))
-> CreateBasicGroupChat -> Sem r (Error ∪ Chat)
forall a b. (a -> b) -> a -> b
$ I32 -> Bool -> CreateBasicGroupChat
CreateBasicGroupChat I32
_1 Bool
_2
createSupergroupChat ::
Member TDLib r =>
I32 ->
Bool ->
Sem r (Error ∪ Chat)
createSupergroupChat :: I32 -> Bool -> Sem r (Error ∪ Chat)
createSupergroupChat _1 :: I32
_1 _2 :: Bool
_2 = CreateSupergroupChat -> Sem r (Error ∪ Chat)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (CreateSupergroupChat -> Sem r (Error ∪ Chat))
-> CreateSupergroupChat -> Sem r (Error ∪ Chat)
forall a b. (a -> b) -> a -> b
$ I32 -> Bool -> CreateSupergroupChat
CreateSupergroupChat I32
_1 Bool
_2
createSecretChat ::
Member TDLib r =>
I32 ->
Sem r (Error ∪ Chat)
createSecretChat :: I32 -> Sem r (Error ∪ Chat)
createSecretChat _1 :: I32
_1 = CreateSecretChat -> Sem r (Error ∪ Chat)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (CreateSecretChat -> Sem r (Error ∪ Chat))
-> CreateSecretChat -> Sem r (Error ∪ Chat)
forall a b. (a -> b) -> a -> b
$ I32 -> CreateSecretChat
CreateSecretChat I32
_1
createNewBasicGroupChat ::
Member TDLib r =>
[I32] ->
T ->
Sem r (Error ∪ Chat)
createNewBasicGroupChat :: [I32] -> T -> Sem r (Error ∪ Chat)
createNewBasicGroupChat _1 :: [I32]
_1 _2 :: T
_2 = CreateNewBasicGroupChat -> Sem r (Error ∪ Chat)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (CreateNewBasicGroupChat -> Sem r (Error ∪ Chat))
-> CreateNewBasicGroupChat -> Sem r (Error ∪ Chat)
forall a b. (a -> b) -> a -> b
$ [I32] -> T -> CreateNewBasicGroupChat
CreateNewBasicGroupChat [I32]
_1 T
_2
createNewSupergroupChat ::
Member TDLib r =>
T ->
Bool ->
T ->
ChatLocation ->
Sem r (Error ∪ Chat)
createNewSupergroupChat :: T -> Bool -> T -> ChatLocation -> Sem r (Error ∪ Chat)
createNewSupergroupChat _1 :: T
_1 _2 :: Bool
_2 _3 :: T
_3 _4 :: ChatLocation
_4 = CreateNewSupergroupChat -> Sem r (Error ∪ Chat)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (CreateNewSupergroupChat -> Sem r (Error ∪ Chat))
-> CreateNewSupergroupChat -> Sem r (Error ∪ Chat)
forall a b. (a -> b) -> a -> b
$ T -> Bool -> T -> ChatLocation -> CreateNewSupergroupChat
CreateNewSupergroupChat T
_1 Bool
_2 T
_3 ChatLocation
_4
createNewSecretChat ::
Member TDLib r =>
I32 ->
Sem r (Error ∪ Chat)
createNewSecretChat :: I32 -> Sem r (Error ∪ Chat)
createNewSecretChat _1 :: I32
_1 = CreateNewSecretChat -> Sem r (Error ∪ Chat)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (CreateNewSecretChat -> Sem r (Error ∪ Chat))
-> CreateNewSecretChat -> Sem r (Error ∪ Chat)
forall a b. (a -> b) -> a -> b
$ I32 -> CreateNewSecretChat
CreateNewSecretChat I32
_1
upgradeBasicGroupChatToSupergroupChat ::
Member TDLib r =>
I53 ->
Sem r (Error ∪ Chat)
upgradeBasicGroupChatToSupergroupChat :: I32 -> Sem r (Error ∪ Chat)
upgradeBasicGroupChatToSupergroupChat _1 :: I32
_1 = UpgradeBasicGroupChatToSupergroupChat -> Sem r (Error ∪ Chat)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (UpgradeBasicGroupChatToSupergroupChat -> Sem r (Error ∪ Chat))
-> UpgradeBasicGroupChatToSupergroupChat -> Sem r (Error ∪ Chat)
forall a b. (a -> b) -> a -> b
$ I32 -> UpgradeBasicGroupChatToSupergroupChat
UpgradeBasicGroupChatToSupergroupChat I32
_1
getChatListsToAddChat ::
Member TDLib r =>
I53 ->
Sem r (Error ∪ ChatLists)
getChatListsToAddChat :: I32 -> Sem r (Error ∪ ChatLists)
getChatListsToAddChat _1 :: I32
_1 = GetChatListsToAddChat -> Sem r (Error ∪ ChatLists)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetChatListsToAddChat -> Sem r (Error ∪ ChatLists))
-> GetChatListsToAddChat -> Sem r (Error ∪ ChatLists)
forall a b. (a -> b) -> a -> b
$ I32 -> GetChatListsToAddChat
GetChatListsToAddChat I32
_1
addChatToList ::
Member TDLib r =>
I53 ->
ChatList ->
Sem r (Error ∪ Ok)
addChatToList :: I32 -> ChatList -> Sem r (Error ∪ Ok)
addChatToList _1 :: I32
_1 _2 :: ChatList
_2 = AddChatToList -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (AddChatToList -> Sem r (Error ∪ Ok))
-> AddChatToList -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I32 -> ChatList -> AddChatToList
AddChatToList I32
_1 ChatList
_2
getChatFilter ::
Member TDLib r =>
I32 ->
Sem r (Error ∪ ChatFilter)
getChatFilter :: I32 -> Sem r (Error ∪ ChatFilter)
getChatFilter _1 :: I32
_1 = GetChatFilter -> Sem r (Error ∪ ChatFilter)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetChatFilter -> Sem r (Error ∪ ChatFilter))
-> GetChatFilter -> Sem r (Error ∪ ChatFilter)
forall a b. (a -> b) -> a -> b
$ I32 -> GetChatFilter
GetChatFilter I32
_1
createChatFilter ::
Member TDLib r =>
ChatFilter ->
Sem r (Error ∪ ChatFilterInfo)
createChatFilter :: ChatFilter -> Sem r (Error ∪ ChatFilterInfo)
createChatFilter _1 :: ChatFilter
_1 = CreateChatFilter -> Sem r (Error ∪ ChatFilterInfo)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (CreateChatFilter -> Sem r (Error ∪ ChatFilterInfo))
-> CreateChatFilter -> Sem r (Error ∪ ChatFilterInfo)
forall a b. (a -> b) -> a -> b
$ ChatFilter -> CreateChatFilter
CreateChatFilter ChatFilter
_1
editChatFilter ::
Member TDLib r =>
I32 ->
ChatFilter ->
Sem r (Error ∪ ChatFilterInfo)
editChatFilter :: I32 -> ChatFilter -> Sem r (Error ∪ ChatFilterInfo)
editChatFilter _1 :: I32
_1 _2 :: ChatFilter
_2 = EditChatFilter -> Sem r (Error ∪ ChatFilterInfo)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (EditChatFilter -> Sem r (Error ∪ ChatFilterInfo))
-> EditChatFilter -> Sem r (Error ∪ ChatFilterInfo)
forall a b. (a -> b) -> a -> b
$ I32 -> ChatFilter -> EditChatFilter
EditChatFilter I32
_1 ChatFilter
_2
deleteChatFilter ::
Member TDLib r =>
I32 ->
Sem r (Error ∪ Ok)
deleteChatFilter :: I32 -> Sem r (Error ∪ Ok)
deleteChatFilter _1 :: I32
_1 = DeleteChatFilter -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (DeleteChatFilter -> Sem r (Error ∪ Ok))
-> DeleteChatFilter -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I32 -> DeleteChatFilter
DeleteChatFilter I32
_1
reorderChatFilters ::
Member TDLib r =>
[I32] ->
Sem r (Error ∪ Ok)
reorderChatFilters :: [I32] -> Sem r (Error ∪ Ok)
reorderChatFilters _1 :: [I32]
_1 = ReorderChatFilters -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (ReorderChatFilters -> Sem r (Error ∪ Ok))
-> ReorderChatFilters -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ [I32] -> ReorderChatFilters
ReorderChatFilters [I32]
_1
getRecommendedChatFilters ::
Member TDLib r =>
Sem r (Error ∪ RecommendedChatFilters)
getRecommendedChatFilters :: Sem r (Error ∪ RecommendedChatFilters)
getRecommendedChatFilters = GetRecommendedChatFilters -> Sem r (Error ∪ RecommendedChatFilters)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetRecommendedChatFilters
-> Sem r (Error ∪ RecommendedChatFilters))
-> GetRecommendedChatFilters
-> Sem r (Error ∪ RecommendedChatFilters)
forall a b. (a -> b) -> a -> b
$ GetRecommendedChatFilters
GetRecommendedChatFilters
getChatFilterDefaultIconName ::
Member TDLib r =>
ChatFilter ->
Sem r (Error ∪ Text)
getChatFilterDefaultIconName :: ChatFilter -> Sem r (Error ∪ Text)
getChatFilterDefaultIconName _1 :: ChatFilter
_1 = GetChatFilterDefaultIconName -> Sem r (Error ∪ Text)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetChatFilterDefaultIconName -> Sem r (Error ∪ Text))
-> GetChatFilterDefaultIconName -> Sem r (Error ∪ Text)
forall a b. (a -> b) -> a -> b
$ ChatFilter -> GetChatFilterDefaultIconName
GetChatFilterDefaultIconName ChatFilter
_1
setChatTitle ::
Member TDLib r =>
I53 ->
T ->
Sem r (Error ∪ Ok)
setChatTitle :: I32 -> T -> Sem r (Error ∪ Ok)
setChatTitle _1 :: I32
_1 _2 :: T
_2 = SetChatTitle -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SetChatTitle -> Sem r (Error ∪ Ok))
-> SetChatTitle -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I32 -> T -> SetChatTitle
SetChatTitle I32
_1 T
_2
setChatPhoto ::
Member TDLib r =>
I53 ->
InputFile ->
Sem r (Error ∪ Ok)
setChatPhoto :: I32 -> InputFile -> Sem r (Error ∪ Ok)
setChatPhoto _1 :: I32
_1 _2 :: InputFile
_2 = SetChatPhoto -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SetChatPhoto -> Sem r (Error ∪ Ok))
-> SetChatPhoto -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I32 -> InputFile -> SetChatPhoto
SetChatPhoto I32
_1 InputFile
_2
setChatPermissions ::
Member TDLib r =>
I53 ->
ChatPermissions ->
Sem r (Error ∪ Ok)
setChatPermissions :: I32 -> ChatPermissions -> Sem r (Error ∪ Ok)
setChatPermissions _1 :: I32
_1 _2 :: ChatPermissions
_2 = SetChatPermissions -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SetChatPermissions -> Sem r (Error ∪ Ok))
-> SetChatPermissions -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I32 -> ChatPermissions -> SetChatPermissions
SetChatPermissions I32
_1 ChatPermissions
_2
setChatDraftMessage ::
Member TDLib r =>
I53 ->
(Maybe) (DraftMessage) ->
Sem r (Error ∪ Ok)
setChatDraftMessage :: I32 -> Maybe DraftMessage -> Sem r (Error ∪ Ok)
setChatDraftMessage _1 :: I32
_1 _2 :: Maybe DraftMessage
_2 = SetChatDraftMessage -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SetChatDraftMessage -> Sem r (Error ∪ Ok))
-> SetChatDraftMessage -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I32 -> Maybe DraftMessage -> SetChatDraftMessage
SetChatDraftMessage I32
_1 Maybe DraftMessage
_2
setChatNotificationSettings ::
Member TDLib r =>
I53 ->
ChatNotificationSettings ->
Sem r (Error ∪ Ok)
setChatNotificationSettings :: I32 -> ChatNotificationSettings -> Sem r (Error ∪ Ok)
setChatNotificationSettings _1 :: I32
_1 _2 :: ChatNotificationSettings
_2 = SetChatNotificationSettings -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SetChatNotificationSettings -> Sem r (Error ∪ Ok))
-> SetChatNotificationSettings -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I32 -> ChatNotificationSettings -> SetChatNotificationSettings
SetChatNotificationSettings I32
_1 ChatNotificationSettings
_2
toggleChatIsMarkedAsUnread ::
Member TDLib r =>
I53 ->
Bool ->
Sem r (Error ∪ Ok)
toggleChatIsMarkedAsUnread :: I32 -> Bool -> Sem r (Error ∪ Ok)
toggleChatIsMarkedAsUnread _1 :: I32
_1 _2 :: Bool
_2 = ToggleChatIsMarkedAsUnread -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (ToggleChatIsMarkedAsUnread -> Sem r (Error ∪ Ok))
-> ToggleChatIsMarkedAsUnread -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I32 -> Bool -> ToggleChatIsMarkedAsUnread
ToggleChatIsMarkedAsUnread I32
_1 Bool
_2
toggleChatDefaultDisableNotification ::
Member TDLib r =>
I53 ->
Bool ->
Sem r (Error ∪ Ok)
toggleChatDefaultDisableNotification :: I32 -> Bool -> Sem r (Error ∪ Ok)
toggleChatDefaultDisableNotification _1 :: I32
_1 _2 :: Bool
_2 = ToggleChatDefaultDisableNotification -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (ToggleChatDefaultDisableNotification -> Sem r (Error ∪ Ok))
-> ToggleChatDefaultDisableNotification -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I32 -> Bool -> ToggleChatDefaultDisableNotification
ToggleChatDefaultDisableNotification I32
_1 Bool
_2
setChatClientData ::
Member TDLib r =>
I53 ->
T ->
Sem r (Error ∪ Ok)
setChatClientData :: I32 -> T -> Sem r (Error ∪ Ok)
setChatClientData _1 :: I32
_1 _2 :: T
_2 = SetChatClientData -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SetChatClientData -> Sem r (Error ∪ Ok))
-> SetChatClientData -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I32 -> T -> SetChatClientData
SetChatClientData I32
_1 T
_2
setChatDescription ::
Member TDLib r =>
I53 ->
T ->
Sem r (Error ∪ Ok)
setChatDescription :: I32 -> T -> Sem r (Error ∪ Ok)
setChatDescription _1 :: I32
_1 _2 :: T
_2 = SetChatDescription -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SetChatDescription -> Sem r (Error ∪ Ok))
-> SetChatDescription -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I32 -> T -> SetChatDescription
SetChatDescription I32
_1 T
_2
setChatDiscussionGroup ::
Member TDLib r =>
I53 ->
I53 ->
Sem r (Error ∪ Ok)
setChatDiscussionGroup :: I32 -> I32 -> Sem r (Error ∪ Ok)
setChatDiscussionGroup _1 :: I32
_1 _2 :: I32
_2 = SetChatDiscussionGroup -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SetChatDiscussionGroup -> Sem r (Error ∪ Ok))
-> SetChatDiscussionGroup -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I32 -> I32 -> SetChatDiscussionGroup
SetChatDiscussionGroup I32
_1 I32
_2
setChatLocation ::
Member TDLib r =>
I53 ->
ChatLocation ->
Sem r (Error ∪ Ok)
setChatLocation :: I32 -> ChatLocation -> Sem r (Error ∪ Ok)
setChatLocation _1 :: I32
_1 _2 :: ChatLocation
_2 = SetChatLocation -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SetChatLocation -> Sem r (Error ∪ Ok))
-> SetChatLocation -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I32 -> ChatLocation -> SetChatLocation
SetChatLocation I32
_1 ChatLocation
_2
setChatSlowModeDelay ::
Member TDLib r =>
I53 ->
I32 ->
Sem r (Error ∪ Ok)
setChatSlowModeDelay :: I32 -> I32 -> Sem r (Error ∪ Ok)
setChatSlowModeDelay _1 :: I32
_1 _2 :: I32
_2 = SetChatSlowModeDelay -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SetChatSlowModeDelay -> Sem r (Error ∪ Ok))
-> SetChatSlowModeDelay -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I32 -> I32 -> SetChatSlowModeDelay
SetChatSlowModeDelay I32
_1 I32
_2
pinChatMessage ::
Member TDLib r =>
I53 ->
I53 ->
Bool ->
Sem r (Error ∪ Ok)
pinChatMessage :: I32 -> I32 -> Bool -> Sem r (Error ∪ Ok)
pinChatMessage _1 :: I32
_1 _2 :: I32
_2 _3 :: Bool
_3 = PinChatMessage -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (PinChatMessage -> Sem r (Error ∪ Ok))
-> PinChatMessage -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I32 -> I32 -> Bool -> PinChatMessage
PinChatMessage I32
_1 I32
_2 Bool
_3
unpinChatMessage ::
Member TDLib r =>
I53 ->
Sem r (Error ∪ Ok)
unpinChatMessage :: I32 -> Sem r (Error ∪ Ok)
unpinChatMessage _1 :: I32
_1 = UnpinChatMessage -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (UnpinChatMessage -> Sem r (Error ∪ Ok))
-> UnpinChatMessage -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I32 -> UnpinChatMessage
UnpinChatMessage I32
_1
joinChat ::
Member TDLib r =>
I53 ->
Sem r (Error ∪ Ok)
joinChat :: I32 -> Sem r (Error ∪ Ok)
joinChat _1 :: I32
_1 = JoinChat -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (JoinChat -> Sem r (Error ∪ Ok)) -> JoinChat -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I32 -> JoinChat
JoinChat I32
_1
leaveChat ::
Member TDLib r =>
I53 ->
Sem r (Error ∪ Ok)
leaveChat :: I32 -> Sem r (Error ∪ Ok)
leaveChat _1 :: I32
_1 = LeaveChat -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (LeaveChat -> Sem r (Error ∪ Ok))
-> LeaveChat -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I32 -> LeaveChat
LeaveChat I32
_1
addChatMember ::
Member TDLib r =>
I53 ->
I32 ->
I32 ->
Sem r (Error ∪ Ok)
addChatMember :: I32 -> I32 -> I32 -> Sem r (Error ∪ Ok)
addChatMember _1 :: I32
_1 _2 :: I32
_2 _3 :: I32
_3 = AddChatMember -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (AddChatMember -> Sem r (Error ∪ Ok))
-> AddChatMember -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I32 -> I32 -> I32 -> AddChatMember
AddChatMember I32
_1 I32
_2 I32
_3
addChatMembers ::
Member TDLib r =>
I53 ->
[I32] ->
Sem r (Error ∪ Ok)
addChatMembers :: I32 -> [I32] -> Sem r (Error ∪ Ok)
addChatMembers _1 :: I32
_1 _2 :: [I32]
_2 = AddChatMembers -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (AddChatMembers -> Sem r (Error ∪ Ok))
-> AddChatMembers -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I32 -> [I32] -> AddChatMembers
AddChatMembers I32
_1 [I32]
_2
setChatMemberStatus ::
Member TDLib r =>
I53 ->
I32 ->
ChatMemberStatus ->
Sem r (Error ∪ Ok)
setChatMemberStatus :: I32 -> I32 -> ChatMemberStatus -> Sem r (Error ∪ Ok)
setChatMemberStatus _1 :: I32
_1 _2 :: I32
_2 _3 :: ChatMemberStatus
_3 = SetChatMemberStatus -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SetChatMemberStatus -> Sem r (Error ∪ Ok))
-> SetChatMemberStatus -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I32 -> I32 -> ChatMemberStatus -> SetChatMemberStatus
SetChatMemberStatus I32
_1 I32
_2 ChatMemberStatus
_3
canTransferOwnership ::
Member TDLib r =>
Sem r (Error ∪ CanTransferOwnershipResult)
canTransferOwnership :: Sem r (Error ∪ CanTransferOwnershipResult)
canTransferOwnership = CanTransferOwnership -> Sem r (Error ∪ CanTransferOwnershipResult)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (CanTransferOwnership
-> Sem r (Error ∪ CanTransferOwnershipResult))
-> CanTransferOwnership
-> Sem r (Error ∪ CanTransferOwnershipResult)
forall a b. (a -> b) -> a -> b
$ CanTransferOwnership
CanTransferOwnership
transferChatOwnership ::
Member TDLib r =>
I53 ->
I32 ->
T ->
Sem r (Error ∪ Ok)
transferChatOwnership :: I32 -> I32 -> T -> Sem r (Error ∪ Ok)
transferChatOwnership _1 :: I32
_1 _2 :: I32
_2 _3 :: T
_3 = TransferChatOwnership -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (TransferChatOwnership -> Sem r (Error ∪ Ok))
-> TransferChatOwnership -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I32 -> I32 -> T -> TransferChatOwnership
TransferChatOwnership I32
_1 I32
_2 T
_3
getChatMember ::
Member TDLib r =>
I53 ->
I32 ->
Sem r (Error ∪ ChatMember)
getChatMember :: I32 -> I32 -> Sem r (Error ∪ ChatMember)
getChatMember _1 :: I32
_1 _2 :: I32
_2 = GetChatMember -> Sem r (Error ∪ ChatMember)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetChatMember -> Sem r (Error ∪ ChatMember))
-> GetChatMember -> Sem r (Error ∪ ChatMember)
forall a b. (a -> b) -> a -> b
$ I32 -> I32 -> GetChatMember
GetChatMember I32
_1 I32
_2
searchChatMembers ::
Member TDLib r =>
I53 ->
T ->
I32 ->
ChatMembersFilter ->
Sem r (Error ∪ ChatMembers)
searchChatMembers :: I32 -> T -> I32 -> ChatMembersFilter -> Sem r (Error ∪ ChatMembers)
searchChatMembers _1 :: I32
_1 _2 :: T
_2 _3 :: I32
_3 _4 :: ChatMembersFilter
_4 = SearchChatMembers -> Sem r (Error ∪ ChatMembers)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SearchChatMembers -> Sem r (Error ∪ ChatMembers))
-> SearchChatMembers -> Sem r (Error ∪ ChatMembers)
forall a b. (a -> b) -> a -> b
$ I32 -> T -> I32 -> ChatMembersFilter -> SearchChatMembers
SearchChatMembers I32
_1 T
_2 I32
_3 ChatMembersFilter
_4
getChatAdministrators ::
Member TDLib r =>
I53 ->
Sem r (Error ∪ ChatAdministrators)
getChatAdministrators :: I32 -> Sem r (Error ∪ ChatAdministrators)
getChatAdministrators _1 :: I32
_1 = GetChatAdministrators -> Sem r (Error ∪ ChatAdministrators)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetChatAdministrators -> Sem r (Error ∪ ChatAdministrators))
-> GetChatAdministrators -> Sem r (Error ∪ ChatAdministrators)
forall a b. (a -> b) -> a -> b
$ I32 -> GetChatAdministrators
GetChatAdministrators I32
_1
clearAllDraftMessages ::
Member TDLib r =>
Bool ->
Sem r (Error ∪ Ok)
clearAllDraftMessages :: Bool -> Sem r (Error ∪ Ok)
clearAllDraftMessages _1 :: Bool
_1 = ClearAllDraftMessages -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (ClearAllDraftMessages -> Sem r (Error ∪ Ok))
-> ClearAllDraftMessages -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ Bool -> ClearAllDraftMessages
ClearAllDraftMessages Bool
_1
getChatNotificationSettingsExceptions ::
Member TDLib r =>
NotificationSettingsScope ->
Bool ->
Sem r (Error ∪ Chats)
getChatNotificationSettingsExceptions :: NotificationSettingsScope -> Bool -> Sem r (Error ∪ Chats)
getChatNotificationSettingsExceptions _1 :: NotificationSettingsScope
_1 _2 :: Bool
_2 = GetChatNotificationSettingsExceptions -> Sem r (Error ∪ Chats)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetChatNotificationSettingsExceptions -> Sem r (Error ∪ Chats))
-> GetChatNotificationSettingsExceptions -> Sem r (Error ∪ Chats)
forall a b. (a -> b) -> a -> b
$ NotificationSettingsScope
-> Bool -> GetChatNotificationSettingsExceptions
GetChatNotificationSettingsExceptions NotificationSettingsScope
_1 Bool
_2
getScopeNotificationSettings ::
Member TDLib r =>
NotificationSettingsScope ->
Sem r (Error ∪ ScopeNotificationSettings)
getScopeNotificationSettings :: NotificationSettingsScope
-> Sem r (Error ∪ ScopeNotificationSettings)
getScopeNotificationSettings _1 :: NotificationSettingsScope
_1 = GetScopeNotificationSettings
-> Sem r (Error ∪ ScopeNotificationSettings)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetScopeNotificationSettings
-> Sem r (Error ∪ ScopeNotificationSettings))
-> GetScopeNotificationSettings
-> Sem r (Error ∪ ScopeNotificationSettings)
forall a b. (a -> b) -> a -> b
$ NotificationSettingsScope -> GetScopeNotificationSettings
GetScopeNotificationSettings NotificationSettingsScope
_1
setScopeNotificationSettings ::
Member TDLib r =>
NotificationSettingsScope ->
ScopeNotificationSettings ->
Sem r (Error ∪ Ok)
setScopeNotificationSettings :: NotificationSettingsScope
-> ScopeNotificationSettings -> Sem r (Error ∪ Ok)
setScopeNotificationSettings _1 :: NotificationSettingsScope
_1 _2 :: ScopeNotificationSettings
_2 = SetScopeNotificationSettings -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SetScopeNotificationSettings -> Sem r (Error ∪ Ok))
-> SetScopeNotificationSettings -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ NotificationSettingsScope
-> ScopeNotificationSettings -> SetScopeNotificationSettings
SetScopeNotificationSettings NotificationSettingsScope
_1 ScopeNotificationSettings
_2
resetAllNotificationSettings ::
Member TDLib r =>
Sem r (Error ∪ Ok)
resetAllNotificationSettings :: Sem r (Error ∪ Ok)
resetAllNotificationSettings = ResetAllNotificationSettings -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (ResetAllNotificationSettings -> Sem r (Error ∪ Ok))
-> ResetAllNotificationSettings -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ ResetAllNotificationSettings
ResetAllNotificationSettings
toggleChatIsPinned ::
Member TDLib r =>
ChatList ->
I53 ->
Bool ->
Sem r (Error ∪ Ok)
toggleChatIsPinned :: ChatList -> I32 -> Bool -> Sem r (Error ∪ Ok)
toggleChatIsPinned _1 :: ChatList
_1 _2 :: I32
_2 _3 :: Bool
_3 = ToggleChatIsPinned -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (ToggleChatIsPinned -> Sem r (Error ∪ Ok))
-> ToggleChatIsPinned -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ ChatList -> I32 -> Bool -> ToggleChatIsPinned
ToggleChatIsPinned ChatList
_1 I32
_2 Bool
_3
setPinnedChats ::
Member TDLib r =>
ChatList ->
[I53] ->
Sem r (Error ∪ Ok)
setPinnedChats :: ChatList -> [I32] -> Sem r (Error ∪ Ok)
setPinnedChats _1 :: ChatList
_1 _2 :: [I32]
_2 = SetPinnedChats -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SetPinnedChats -> Sem r (Error ∪ Ok))
-> SetPinnedChats -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ ChatList -> [I32] -> SetPinnedChats
SetPinnedChats ChatList
_1 [I32]
_2
downloadFile ::
Member TDLib r =>
I32 ->
I32 ->
I32 ->
I32 ->
Bool ->
Sem r (Error ∪ File)
downloadFile :: I32 -> I32 -> I32 -> I32 -> Bool -> Sem r (Error ∪ File)
downloadFile _1 :: I32
_1 _2 :: I32
_2 _3 :: I32
_3 _4 :: I32
_4 _5 :: Bool
_5 = DownloadFile -> Sem r (Error ∪ File)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (DownloadFile -> Sem r (Error ∪ File))
-> DownloadFile -> Sem r (Error ∪ File)
forall a b. (a -> b) -> a -> b
$ I32 -> I32 -> I32 -> I32 -> Bool -> DownloadFile
DownloadFile I32
_1 I32
_2 I32
_3 I32
_4 Bool
_5
getFileDownloadedPrefixSize ::
Member TDLib r =>
I32 ->
I32 ->
Sem r (Error ∪ Count)
getFileDownloadedPrefixSize :: I32 -> I32 -> Sem r (Error ∪ Count)
getFileDownloadedPrefixSize _1 :: I32
_1 _2 :: I32
_2 = GetFileDownloadedPrefixSize -> Sem r (Error ∪ Count)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetFileDownloadedPrefixSize -> Sem r (Error ∪ Count))
-> GetFileDownloadedPrefixSize -> Sem r (Error ∪ Count)
forall a b. (a -> b) -> a -> b
$ I32 -> I32 -> GetFileDownloadedPrefixSize
GetFileDownloadedPrefixSize I32
_1 I32
_2
cancelDownloadFile ::
Member TDLib r =>
I32 ->
Bool ->
Sem r (Error ∪ Ok)
cancelDownloadFile :: I32 -> Bool -> Sem r (Error ∪ Ok)
cancelDownloadFile _1 :: I32
_1 _2 :: Bool
_2 = CancelDownloadFile -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (CancelDownloadFile -> Sem r (Error ∪ Ok))
-> CancelDownloadFile -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I32 -> Bool -> CancelDownloadFile
CancelDownloadFile I32
_1 Bool
_2
uploadFile ::
Member TDLib r =>
InputFile ->
FileType ->
I32 ->
Sem r (Error ∪ File)
uploadFile :: InputFile -> FileType -> I32 -> Sem r (Error ∪ File)
uploadFile _1 :: InputFile
_1 _2 :: FileType
_2 _3 :: I32
_3 = UploadFile -> Sem r (Error ∪ File)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (UploadFile -> Sem r (Error ∪ File))
-> UploadFile -> Sem r (Error ∪ File)
forall a b. (a -> b) -> a -> b
$ InputFile -> FileType -> I32 -> UploadFile
UploadFile InputFile
_1 FileType
_2 I32
_3
cancelUploadFile ::
Member TDLib r =>
I32 ->
Sem r (Error ∪ Ok)
cancelUploadFile :: I32 -> Sem r (Error ∪ Ok)
cancelUploadFile _1 :: I32
_1 = CancelUploadFile -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (CancelUploadFile -> Sem r (Error ∪ Ok))
-> CancelUploadFile -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I32 -> CancelUploadFile
CancelUploadFile I32
_1
writeGeneratedFilePart ::
Member TDLib r =>
I64 ->
I32 ->
ByteString64 ->
Sem r (Error ∪ Ok)
writeGeneratedFilePart :: I64 -> I32 -> ByteString64 -> Sem r (Error ∪ Ok)
writeGeneratedFilePart _1 :: I64
_1 _2 :: I32
_2 _3 :: ByteString64
_3 = WriteGeneratedFilePart -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (WriteGeneratedFilePart -> Sem r (Error ∪ Ok))
-> WriteGeneratedFilePart -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I64 -> I32 -> ByteString64 -> WriteGeneratedFilePart
WriteGeneratedFilePart I64
_1 I32
_2 ByteString64
_3
setFileGenerationProgress ::
Member TDLib r =>
I64 ->
I32 ->
I32 ->
Sem r (Error ∪ Ok)
setFileGenerationProgress :: I64 -> I32 -> I32 -> Sem r (Error ∪ Ok)
setFileGenerationProgress _1 :: I64
_1 _2 :: I32
_2 _3 :: I32
_3 = SetFileGenerationProgress -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SetFileGenerationProgress -> Sem r (Error ∪ Ok))
-> SetFileGenerationProgress -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I64 -> I32 -> I32 -> SetFileGenerationProgress
SetFileGenerationProgress I64
_1 I32
_2 I32
_3
finishFileGeneration ::
Member TDLib r =>
I64 ->
Error ->
Sem r (Error ∪ Ok)
finishFileGeneration :: I64 -> Error -> Sem r (Error ∪ Ok)
finishFileGeneration _1 :: I64
_1 _2 :: Error
_2 = FinishFileGeneration -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (FinishFileGeneration -> Sem r (Error ∪ Ok))
-> FinishFileGeneration -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I64 -> Error -> FinishFileGeneration
FinishFileGeneration I64
_1 Error
_2
readFilePart ::
Member TDLib r =>
I32 ->
I32 ->
I32 ->
Sem r (Error ∪ FilePart)
readFilePart :: I32 -> I32 -> I32 -> Sem r (Error ∪ FilePart)
readFilePart _1 :: I32
_1 _2 :: I32
_2 _3 :: I32
_3 = ReadFilePart -> Sem r (Error ∪ FilePart)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (ReadFilePart -> Sem r (Error ∪ FilePart))
-> ReadFilePart -> Sem r (Error ∪ FilePart)
forall a b. (a -> b) -> a -> b
$ I32 -> I32 -> I32 -> ReadFilePart
ReadFilePart I32
_1 I32
_2 I32
_3
deleteFile ::
Member TDLib r =>
I32 ->
Sem r (Error ∪ Ok)
deleteFile :: I32 -> Sem r (Error ∪ Ok)
deleteFile _1 :: I32
_1 = DeleteFile -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (DeleteFile -> Sem r (Error ∪ Ok))
-> DeleteFile -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I32 -> DeleteFile
DeleteFile I32
_1
generateChatInviteLink ::
Member TDLib r =>
I53 ->
Sem r (Error ∪ ChatInviteLink)
generateChatInviteLink :: I32 -> Sem r (Error ∪ ChatInviteLink)
generateChatInviteLink _1 :: I32
_1 = GenerateChatInviteLink -> Sem r (Error ∪ ChatInviteLink)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GenerateChatInviteLink -> Sem r (Error ∪ ChatInviteLink))
-> GenerateChatInviteLink -> Sem r (Error ∪ ChatInviteLink)
forall a b. (a -> b) -> a -> b
$ I32 -> GenerateChatInviteLink
GenerateChatInviteLink I32
_1
checkChatInviteLink ::
Member TDLib r =>
T ->
Sem r (Error ∪ ChatInviteLinkInfo)
checkChatInviteLink :: T -> Sem r (Error ∪ ChatInviteLinkInfo)
checkChatInviteLink _1 :: T
_1 = CheckChatInviteLink -> Sem r (Error ∪ ChatInviteLinkInfo)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (CheckChatInviteLink -> Sem r (Error ∪ ChatInviteLinkInfo))
-> CheckChatInviteLink -> Sem r (Error ∪ ChatInviteLinkInfo)
forall a b. (a -> b) -> a -> b
$ T -> CheckChatInviteLink
CheckChatInviteLink T
_1
joinChatByInviteLink ::
Member TDLib r =>
T ->
Sem r (Error ∪ Chat)
joinChatByInviteLink :: T -> Sem r (Error ∪ Chat)
joinChatByInviteLink _1 :: T
_1 = JoinChatByInviteLink -> Sem r (Error ∪ Chat)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (JoinChatByInviteLink -> Sem r (Error ∪ Chat))
-> JoinChatByInviteLink -> Sem r (Error ∪ Chat)
forall a b. (a -> b) -> a -> b
$ T -> JoinChatByInviteLink
JoinChatByInviteLink T
_1
createCall ::
Member TDLib r =>
I32 ->
CallProtocol ->
Sem r (Error ∪ CallId)
createCall :: I32 -> CallProtocol -> Sem r (Error ∪ CallId)
createCall _1 :: I32
_1 _2 :: CallProtocol
_2 = CreateCall -> Sem r (Error ∪ CallId)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (CreateCall -> Sem r (Error ∪ CallId))
-> CreateCall -> Sem r (Error ∪ CallId)
forall a b. (a -> b) -> a -> b
$ I32 -> CallProtocol -> CreateCall
CreateCall I32
_1 CallProtocol
_2
acceptCall ::
Member TDLib r =>
I32 ->
CallProtocol ->
Sem r (Error ∪ Ok)
acceptCall :: I32 -> CallProtocol -> Sem r (Error ∪ Ok)
acceptCall _1 :: I32
_1 _2 :: CallProtocol
_2 = AcceptCall -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (AcceptCall -> Sem r (Error ∪ Ok))
-> AcceptCall -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I32 -> CallProtocol -> AcceptCall
AcceptCall I32
_1 CallProtocol
_2
discardCall ::
Member TDLib r =>
I32 ->
Bool ->
I32 ->
I64 ->
Sem r (Error ∪ Ok)
discardCall :: I32 -> Bool -> I32 -> I64 -> Sem r (Error ∪ Ok)
discardCall _1 :: I32
_1 _2 :: Bool
_2 _3 :: I32
_3 _4 :: I64
_4 = DiscardCall -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (DiscardCall -> Sem r (Error ∪ Ok))
-> DiscardCall -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I32 -> Bool -> I32 -> I64 -> DiscardCall
DiscardCall I32
_1 Bool
_2 I32
_3 I64
_4
sendCallRating ::
Member TDLib r =>
I32 ->
I32 ->
T ->
[CallProblem] ->
Sem r (Error ∪ Ok)
sendCallRating :: I32 -> I32 -> T -> [CallProblem] -> Sem r (Error ∪ Ok)
sendCallRating _1 :: I32
_1 _2 :: I32
_2 _3 :: T
_3 _4 :: [CallProblem]
_4 = SendCallRating -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SendCallRating -> Sem r (Error ∪ Ok))
-> SendCallRating -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I32 -> I32 -> T -> [CallProblem] -> SendCallRating
SendCallRating I32
_1 I32
_2 T
_3 [CallProblem]
_4
sendCallDebugInformation ::
Member TDLib r =>
I32 ->
T ->
Sem r (Error ∪ Ok)
sendCallDebugInformation :: I32 -> T -> Sem r (Error ∪ Ok)
sendCallDebugInformation _1 :: I32
_1 _2 :: T
_2 = SendCallDebugInformation -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SendCallDebugInformation -> Sem r (Error ∪ Ok))
-> SendCallDebugInformation -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I32 -> T -> SendCallDebugInformation
SendCallDebugInformation I32
_1 T
_2
blockUser ::
Member TDLib r =>
I32 ->
Sem r (Error ∪ Ok)
blockUser :: I32 -> Sem r (Error ∪ Ok)
blockUser _1 :: I32
_1 = BlockUser -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (BlockUser -> Sem r (Error ∪ Ok))
-> BlockUser -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I32 -> BlockUser
BlockUser I32
_1
unblockUser ::
Member TDLib r =>
I32 ->
Sem r (Error ∪ Ok)
unblockUser :: I32 -> Sem r (Error ∪ Ok)
unblockUser _1 :: I32
_1 = UnblockUser -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (UnblockUser -> Sem r (Error ∪ Ok))
-> UnblockUser -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I32 -> UnblockUser
UnblockUser I32
_1
getBlockedUsers ::
Member TDLib r =>
I32 ->
I32 ->
Sem r (Error ∪ Users)
getBlockedUsers :: I32 -> I32 -> Sem r (Error ∪ Users)
getBlockedUsers _1 :: I32
_1 _2 :: I32
_2 = GetBlockedUsers -> Sem r (Error ∪ Users)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetBlockedUsers -> Sem r (Error ∪ Users))
-> GetBlockedUsers -> Sem r (Error ∪ Users)
forall a b. (a -> b) -> a -> b
$ I32 -> I32 -> GetBlockedUsers
GetBlockedUsers I32
_1 I32
_2
addContact ::
Member TDLib r =>
Contact ->
Bool ->
Sem r (Error ∪ Ok)
addContact :: Contact -> Bool -> Sem r (Error ∪ Ok)
addContact _1 :: Contact
_1 _2 :: Bool
_2 = AddContact -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (AddContact -> Sem r (Error ∪ Ok))
-> AddContact -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ Contact -> Bool -> AddContact
AddContact Contact
_1 Bool
_2
importContacts ::
Member TDLib r =>
[Contact] ->
Sem r (Error ∪ ImportedContacts)
importContacts :: [Contact] -> Sem r (Error ∪ ImportedContacts)
importContacts _1 :: [Contact]
_1 = ImportContacts -> Sem r (Error ∪ ImportedContacts)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (ImportContacts -> Sem r (Error ∪ ImportedContacts))
-> ImportContacts -> Sem r (Error ∪ ImportedContacts)
forall a b. (a -> b) -> a -> b
$ [Contact] -> ImportContacts
ImportContacts [Contact]
_1
getContacts ::
Member TDLib r =>
Sem r (Error ∪ Users)
getContacts :: Sem r (Error ∪ Users)
getContacts = GetContacts -> Sem r (Error ∪ Users)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetContacts -> Sem r (Error ∪ Users))
-> GetContacts -> Sem r (Error ∪ Users)
forall a b. (a -> b) -> a -> b
$ GetContacts
GetContacts
searchContacts ::
Member TDLib r =>
T ->
I32 ->
Sem r (Error ∪ Users)
searchContacts :: T -> I32 -> Sem r (Error ∪ Users)
searchContacts _1 :: T
_1 _2 :: I32
_2 = SearchContacts -> Sem r (Error ∪ Users)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SearchContacts -> Sem r (Error ∪ Users))
-> SearchContacts -> Sem r (Error ∪ Users)
forall a b. (a -> b) -> a -> b
$ T -> I32 -> SearchContacts
SearchContacts T
_1 I32
_2
removeContacts ::
Member TDLib r =>
[I32] ->
Sem r (Error ∪ Ok)
removeContacts :: [I32] -> Sem r (Error ∪ Ok)
removeContacts _1 :: [I32]
_1 = RemoveContacts -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (RemoveContacts -> Sem r (Error ∪ Ok))
-> RemoveContacts -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ [I32] -> RemoveContacts
RemoveContacts [I32]
_1
getImportedContactCount ::
Member TDLib r =>
Sem r (Error ∪ Count)
getImportedContactCount :: Sem r (Error ∪ Count)
getImportedContactCount = GetImportedContactCount -> Sem r (Error ∪ Count)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetImportedContactCount -> Sem r (Error ∪ Count))
-> GetImportedContactCount -> Sem r (Error ∪ Count)
forall a b. (a -> b) -> a -> b
$ GetImportedContactCount
GetImportedContactCount
changeImportedContacts ::
Member TDLib r =>
[Contact] ->
Sem r (Error ∪ ImportedContacts)
changeImportedContacts :: [Contact] -> Sem r (Error ∪ ImportedContacts)
changeImportedContacts _1 :: [Contact]
_1 = ChangeImportedContacts -> Sem r (Error ∪ ImportedContacts)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (ChangeImportedContacts -> Sem r (Error ∪ ImportedContacts))
-> ChangeImportedContacts -> Sem r (Error ∪ ImportedContacts)
forall a b. (a -> b) -> a -> b
$ [Contact] -> ChangeImportedContacts
ChangeImportedContacts [Contact]
_1
clearImportedContacts ::
Member TDLib r =>
Sem r (Error ∪ Ok)
clearImportedContacts :: Sem r (Error ∪ Ok)
clearImportedContacts = ClearImportedContacts -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (ClearImportedContacts -> Sem r (Error ∪ Ok))
-> ClearImportedContacts -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ ClearImportedContacts
ClearImportedContacts
sharePhoneNumber ::
Member TDLib r =>
I32 ->
Sem r (Error ∪ Ok)
sharePhoneNumber :: I32 -> Sem r (Error ∪ Ok)
sharePhoneNumber _1 :: I32
_1 = SharePhoneNumber -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SharePhoneNumber -> Sem r (Error ∪ Ok))
-> SharePhoneNumber -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I32 -> SharePhoneNumber
SharePhoneNumber I32
_1
getUserProfilePhotos ::
Member TDLib r =>
I32 ->
I32 ->
I32 ->
Sem r (Error ∪ UserProfilePhotos)
getUserProfilePhotos :: I32 -> I32 -> I32 -> Sem r (Error ∪ UserProfilePhotos)
getUserProfilePhotos _1 :: I32
_1 _2 :: I32
_2 _3 :: I32
_3 = GetUserProfilePhotos -> Sem r (Error ∪ UserProfilePhotos)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetUserProfilePhotos -> Sem r (Error ∪ UserProfilePhotos))
-> GetUserProfilePhotos -> Sem r (Error ∪ UserProfilePhotos)
forall a b. (a -> b) -> a -> b
$ I32 -> I32 -> I32 -> GetUserProfilePhotos
GetUserProfilePhotos I32
_1 I32
_2 I32
_3
getStickers ::
Member TDLib r =>
T ->
I32 ->
Sem r (Error ∪ Stickers)
getStickers :: T -> I32 -> Sem r (Error ∪ Stickers)
getStickers _1 :: T
_1 _2 :: I32
_2 = GetStickers -> Sem r (Error ∪ Stickers)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetStickers -> Sem r (Error ∪ Stickers))
-> GetStickers -> Sem r (Error ∪ Stickers)
forall a b. (a -> b) -> a -> b
$ T -> I32 -> GetStickers
GetStickers T
_1 I32
_2
searchStickers ::
Member TDLib r =>
T ->
I32 ->
Sem r (Error ∪ Stickers)
searchStickers :: T -> I32 -> Sem r (Error ∪ Stickers)
searchStickers _1 :: T
_1 _2 :: I32
_2 = SearchStickers -> Sem r (Error ∪ Stickers)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SearchStickers -> Sem r (Error ∪ Stickers))
-> SearchStickers -> Sem r (Error ∪ Stickers)
forall a b. (a -> b) -> a -> b
$ T -> I32 -> SearchStickers
SearchStickers T
_1 I32
_2
getInstalledStickerSets ::
Member TDLib r =>
Bool ->
Sem r (Error ∪ StickerSets)
getInstalledStickerSets :: Bool -> Sem r (Error ∪ StickerSets)
getInstalledStickerSets _1 :: Bool
_1 = GetInstalledStickerSets -> Sem r (Error ∪ StickerSets)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetInstalledStickerSets -> Sem r (Error ∪ StickerSets))
-> GetInstalledStickerSets -> Sem r (Error ∪ StickerSets)
forall a b. (a -> b) -> a -> b
$ Bool -> GetInstalledStickerSets
GetInstalledStickerSets Bool
_1
getArchivedStickerSets ::
Member TDLib r =>
Bool ->
I64 ->
I32 ->
Sem r (Error ∪ StickerSets)
getArchivedStickerSets :: Bool -> I64 -> I32 -> Sem r (Error ∪ StickerSets)
getArchivedStickerSets _1 :: Bool
_1 _2 :: I64
_2 _3 :: I32
_3 = GetArchivedStickerSets -> Sem r (Error ∪ StickerSets)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetArchivedStickerSets -> Sem r (Error ∪ StickerSets))
-> GetArchivedStickerSets -> Sem r (Error ∪ StickerSets)
forall a b. (a -> b) -> a -> b
$ Bool -> I64 -> I32 -> GetArchivedStickerSets
GetArchivedStickerSets Bool
_1 I64
_2 I32
_3
getTrendingStickerSets ::
Member TDLib r =>
I32 ->
I32 ->
Sem r (Error ∪ StickerSets)
getTrendingStickerSets :: I32 -> I32 -> Sem r (Error ∪ StickerSets)
getTrendingStickerSets _1 :: I32
_1 _2 :: I32
_2 = GetTrendingStickerSets -> Sem r (Error ∪ StickerSets)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetTrendingStickerSets -> Sem r (Error ∪ StickerSets))
-> GetTrendingStickerSets -> Sem r (Error ∪ StickerSets)
forall a b. (a -> b) -> a -> b
$ I32 -> I32 -> GetTrendingStickerSets
GetTrendingStickerSets I32
_1 I32
_2
getAttachedStickerSets ::
Member TDLib r =>
I32 ->
Sem r (Error ∪ StickerSets)
getAttachedStickerSets :: I32 -> Sem r (Error ∪ StickerSets)
getAttachedStickerSets _1 :: I32
_1 = GetAttachedStickerSets -> Sem r (Error ∪ StickerSets)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetAttachedStickerSets -> Sem r (Error ∪ StickerSets))
-> GetAttachedStickerSets -> Sem r (Error ∪ StickerSets)
forall a b. (a -> b) -> a -> b
$ I32 -> GetAttachedStickerSets
GetAttachedStickerSets I32
_1
getStickerSet ::
Member TDLib r =>
I64 ->
Sem r (Error ∪ StickerSet)
getStickerSet :: I64 -> Sem r (Error ∪ StickerSet)
getStickerSet _1 :: I64
_1 = GetStickerSet -> Sem r (Error ∪ StickerSet)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetStickerSet -> Sem r (Error ∪ StickerSet))
-> GetStickerSet -> Sem r (Error ∪ StickerSet)
forall a b. (a -> b) -> a -> b
$ I64 -> GetStickerSet
GetStickerSet I64
_1
searchStickerSet ::
Member TDLib r =>
T ->
Sem r (Error ∪ StickerSet)
searchStickerSet :: T -> Sem r (Error ∪ StickerSet)
searchStickerSet _1 :: T
_1 = SearchStickerSet -> Sem r (Error ∪ StickerSet)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SearchStickerSet -> Sem r (Error ∪ StickerSet))
-> SearchStickerSet -> Sem r (Error ∪ StickerSet)
forall a b. (a -> b) -> a -> b
$ T -> SearchStickerSet
SearchStickerSet T
_1
searchInstalledStickerSets ::
Member TDLib r =>
Bool ->
T ->
I32 ->
Sem r (Error ∪ StickerSets)
searchInstalledStickerSets :: Bool -> T -> I32 -> Sem r (Error ∪ StickerSets)
searchInstalledStickerSets _1 :: Bool
_1 _2 :: T
_2 _3 :: I32
_3 = SearchInstalledStickerSets -> Sem r (Error ∪ StickerSets)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SearchInstalledStickerSets -> Sem r (Error ∪ StickerSets))
-> SearchInstalledStickerSets -> Sem r (Error ∪ StickerSets)
forall a b. (a -> b) -> a -> b
$ Bool -> T -> I32 -> SearchInstalledStickerSets
SearchInstalledStickerSets Bool
_1 T
_2 I32
_3
searchStickerSets ::
Member TDLib r =>
T ->
Sem r (Error ∪ StickerSets)
searchStickerSets :: T -> Sem r (Error ∪ StickerSets)
searchStickerSets _1 :: T
_1 = SearchStickerSets -> Sem r (Error ∪ StickerSets)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SearchStickerSets -> Sem r (Error ∪ StickerSets))
-> SearchStickerSets -> Sem r (Error ∪ StickerSets)
forall a b. (a -> b) -> a -> b
$ T -> SearchStickerSets
SearchStickerSets T
_1
changeStickerSet ::
Member TDLib r =>
I64 ->
Bool ->
Bool ->
Sem r (Error ∪ Ok)
changeStickerSet :: I64 -> Bool -> Bool -> Sem r (Error ∪ Ok)
changeStickerSet _1 :: I64
_1 _2 :: Bool
_2 _3 :: Bool
_3 = ChangeStickerSet -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (ChangeStickerSet -> Sem r (Error ∪ Ok))
-> ChangeStickerSet -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I64 -> Bool -> Bool -> ChangeStickerSet
ChangeStickerSet I64
_1 Bool
_2 Bool
_3
viewTrendingStickerSets ::
Member TDLib r =>
[I64] ->
Sem r (Error ∪ Ok)
viewTrendingStickerSets :: [I64] -> Sem r (Error ∪ Ok)
viewTrendingStickerSets _1 :: [I64]
_1 = ViewTrendingStickerSets -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (ViewTrendingStickerSets -> Sem r (Error ∪ Ok))
-> ViewTrendingStickerSets -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ [I64] -> ViewTrendingStickerSets
ViewTrendingStickerSets [I64]
_1
reorderInstalledStickerSets ::
Member TDLib r =>
Bool ->
[I64] ->
Sem r (Error ∪ Ok)
reorderInstalledStickerSets :: Bool -> [I64] -> Sem r (Error ∪ Ok)
reorderInstalledStickerSets _1 :: Bool
_1 _2 :: [I64]
_2 = ReorderInstalledStickerSets -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (ReorderInstalledStickerSets -> Sem r (Error ∪ Ok))
-> ReorderInstalledStickerSets -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ Bool -> [I64] -> ReorderInstalledStickerSets
ReorderInstalledStickerSets Bool
_1 [I64]
_2
getRecentStickers ::
Member TDLib r =>
Bool ->
Sem r (Error ∪ Stickers)
getRecentStickers :: Bool -> Sem r (Error ∪ Stickers)
getRecentStickers _1 :: Bool
_1 = GetRecentStickers -> Sem r (Error ∪ Stickers)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetRecentStickers -> Sem r (Error ∪ Stickers))
-> GetRecentStickers -> Sem r (Error ∪ Stickers)
forall a b. (a -> b) -> a -> b
$ Bool -> GetRecentStickers
GetRecentStickers Bool
_1
addRecentSticker ::
Member TDLib r =>
Bool ->
InputFile ->
Sem r (Error ∪ Stickers)
addRecentSticker :: Bool -> InputFile -> Sem r (Error ∪ Stickers)
addRecentSticker _1 :: Bool
_1 _2 :: InputFile
_2 = AddRecentSticker -> Sem r (Error ∪ Stickers)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (AddRecentSticker -> Sem r (Error ∪ Stickers))
-> AddRecentSticker -> Sem r (Error ∪ Stickers)
forall a b. (a -> b) -> a -> b
$ Bool -> InputFile -> AddRecentSticker
AddRecentSticker Bool
_1 InputFile
_2
removeRecentSticker ::
Member TDLib r =>
Bool ->
InputFile ->
Sem r (Error ∪ Ok)
removeRecentSticker :: Bool -> InputFile -> Sem r (Error ∪ Ok)
removeRecentSticker _1 :: Bool
_1 _2 :: InputFile
_2 = RemoveRecentSticker -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (RemoveRecentSticker -> Sem r (Error ∪ Ok))
-> RemoveRecentSticker -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ Bool -> InputFile -> RemoveRecentSticker
RemoveRecentSticker Bool
_1 InputFile
_2
clearRecentStickers ::
Member TDLib r =>
Bool ->
Sem r (Error ∪ Ok)
clearRecentStickers :: Bool -> Sem r (Error ∪ Ok)
clearRecentStickers _1 :: Bool
_1 = ClearRecentStickers -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (ClearRecentStickers -> Sem r (Error ∪ Ok))
-> ClearRecentStickers -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ Bool -> ClearRecentStickers
ClearRecentStickers Bool
_1
getFavoriteStickers ::
Member TDLib r =>
Sem r (Error ∪ Stickers)
getFavoriteStickers :: Sem r (Error ∪ Stickers)
getFavoriteStickers = GetFavoriteStickers -> Sem r (Error ∪ Stickers)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetFavoriteStickers -> Sem r (Error ∪ Stickers))
-> GetFavoriteStickers -> Sem r (Error ∪ Stickers)
forall a b. (a -> b) -> a -> b
$ GetFavoriteStickers
GetFavoriteStickers
addFavoriteSticker ::
Member TDLib r =>
InputFile ->
Sem r (Error ∪ Ok)
addFavoriteSticker :: InputFile -> Sem r (Error ∪ Ok)
addFavoriteSticker _1 :: InputFile
_1 = AddFavoriteSticker -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (AddFavoriteSticker -> Sem r (Error ∪ Ok))
-> AddFavoriteSticker -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ InputFile -> AddFavoriteSticker
AddFavoriteSticker InputFile
_1
removeFavoriteSticker ::
Member TDLib r =>
InputFile ->
Sem r (Error ∪ Ok)
removeFavoriteSticker :: InputFile -> Sem r (Error ∪ Ok)
removeFavoriteSticker _1 :: InputFile
_1 = RemoveFavoriteSticker -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (RemoveFavoriteSticker -> Sem r (Error ∪ Ok))
-> RemoveFavoriteSticker -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ InputFile -> RemoveFavoriteSticker
RemoveFavoriteSticker InputFile
_1
getStickerEmojis ::
Member TDLib r =>
InputFile ->
Sem r (Error ∪ Emojis)
getStickerEmojis :: InputFile -> Sem r (Error ∪ Emojis)
getStickerEmojis _1 :: InputFile
_1 = GetStickerEmojis -> Sem r (Error ∪ Emojis)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetStickerEmojis -> Sem r (Error ∪ Emojis))
-> GetStickerEmojis -> Sem r (Error ∪ Emojis)
forall a b. (a -> b) -> a -> b
$ InputFile -> GetStickerEmojis
GetStickerEmojis InputFile
_1
searchEmojis ::
Member TDLib r =>
T ->
Bool ->
[T] ->
Sem r (Error ∪ Emojis)
searchEmojis :: T -> Bool -> [T] -> Sem r (Error ∪ Emojis)
searchEmojis _1 :: T
_1 _2 :: Bool
_2 _3 :: [T]
_3 = SearchEmojis -> Sem r (Error ∪ Emojis)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SearchEmojis -> Sem r (Error ∪ Emojis))
-> SearchEmojis -> Sem r (Error ∪ Emojis)
forall a b. (a -> b) -> a -> b
$ T -> Bool -> [T] -> SearchEmojis
SearchEmojis T
_1 Bool
_2 [T]
_3
getEmojiSuggestionsUrl ::
Member TDLib r =>
T ->
Sem r (Error ∪ HttpUrl)
getEmojiSuggestionsUrl :: T -> Sem r (Error ∪ HttpUrl)
getEmojiSuggestionsUrl _1 :: T
_1 = GetEmojiSuggestionsUrl -> Sem r (Error ∪ HttpUrl)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetEmojiSuggestionsUrl -> Sem r (Error ∪ HttpUrl))
-> GetEmojiSuggestionsUrl -> Sem r (Error ∪ HttpUrl)
forall a b. (a -> b) -> a -> b
$ T -> GetEmojiSuggestionsUrl
GetEmojiSuggestionsUrl T
_1
getSavedAnimations ::
Member TDLib r =>
Sem r (Error ∪ Animations)
getSavedAnimations :: Sem r (Error ∪ Animations)
getSavedAnimations = GetSavedAnimations -> Sem r (Error ∪ Animations)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetSavedAnimations -> Sem r (Error ∪ Animations))
-> GetSavedAnimations -> Sem r (Error ∪ Animations)
forall a b. (a -> b) -> a -> b
$ GetSavedAnimations
GetSavedAnimations
addSavedAnimation ::
Member TDLib r =>
InputFile ->
Sem r (Error ∪ Ok)
addSavedAnimation :: InputFile -> Sem r (Error ∪ Ok)
addSavedAnimation _1 :: InputFile
_1 = AddSavedAnimation -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (AddSavedAnimation -> Sem r (Error ∪ Ok))
-> AddSavedAnimation -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ InputFile -> AddSavedAnimation
AddSavedAnimation InputFile
_1
removeSavedAnimation ::
Member TDLib r =>
InputFile ->
Sem r (Error ∪ Ok)
removeSavedAnimation :: InputFile -> Sem r (Error ∪ Ok)
removeSavedAnimation _1 :: InputFile
_1 = RemoveSavedAnimation -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (RemoveSavedAnimation -> Sem r (Error ∪ Ok))
-> RemoveSavedAnimation -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ InputFile -> RemoveSavedAnimation
RemoveSavedAnimation InputFile
_1
getRecentInlineBots ::
Member TDLib r =>
Sem r (Error ∪ Users)
getRecentInlineBots :: Sem r (Error ∪ Users)
getRecentInlineBots = GetRecentInlineBots -> Sem r (Error ∪ Users)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetRecentInlineBots -> Sem r (Error ∪ Users))
-> GetRecentInlineBots -> Sem r (Error ∪ Users)
forall a b. (a -> b) -> a -> b
$ GetRecentInlineBots
GetRecentInlineBots
searchHashtags ::
Member TDLib r =>
T ->
I32 ->
Sem r (Error ∪ Hashtags)
searchHashtags :: T -> I32 -> Sem r (Error ∪ Hashtags)
searchHashtags _1 :: T
_1 _2 :: I32
_2 = SearchHashtags -> Sem r (Error ∪ Hashtags)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SearchHashtags -> Sem r (Error ∪ Hashtags))
-> SearchHashtags -> Sem r (Error ∪ Hashtags)
forall a b. (a -> b) -> a -> b
$ T -> I32 -> SearchHashtags
SearchHashtags T
_1 I32
_2
removeRecentHashtag ::
Member TDLib r =>
T ->
Sem r (Error ∪ Ok)
removeRecentHashtag :: T -> Sem r (Error ∪ Ok)
removeRecentHashtag _1 :: T
_1 = RemoveRecentHashtag -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (RemoveRecentHashtag -> Sem r (Error ∪ Ok))
-> RemoveRecentHashtag -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ T -> RemoveRecentHashtag
RemoveRecentHashtag T
_1
getWebPagePreview ::
Member TDLib r =>
FormattedText ->
Sem r (Error ∪ WebPage)
getWebPagePreview :: FormattedText -> Sem r (Error ∪ WebPage)
getWebPagePreview _1 :: FormattedText
_1 = GetWebPagePreview -> Sem r (Error ∪ WebPage)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetWebPagePreview -> Sem r (Error ∪ WebPage))
-> GetWebPagePreview -> Sem r (Error ∪ WebPage)
forall a b. (a -> b) -> a -> b
$ FormattedText -> GetWebPagePreview
GetWebPagePreview FormattedText
_1
getWebPageInstantView ::
Member TDLib r =>
T ->
Bool ->
Sem r (Error ∪ WebPageInstantView)
getWebPageInstantView :: T -> Bool -> Sem r (Error ∪ WebPageInstantView)
getWebPageInstantView _1 :: T
_1 _2 :: Bool
_2 = GetWebPageInstantView -> Sem r (Error ∪ WebPageInstantView)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetWebPageInstantView -> Sem r (Error ∪ WebPageInstantView))
-> GetWebPageInstantView -> Sem r (Error ∪ WebPageInstantView)
forall a b. (a -> b) -> a -> b
$ T -> Bool -> GetWebPageInstantView
GetWebPageInstantView T
_1 Bool
_2
setProfilePhoto ::
Member TDLib r =>
InputFile ->
Sem r (Error ∪ Ok)
setProfilePhoto :: InputFile -> Sem r (Error ∪ Ok)
setProfilePhoto _1 :: InputFile
_1 = SetProfilePhoto -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SetProfilePhoto -> Sem r (Error ∪ Ok))
-> SetProfilePhoto -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ InputFile -> SetProfilePhoto
SetProfilePhoto InputFile
_1
deleteProfilePhoto ::
Member TDLib r =>
I64 ->
Sem r (Error ∪ Ok)
deleteProfilePhoto :: I64 -> Sem r (Error ∪ Ok)
deleteProfilePhoto _1 :: I64
_1 = DeleteProfilePhoto -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (DeleteProfilePhoto -> Sem r (Error ∪ Ok))
-> DeleteProfilePhoto -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I64 -> DeleteProfilePhoto
DeleteProfilePhoto I64
_1
setName ::
Member TDLib r =>
T ->
T ->
Sem r (Error ∪ Ok)
setName :: T -> T -> Sem r (Error ∪ Ok)
setName _1 :: T
_1 _2 :: T
_2 = SetName -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SetName -> Sem r (Error ∪ Ok)) -> SetName -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ T -> T -> SetName
SetName T
_1 T
_2
setBio ::
Member TDLib r =>
T ->
Sem r (Error ∪ Ok)
setBio :: T -> Sem r (Error ∪ Ok)
setBio _1 :: T
_1 = SetBio -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SetBio -> Sem r (Error ∪ Ok)) -> SetBio -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ T -> SetBio
SetBio T
_1
setUsername ::
Member TDLib r =>
T ->
Sem r (Error ∪ Ok)
setUsername :: T -> Sem r (Error ∪ Ok)
setUsername _1 :: T
_1 = SetUsername -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SetUsername -> Sem r (Error ∪ Ok))
-> SetUsername -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ T -> SetUsername
SetUsername T
_1
setLocation ::
Member TDLib r =>
Location ->
Sem r (Error ∪ Ok)
setLocation :: Location -> Sem r (Error ∪ Ok)
setLocation _1 :: Location
_1 = SetLocation -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SetLocation -> Sem r (Error ∪ Ok))
-> SetLocation -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ Location -> SetLocation
SetLocation Location
_1
changePhoneNumber ::
Member TDLib r =>
T ->
PhoneNumberAuthenticationSettings ->
Sem r (Error ∪ AuthenticationCodeInfo)
changePhoneNumber :: T
-> PhoneNumberAuthenticationSettings
-> Sem r (Error ∪ AuthenticationCodeInfo)
changePhoneNumber _1 :: T
_1 _2 :: PhoneNumberAuthenticationSettings
_2 = ChangePhoneNumber -> Sem r (Error ∪ AuthenticationCodeInfo)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (ChangePhoneNumber -> Sem r (Error ∪ AuthenticationCodeInfo))
-> ChangePhoneNumber -> Sem r (Error ∪ AuthenticationCodeInfo)
forall a b. (a -> b) -> a -> b
$ T -> PhoneNumberAuthenticationSettings -> ChangePhoneNumber
ChangePhoneNumber T
_1 PhoneNumberAuthenticationSettings
_2
resendChangePhoneNumberCode ::
Member TDLib r =>
Sem r (Error ∪ AuthenticationCodeInfo)
resendChangePhoneNumberCode :: Sem r (Error ∪ AuthenticationCodeInfo)
resendChangePhoneNumberCode = ResendChangePhoneNumberCode
-> Sem r (Error ∪ AuthenticationCodeInfo)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (ResendChangePhoneNumberCode
-> Sem r (Error ∪ AuthenticationCodeInfo))
-> ResendChangePhoneNumberCode
-> Sem r (Error ∪ AuthenticationCodeInfo)
forall a b. (a -> b) -> a -> b
$ ResendChangePhoneNumberCode
ResendChangePhoneNumberCode
checkChangePhoneNumberCode ::
Member TDLib r =>
T ->
Sem r (Error ∪ Ok)
checkChangePhoneNumberCode :: T -> Sem r (Error ∪ Ok)
checkChangePhoneNumberCode _1 :: T
_1 = CheckChangePhoneNumberCode -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (CheckChangePhoneNumberCode -> Sem r (Error ∪ Ok))
-> CheckChangePhoneNumberCode -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ T -> CheckChangePhoneNumberCode
CheckChangePhoneNumberCode T
_1
setCommands ::
Member TDLib r =>
[BotCommand] ->
Sem r (Error ∪ Ok)
setCommands :: [BotCommand] -> Sem r (Error ∪ Ok)
setCommands _1 :: [BotCommand]
_1 = SetCommands -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SetCommands -> Sem r (Error ∪ Ok))
-> SetCommands -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ [BotCommand] -> SetCommands
SetCommands [BotCommand]
_1
getActiveSessions ::
Member TDLib r =>
Sem r (Error ∪ Sessions)
getActiveSessions :: Sem r (Error ∪ Sessions)
getActiveSessions = GetActiveSessions -> Sem r (Error ∪ Sessions)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetActiveSessions -> Sem r (Error ∪ Sessions))
-> GetActiveSessions -> Sem r (Error ∪ Sessions)
forall a b. (a -> b) -> a -> b
$ GetActiveSessions
GetActiveSessions
terminateSession ::
Member TDLib r =>
I64 ->
Sem r (Error ∪ Ok)
terminateSession :: I64 -> Sem r (Error ∪ Ok)
terminateSession _1 :: I64
_1 = TerminateSession -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (TerminateSession -> Sem r (Error ∪ Ok))
-> TerminateSession -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I64 -> TerminateSession
TerminateSession I64
_1
terminateAllOtherSessions ::
Member TDLib r =>
Sem r (Error ∪ Ok)
terminateAllOtherSessions :: Sem r (Error ∪ Ok)
terminateAllOtherSessions = TerminateAllOtherSessions -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (TerminateAllOtherSessions -> Sem r (Error ∪ Ok))
-> TerminateAllOtherSessions -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ TerminateAllOtherSessions
TerminateAllOtherSessions
getConnectedWebsites ::
Member TDLib r =>
Sem r (Error ∪ ConnectedWebsites)
getConnectedWebsites :: Sem r (Error ∪ ConnectedWebsites)
getConnectedWebsites = GetConnectedWebsites -> Sem r (Error ∪ ConnectedWebsites)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetConnectedWebsites -> Sem r (Error ∪ ConnectedWebsites))
-> GetConnectedWebsites -> Sem r (Error ∪ ConnectedWebsites)
forall a b. (a -> b) -> a -> b
$ GetConnectedWebsites
GetConnectedWebsites
disconnectWebsite ::
Member TDLib r =>
I64 ->
Sem r (Error ∪ Ok)
disconnectWebsite :: I64 -> Sem r (Error ∪ Ok)
disconnectWebsite _1 :: I64
_1 = DisconnectWebsite -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (DisconnectWebsite -> Sem r (Error ∪ Ok))
-> DisconnectWebsite -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I64 -> DisconnectWebsite
DisconnectWebsite I64
_1
disconnectAllWebsites ::
Member TDLib r =>
Sem r (Error ∪ Ok)
disconnectAllWebsites :: Sem r (Error ∪ Ok)
disconnectAllWebsites = DisconnectAllWebsites -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (DisconnectAllWebsites -> Sem r (Error ∪ Ok))
-> DisconnectAllWebsites -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ DisconnectAllWebsites
DisconnectAllWebsites
setSupergroupUsername ::
Member TDLib r =>
I32 ->
T ->
Sem r (Error ∪ Ok)
setSupergroupUsername :: I32 -> T -> Sem r (Error ∪ Ok)
setSupergroupUsername _1 :: I32
_1 _2 :: T
_2 = SetSupergroupUsername -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SetSupergroupUsername -> Sem r (Error ∪ Ok))
-> SetSupergroupUsername -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I32 -> T -> SetSupergroupUsername
SetSupergroupUsername I32
_1 T
_2
setSupergroupStickerSet ::
Member TDLib r =>
I32 ->
I64 ->
Sem r (Error ∪ Ok)
setSupergroupStickerSet :: I32 -> I64 -> Sem r (Error ∪ Ok)
setSupergroupStickerSet _1 :: I32
_1 _2 :: I64
_2 = SetSupergroupStickerSet -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SetSupergroupStickerSet -> Sem r (Error ∪ Ok))
-> SetSupergroupStickerSet -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I32 -> I64 -> SetSupergroupStickerSet
SetSupergroupStickerSet I32
_1 I64
_2
toggleSupergroupSignMessages ::
Member TDLib r =>
I32 ->
Bool ->
Sem r (Error ∪ Ok)
toggleSupergroupSignMessages :: I32 -> Bool -> Sem r (Error ∪ Ok)
toggleSupergroupSignMessages _1 :: I32
_1 _2 :: Bool
_2 = ToggleSupergroupSignMessages -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (ToggleSupergroupSignMessages -> Sem r (Error ∪ Ok))
-> ToggleSupergroupSignMessages -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I32 -> Bool -> ToggleSupergroupSignMessages
ToggleSupergroupSignMessages I32
_1 Bool
_2
toggleSupergroupIsAllHistoryAvailable ::
Member TDLib r =>
I32 ->
Bool ->
Sem r (Error ∪ Ok)
toggleSupergroupIsAllHistoryAvailable :: I32 -> Bool -> Sem r (Error ∪ Ok)
toggleSupergroupIsAllHistoryAvailable _1 :: I32
_1 _2 :: Bool
_2 = ToggleSupergroupIsAllHistoryAvailable -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (ToggleSupergroupIsAllHistoryAvailable -> Sem r (Error ∪ Ok))
-> ToggleSupergroupIsAllHistoryAvailable -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I32 -> Bool -> ToggleSupergroupIsAllHistoryAvailable
ToggleSupergroupIsAllHistoryAvailable I32
_1 Bool
_2
reportSupergroupSpam ::
Member TDLib r =>
I32 ->
I32 ->
[I53] ->
Sem r (Error ∪ Ok)
reportSupergroupSpam :: I32 -> I32 -> [I32] -> Sem r (Error ∪ Ok)
reportSupergroupSpam _1 :: I32
_1 _2 :: I32
_2 _3 :: [I32]
_3 = ReportSupergroupSpam -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (ReportSupergroupSpam -> Sem r (Error ∪ Ok))
-> ReportSupergroupSpam -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I32 -> I32 -> [I32] -> ReportSupergroupSpam
ReportSupergroupSpam I32
_1 I32
_2 [I32]
_3
getSupergroupMembers ::
Member TDLib r =>
I32 ->
SupergroupMembersFilter ->
I32 ->
I32 ->
Sem r (Error ∪ ChatMembers)
getSupergroupMembers :: I32
-> SupergroupMembersFilter
-> I32
-> I32
-> Sem r (Error ∪ ChatMembers)
getSupergroupMembers _1 :: I32
_1 _2 :: SupergroupMembersFilter
_2 _3 :: I32
_3 _4 :: I32
_4 = GetSupergroupMembers -> Sem r (Error ∪ ChatMembers)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetSupergroupMembers -> Sem r (Error ∪ ChatMembers))
-> GetSupergroupMembers -> Sem r (Error ∪ ChatMembers)
forall a b. (a -> b) -> a -> b
$ I32
-> SupergroupMembersFilter -> I32 -> I32 -> GetSupergroupMembers
GetSupergroupMembers I32
_1 SupergroupMembersFilter
_2 I32
_3 I32
_4
deleteSupergroup ::
Member TDLib r =>
I32 ->
Sem r (Error ∪ Ok)
deleteSupergroup :: I32 -> Sem r (Error ∪ Ok)
deleteSupergroup _1 :: I32
_1 = DeleteSupergroup -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (DeleteSupergroup -> Sem r (Error ∪ Ok))
-> DeleteSupergroup -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I32 -> DeleteSupergroup
DeleteSupergroup I32
_1
closeSecretChat ::
Member TDLib r =>
I32 ->
Sem r (Error ∪ Ok)
closeSecretChat :: I32 -> Sem r (Error ∪ Ok)
closeSecretChat _1 :: I32
_1 = CloseSecretChat -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (CloseSecretChat -> Sem r (Error ∪ Ok))
-> CloseSecretChat -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I32 -> CloseSecretChat
CloseSecretChat I32
_1
getChatEventLog ::
Member TDLib r =>
I53 ->
T ->
I64 ->
I32 ->
ChatEventLogFilters ->
[I32] ->
Sem r (Error ∪ ChatEvents)
getChatEventLog :: I32
-> T
-> I64
-> I32
-> ChatEventLogFilters
-> [I32]
-> Sem r (Error ∪ ChatEvents)
getChatEventLog _1 :: I32
_1 _2 :: T
_2 _3 :: I64
_3 _4 :: I32
_4 _5 :: ChatEventLogFilters
_5 _6 :: [I32]
_6 = GetChatEventLog -> Sem r (Error ∪ ChatEvents)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetChatEventLog -> Sem r (Error ∪ ChatEvents))
-> GetChatEventLog -> Sem r (Error ∪ ChatEvents)
forall a b. (a -> b) -> a -> b
$ I32
-> T
-> I64
-> I32
-> ChatEventLogFilters
-> [I32]
-> GetChatEventLog
GetChatEventLog I32
_1 T
_2 I64
_3 I32
_4 ChatEventLogFilters
_5 [I32]
_6
getPaymentForm ::
Member TDLib r =>
I53 ->
I53 ->
Sem r (Error ∪ PaymentForm)
getPaymentForm :: I32 -> I32 -> Sem r (Error ∪ PaymentForm)
getPaymentForm _1 :: I32
_1 _2 :: I32
_2 = GetPaymentForm -> Sem r (Error ∪ PaymentForm)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetPaymentForm -> Sem r (Error ∪ PaymentForm))
-> GetPaymentForm -> Sem r (Error ∪ PaymentForm)
forall a b. (a -> b) -> a -> b
$ I32 -> I32 -> GetPaymentForm
GetPaymentForm I32
_1 I32
_2
validateOrderInfo ::
Member TDLib r =>
I53 ->
I53 ->
OrderInfo ->
Bool ->
Sem r (Error ∪ ValidatedOrderInfo)
validateOrderInfo :: I32
-> I32 -> OrderInfo -> Bool -> Sem r (Error ∪ ValidatedOrderInfo)
validateOrderInfo _1 :: I32
_1 _2 :: I32
_2 _3 :: OrderInfo
_3 _4 :: Bool
_4 = ValidateOrderInfo -> Sem r (Error ∪ ValidatedOrderInfo)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (ValidateOrderInfo -> Sem r (Error ∪ ValidatedOrderInfo))
-> ValidateOrderInfo -> Sem r (Error ∪ ValidatedOrderInfo)
forall a b. (a -> b) -> a -> b
$ I32 -> I32 -> OrderInfo -> Bool -> ValidateOrderInfo
ValidateOrderInfo I32
_1 I32
_2 OrderInfo
_3 Bool
_4
sendPaymentForm ::
Member TDLib r =>
I53 ->
I53 ->
T ->
T ->
InputCredentials ->
Sem r (Error ∪ PaymentResult)
sendPaymentForm :: I32
-> I32
-> T
-> T
-> InputCredentials
-> Sem r (Error ∪ PaymentResult)
sendPaymentForm _1 :: I32
_1 _2 :: I32
_2 _3 :: T
_3 _4 :: T
_4 _5 :: InputCredentials
_5 = SendPaymentForm -> Sem r (Error ∪ PaymentResult)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SendPaymentForm -> Sem r (Error ∪ PaymentResult))
-> SendPaymentForm -> Sem r (Error ∪ PaymentResult)
forall a b. (a -> b) -> a -> b
$ I32 -> I32 -> T -> T -> InputCredentials -> SendPaymentForm
SendPaymentForm I32
_1 I32
_2 T
_3 T
_4 InputCredentials
_5
getPaymentReceipt ::
Member TDLib r =>
I53 ->
I53 ->
Sem r (Error ∪ PaymentReceipt)
getPaymentReceipt :: I32 -> I32 -> Sem r (Error ∪ PaymentReceipt)
getPaymentReceipt _1 :: I32
_1 _2 :: I32
_2 = GetPaymentReceipt -> Sem r (Error ∪ PaymentReceipt)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetPaymentReceipt -> Sem r (Error ∪ PaymentReceipt))
-> GetPaymentReceipt -> Sem r (Error ∪ PaymentReceipt)
forall a b. (a -> b) -> a -> b
$ I32 -> I32 -> GetPaymentReceipt
GetPaymentReceipt I32
_1 I32
_2
getSavedOrderInfo ::
Member TDLib r =>
Sem r (Error ∪ OrderInfo)
getSavedOrderInfo :: Sem r (Error ∪ OrderInfo)
getSavedOrderInfo = GetSavedOrderInfo -> Sem r (Error ∪ OrderInfo)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetSavedOrderInfo -> Sem r (Error ∪ OrderInfo))
-> GetSavedOrderInfo -> Sem r (Error ∪ OrderInfo)
forall a b. (a -> b) -> a -> b
$ GetSavedOrderInfo
GetSavedOrderInfo
deleteSavedOrderInfo ::
Member TDLib r =>
Sem r (Error ∪ Ok)
deleteSavedOrderInfo :: Sem r (Error ∪ Ok)
deleteSavedOrderInfo = DeleteSavedOrderInfo -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (DeleteSavedOrderInfo -> Sem r (Error ∪ Ok))
-> DeleteSavedOrderInfo -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ DeleteSavedOrderInfo
DeleteSavedOrderInfo
deleteSavedCredentials ::
Member TDLib r =>
Sem r (Error ∪ Ok)
deleteSavedCredentials :: Sem r (Error ∪ Ok)
deleteSavedCredentials = DeleteSavedCredentials -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (DeleteSavedCredentials -> Sem r (Error ∪ Ok))
-> DeleteSavedCredentials -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ DeleteSavedCredentials
DeleteSavedCredentials
getSupportUser ::
Member TDLib r =>
Sem r (Error ∪ User)
getSupportUser :: Sem r (Error ∪ User)
getSupportUser = GetSupportUser -> Sem r (Error ∪ User)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetSupportUser -> Sem r (Error ∪ User))
-> GetSupportUser -> Sem r (Error ∪ User)
forall a b. (a -> b) -> a -> b
$ GetSupportUser
GetSupportUser
getBackgrounds ::
Member TDLib r =>
Bool ->
Sem r (Error ∪ Backgrounds)
getBackgrounds :: Bool -> Sem r (Error ∪ Backgrounds)
getBackgrounds _1 :: Bool
_1 = GetBackgrounds -> Sem r (Error ∪ Backgrounds)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetBackgrounds -> Sem r (Error ∪ Backgrounds))
-> GetBackgrounds -> Sem r (Error ∪ Backgrounds)
forall a b. (a -> b) -> a -> b
$ Bool -> GetBackgrounds
GetBackgrounds Bool
_1
getBackgroundUrl ::
Member TDLib r =>
T ->
BackgroundType ->
Sem r (Error ∪ HttpUrl)
getBackgroundUrl :: T -> BackgroundType -> Sem r (Error ∪ HttpUrl)
getBackgroundUrl _1 :: T
_1 _2 :: BackgroundType
_2 = GetBackgroundUrl -> Sem r (Error ∪ HttpUrl)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetBackgroundUrl -> Sem r (Error ∪ HttpUrl))
-> GetBackgroundUrl -> Sem r (Error ∪ HttpUrl)
forall a b. (a -> b) -> a -> b
$ T -> BackgroundType -> GetBackgroundUrl
GetBackgroundUrl T
_1 BackgroundType
_2
searchBackground ::
Member TDLib r =>
T ->
Sem r (Error ∪ Background)
searchBackground :: T -> Sem r (Error ∪ Background)
searchBackground _1 :: T
_1 = SearchBackground -> Sem r (Error ∪ Background)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SearchBackground -> Sem r (Error ∪ Background))
-> SearchBackground -> Sem r (Error ∪ Background)
forall a b. (a -> b) -> a -> b
$ T -> SearchBackground
SearchBackground T
_1
setBackground ::
Member TDLib r =>
InputBackground ->
BackgroundType ->
Bool ->
Sem r (Error ∪ Background)
setBackground :: InputBackground
-> BackgroundType -> Bool -> Sem r (Error ∪ Background)
setBackground _1 :: InputBackground
_1 _2 :: BackgroundType
_2 _3 :: Bool
_3 = SetBackground -> Sem r (Error ∪ Background)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SetBackground -> Sem r (Error ∪ Background))
-> SetBackground -> Sem r (Error ∪ Background)
forall a b. (a -> b) -> a -> b
$ InputBackground -> BackgroundType -> Bool -> SetBackground
SetBackground InputBackground
_1 BackgroundType
_2 Bool
_3
removeBackground ::
Member TDLib r =>
I64 ->
Sem r (Error ∪ Ok)
removeBackground :: I64 -> Sem r (Error ∪ Ok)
removeBackground _1 :: I64
_1 = RemoveBackground -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (RemoveBackground -> Sem r (Error ∪ Ok))
-> RemoveBackground -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I64 -> RemoveBackground
RemoveBackground I64
_1
resetBackgrounds ::
Member TDLib r =>
Sem r (Error ∪ Ok)
resetBackgrounds :: Sem r (Error ∪ Ok)
resetBackgrounds = ResetBackgrounds -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (ResetBackgrounds -> Sem r (Error ∪ Ok))
-> ResetBackgrounds -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ ResetBackgrounds
ResetBackgrounds
getLocalizationTargetInfo ::
Member TDLib r =>
Bool ->
Sem r (Error ∪ LocalizationTargetInfo)
getLocalizationTargetInfo :: Bool -> Sem r (Error ∪ LocalizationTargetInfo)
getLocalizationTargetInfo _1 :: Bool
_1 = GetLocalizationTargetInfo -> Sem r (Error ∪ LocalizationTargetInfo)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetLocalizationTargetInfo
-> Sem r (Error ∪ LocalizationTargetInfo))
-> GetLocalizationTargetInfo
-> Sem r (Error ∪ LocalizationTargetInfo)
forall a b. (a -> b) -> a -> b
$ Bool -> GetLocalizationTargetInfo
GetLocalizationTargetInfo Bool
_1
getLanguagePackInfo ::
Member TDLib r =>
T ->
Sem r (Error ∪ LanguagePackInfo)
getLanguagePackInfo :: T -> Sem r (Error ∪ LanguagePackInfo)
getLanguagePackInfo _1 :: T
_1 = GetLanguagePackInfo -> Sem r (Error ∪ LanguagePackInfo)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetLanguagePackInfo -> Sem r (Error ∪ LanguagePackInfo))
-> GetLanguagePackInfo -> Sem r (Error ∪ LanguagePackInfo)
forall a b. (a -> b) -> a -> b
$ T -> GetLanguagePackInfo
GetLanguagePackInfo T
_1
getLanguagePackStrings ::
Member TDLib r =>
T ->
[T] ->
Sem r (Error ∪ LanguagePackStrings)
getLanguagePackStrings :: T -> [T] -> Sem r (Error ∪ LanguagePackStrings)
getLanguagePackStrings _1 :: T
_1 _2 :: [T]
_2 = GetLanguagePackStrings -> Sem r (Error ∪ LanguagePackStrings)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetLanguagePackStrings -> Sem r (Error ∪ LanguagePackStrings))
-> GetLanguagePackStrings -> Sem r (Error ∪ LanguagePackStrings)
forall a b. (a -> b) -> a -> b
$ T -> [T] -> GetLanguagePackStrings
GetLanguagePackStrings T
_1 [T]
_2
synchronizeLanguagePack ::
Member TDLib r =>
T ->
Sem r (Error ∪ Ok)
synchronizeLanguagePack :: T -> Sem r (Error ∪ Ok)
synchronizeLanguagePack _1 :: T
_1 = SynchronizeLanguagePack -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SynchronizeLanguagePack -> Sem r (Error ∪ Ok))
-> SynchronizeLanguagePack -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ T -> SynchronizeLanguagePack
SynchronizeLanguagePack T
_1
addCustomServerLanguagePack ::
Member TDLib r =>
T ->
Sem r (Error ∪ Ok)
addCustomServerLanguagePack :: T -> Sem r (Error ∪ Ok)
addCustomServerLanguagePack _1 :: T
_1 = AddCustomServerLanguagePack -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (AddCustomServerLanguagePack -> Sem r (Error ∪ Ok))
-> AddCustomServerLanguagePack -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ T -> AddCustomServerLanguagePack
AddCustomServerLanguagePack T
_1
setCustomLanguagePack ::
Member TDLib r =>
LanguagePackInfo ->
[LanguagePackString] ->
Sem r (Error ∪ Ok)
setCustomLanguagePack :: LanguagePackInfo -> [LanguagePackString] -> Sem r (Error ∪ Ok)
setCustomLanguagePack _1 :: LanguagePackInfo
_1 _2 :: [LanguagePackString]
_2 = SetCustomLanguagePack -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SetCustomLanguagePack -> Sem r (Error ∪ Ok))
-> SetCustomLanguagePack -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ LanguagePackInfo -> [LanguagePackString] -> SetCustomLanguagePack
SetCustomLanguagePack LanguagePackInfo
_1 [LanguagePackString]
_2
editCustomLanguagePackInfo ::
Member TDLib r =>
LanguagePackInfo ->
Sem r (Error ∪ Ok)
editCustomLanguagePackInfo :: LanguagePackInfo -> Sem r (Error ∪ Ok)
editCustomLanguagePackInfo _1 :: LanguagePackInfo
_1 = EditCustomLanguagePackInfo -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (EditCustomLanguagePackInfo -> Sem r (Error ∪ Ok))
-> EditCustomLanguagePackInfo -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ LanguagePackInfo -> EditCustomLanguagePackInfo
EditCustomLanguagePackInfo LanguagePackInfo
_1
setCustomLanguagePackString ::
Member TDLib r =>
T ->
LanguagePackString ->
Sem r (Error ∪ Ok)
setCustomLanguagePackString :: T -> LanguagePackString -> Sem r (Error ∪ Ok)
setCustomLanguagePackString _1 :: T
_1 _2 :: LanguagePackString
_2 = SetCustomLanguagePackString -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SetCustomLanguagePackString -> Sem r (Error ∪ Ok))
-> SetCustomLanguagePackString -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ T -> LanguagePackString -> SetCustomLanguagePackString
SetCustomLanguagePackString T
_1 LanguagePackString
_2
deleteLanguagePack ::
Member TDLib r =>
T ->
Sem r (Error ∪ Ok)
deleteLanguagePack :: T -> Sem r (Error ∪ Ok)
deleteLanguagePack _1 :: T
_1 = DeleteLanguagePack -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (DeleteLanguagePack -> Sem r (Error ∪ Ok))
-> DeleteLanguagePack -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ T -> DeleteLanguagePack
DeleteLanguagePack T
_1
registerDevice ::
Member TDLib r =>
DeviceToken ->
[I32] ->
Sem r (Error ∪ PushReceiverId)
registerDevice :: DeviceToken -> [I32] -> Sem r (Error ∪ PushReceiverId)
registerDevice _1 :: DeviceToken
_1 _2 :: [I32]
_2 = RegisterDevice -> Sem r (Error ∪ PushReceiverId)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (RegisterDevice -> Sem r (Error ∪ PushReceiverId))
-> RegisterDevice -> Sem r (Error ∪ PushReceiverId)
forall a b. (a -> b) -> a -> b
$ DeviceToken -> [I32] -> RegisterDevice
RegisterDevice DeviceToken
_1 [I32]
_2
processPushNotification ::
Member TDLib r =>
T ->
Sem r (Error ∪ Ok)
processPushNotification :: T -> Sem r (Error ∪ Ok)
processPushNotification _1 :: T
_1 = ProcessPushNotification -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (ProcessPushNotification -> Sem r (Error ∪ Ok))
-> ProcessPushNotification -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ T -> ProcessPushNotification
ProcessPushNotification T
_1
getPushReceiverId ::
Member TDLib r =>
T ->
Sem r (Error ∪ PushReceiverId)
getPushReceiverId :: T -> Sem r (Error ∪ PushReceiverId)
getPushReceiverId _1 :: T
_1 = GetPushReceiverId -> Sem r (Error ∪ PushReceiverId)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetPushReceiverId -> Sem r (Error ∪ PushReceiverId))
-> GetPushReceiverId -> Sem r (Error ∪ PushReceiverId)
forall a b. (a -> b) -> a -> b
$ T -> GetPushReceiverId
GetPushReceiverId T
_1
getRecentlyVisitedTMeUrls ::
Member TDLib r =>
T ->
Sem r (Error ∪ TMeUrls)
getRecentlyVisitedTMeUrls :: T -> Sem r (Error ∪ TMeUrls)
getRecentlyVisitedTMeUrls _1 :: T
_1 = GetRecentlyVisitedTMeUrls -> Sem r (Error ∪ TMeUrls)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetRecentlyVisitedTMeUrls -> Sem r (Error ∪ TMeUrls))
-> GetRecentlyVisitedTMeUrls -> Sem r (Error ∪ TMeUrls)
forall a b. (a -> b) -> a -> b
$ T -> GetRecentlyVisitedTMeUrls
GetRecentlyVisitedTMeUrls T
_1
setUserPrivacySettingRules ::
Member TDLib r =>
UserPrivacySetting ->
UserPrivacySettingRules ->
Sem r (Error ∪ Ok)
setUserPrivacySettingRules :: UserPrivacySetting -> UserPrivacySettingRules -> Sem r (Error ∪ Ok)
setUserPrivacySettingRules _1 :: UserPrivacySetting
_1 _2 :: UserPrivacySettingRules
_2 = SetUserPrivacySettingRules -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SetUserPrivacySettingRules -> Sem r (Error ∪ Ok))
-> SetUserPrivacySettingRules -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ UserPrivacySetting
-> UserPrivacySettingRules -> SetUserPrivacySettingRules
SetUserPrivacySettingRules UserPrivacySetting
_1 UserPrivacySettingRules
_2
getUserPrivacySettingRules ::
Member TDLib r =>
UserPrivacySetting ->
Sem r (Error ∪ UserPrivacySettingRules)
getUserPrivacySettingRules :: UserPrivacySetting -> Sem r (Error ∪ UserPrivacySettingRules)
getUserPrivacySettingRules _1 :: UserPrivacySetting
_1 = GetUserPrivacySettingRules
-> Sem r (Error ∪ UserPrivacySettingRules)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetUserPrivacySettingRules
-> Sem r (Error ∪ UserPrivacySettingRules))
-> GetUserPrivacySettingRules
-> Sem r (Error ∪ UserPrivacySettingRules)
forall a b. (a -> b) -> a -> b
$ UserPrivacySetting -> GetUserPrivacySettingRules
GetUserPrivacySettingRules UserPrivacySetting
_1
getOption ::
Member TDLib r =>
T ->
Sem r (Error ∪ OptionValue)
getOption :: T -> Sem r (Error ∪ OptionValue)
getOption _1 :: T
_1 = GetOption -> Sem r (Error ∪ OptionValue)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetOption -> Sem r (Error ∪ OptionValue))
-> GetOption -> Sem r (Error ∪ OptionValue)
forall a b. (a -> b) -> a -> b
$ T -> GetOption
GetOption T
_1
setOption ::
Member TDLib r =>
T ->
OptionValue ->
Sem r (Error ∪ Ok)
setOption :: T -> OptionValue -> Sem r (Error ∪ Ok)
setOption _1 :: T
_1 _2 :: OptionValue
_2 = SetOption -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SetOption -> Sem r (Error ∪ Ok))
-> SetOption -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ T -> OptionValue -> SetOption
SetOption T
_1 OptionValue
_2
setAccountTtl ::
Member TDLib r =>
AccountTtl ->
Sem r (Error ∪ Ok)
setAccountTtl :: AccountTtl -> Sem r (Error ∪ Ok)
setAccountTtl _1 :: AccountTtl
_1 = SetAccountTtl -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SetAccountTtl -> Sem r (Error ∪ Ok))
-> SetAccountTtl -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ AccountTtl -> SetAccountTtl
SetAccountTtl AccountTtl
_1
getAccountTtl ::
Member TDLib r =>
Sem r (Error ∪ AccountTtl)
getAccountTtl :: Sem r (Error ∪ AccountTtl)
getAccountTtl = GetAccountTtl -> Sem r (Error ∪ AccountTtl)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetAccountTtl -> Sem r (Error ∪ AccountTtl))
-> GetAccountTtl -> Sem r (Error ∪ AccountTtl)
forall a b. (a -> b) -> a -> b
$ GetAccountTtl
GetAccountTtl
deleteAccount ::
Member TDLib r =>
T ->
Sem r (Error ∪ Ok)
deleteAccount :: T -> Sem r (Error ∪ Ok)
deleteAccount _1 :: T
_1 = DeleteAccount -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (DeleteAccount -> Sem r (Error ∪ Ok))
-> DeleteAccount -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ T -> DeleteAccount
DeleteAccount T
_1
removeChatActionBar ::
Member TDLib r =>
I53 ->
Sem r (Error ∪ Ok)
removeChatActionBar :: I32 -> Sem r (Error ∪ Ok)
removeChatActionBar _1 :: I32
_1 = RemoveChatActionBar -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (RemoveChatActionBar -> Sem r (Error ∪ Ok))
-> RemoveChatActionBar -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I32 -> RemoveChatActionBar
RemoveChatActionBar I32
_1
reportChat ::
Member TDLib r =>
I53 ->
ChatReportReason ->
[I53] ->
Sem r (Error ∪ Ok)
reportChat :: I32 -> ChatReportReason -> [I32] -> Sem r (Error ∪ Ok)
reportChat _1 :: I32
_1 _2 :: ChatReportReason
_2 _3 :: [I32]
_3 = ReportChat -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (ReportChat -> Sem r (Error ∪ Ok))
-> ReportChat -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I32 -> ChatReportReason -> [I32] -> ReportChat
ReportChat I32
_1 ChatReportReason
_2 [I32]
_3
getChatStatisticsUrl ::
Member TDLib r =>
I53 ->
T ->
Bool ->
Sem r (Error ∪ HttpUrl)
getChatStatisticsUrl :: I32 -> T -> Bool -> Sem r (Error ∪ HttpUrl)
getChatStatisticsUrl _1 :: I32
_1 _2 :: T
_2 _3 :: Bool
_3 = GetChatStatisticsUrl -> Sem r (Error ∪ HttpUrl)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetChatStatisticsUrl -> Sem r (Error ∪ HttpUrl))
-> GetChatStatisticsUrl -> Sem r (Error ∪ HttpUrl)
forall a b. (a -> b) -> a -> b
$ I32 -> T -> Bool -> GetChatStatisticsUrl
GetChatStatisticsUrl I32
_1 T
_2 Bool
_3
getChatStatistics ::
Member TDLib r =>
I53 ->
Bool ->
Sem r (Error ∪ ChatStatistics)
getChatStatistics :: I32 -> Bool -> Sem r (Error ∪ ChatStatistics)
getChatStatistics _1 :: I32
_1 _2 :: Bool
_2 = GetChatStatistics -> Sem r (Error ∪ ChatStatistics)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetChatStatistics -> Sem r (Error ∪ ChatStatistics))
-> GetChatStatistics -> Sem r (Error ∪ ChatStatistics)
forall a b. (a -> b) -> a -> b
$ I32 -> Bool -> GetChatStatistics
GetChatStatistics I32
_1 Bool
_2
getChatStatisticsGraph ::
Member TDLib r =>
I53 ->
T ->
I53 ->
Sem r (Error ∪ StatisticsGraph)
getChatStatisticsGraph :: I32 -> T -> I32 -> Sem r (Error ∪ StatisticsGraph)
getChatStatisticsGraph _1 :: I32
_1 _2 :: T
_2 _3 :: I32
_3 = GetChatStatisticsGraph -> Sem r (Error ∪ StatisticsGraph)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetChatStatisticsGraph -> Sem r (Error ∪ StatisticsGraph))
-> GetChatStatisticsGraph -> Sem r (Error ∪ StatisticsGraph)
forall a b. (a -> b) -> a -> b
$ I32 -> T -> I32 -> GetChatStatisticsGraph
GetChatStatisticsGraph I32
_1 T
_2 I32
_3
getStorageStatistics ::
Member TDLib r =>
I32 ->
Sem r (Error ∪ StorageStatistics)
getStorageStatistics :: I32 -> Sem r (Error ∪ StorageStatistics)
getStorageStatistics _1 :: I32
_1 = GetStorageStatistics -> Sem r (Error ∪ StorageStatistics)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetStorageStatistics -> Sem r (Error ∪ StorageStatistics))
-> GetStorageStatistics -> Sem r (Error ∪ StorageStatistics)
forall a b. (a -> b) -> a -> b
$ I32 -> GetStorageStatistics
GetStorageStatistics I32
_1
getStorageStatisticsFast ::
Member TDLib r =>
Sem r (Error ∪ StorageStatisticsFast)
getStorageStatisticsFast :: Sem r (Error ∪ StorageStatisticsFast)
getStorageStatisticsFast = GetStorageStatisticsFast -> Sem r (Error ∪ StorageStatisticsFast)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetStorageStatisticsFast -> Sem r (Error ∪ StorageStatisticsFast))
-> GetStorageStatisticsFast
-> Sem r (Error ∪ StorageStatisticsFast)
forall a b. (a -> b) -> a -> b
$ GetStorageStatisticsFast
GetStorageStatisticsFast
getDatabaseStatistics ::
Member TDLib r =>
Sem r (Error ∪ DatabaseStatistics)
getDatabaseStatistics :: Sem r (Error ∪ DatabaseStatistics)
getDatabaseStatistics = GetDatabaseStatistics -> Sem r (Error ∪ DatabaseStatistics)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetDatabaseStatistics -> Sem r (Error ∪ DatabaseStatistics))
-> GetDatabaseStatistics -> Sem r (Error ∪ DatabaseStatistics)
forall a b. (a -> b) -> a -> b
$ GetDatabaseStatistics
GetDatabaseStatistics
optimizeStorage ::
Member TDLib r =>
I53 ->
I32 ->
I32 ->
I32 ->
[FileType] ->
[I53] ->
[I53] ->
Bool ->
I32 ->
Sem r (Error ∪ StorageStatistics)
optimizeStorage :: I32
-> I32
-> I32
-> I32
-> [FileType]
-> [I32]
-> [I32]
-> Bool
-> I32
-> Sem r (Error ∪ StorageStatistics)
optimizeStorage _1 :: I32
_1 _2 :: I32
_2 _3 :: I32
_3 _4 :: I32
_4 _5 :: [FileType]
_5 _6 :: [I32]
_6 _7 :: [I32]
_7 _8 :: Bool
_8 _9 :: I32
_9 = OptimizeStorage -> Sem r (Error ∪ StorageStatistics)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (OptimizeStorage -> Sem r (Error ∪ StorageStatistics))
-> OptimizeStorage -> Sem r (Error ∪ StorageStatistics)
forall a b. (a -> b) -> a -> b
$ I32
-> I32
-> I32
-> I32
-> [FileType]
-> [I32]
-> [I32]
-> Bool
-> I32
-> OptimizeStorage
OptimizeStorage I32
_1 I32
_2 I32
_3 I32
_4 [FileType]
_5 [I32]
_6 [I32]
_7 Bool
_8 I32
_9
setNetworkType ::
Member TDLib r =>
NetworkType ->
Sem r (Error ∪ Ok)
setNetworkType :: NetworkType -> Sem r (Error ∪ Ok)
setNetworkType _1 :: NetworkType
_1 = SetNetworkType -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SetNetworkType -> Sem r (Error ∪ Ok))
-> SetNetworkType -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ NetworkType -> SetNetworkType
SetNetworkType NetworkType
_1
getNetworkStatistics ::
Member TDLib r =>
Bool ->
Sem r (Error ∪ NetworkStatistics)
getNetworkStatistics :: Bool -> Sem r (Error ∪ NetworkStatistics)
getNetworkStatistics _1 :: Bool
_1 = GetNetworkStatistics -> Sem r (Error ∪ NetworkStatistics)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetNetworkStatistics -> Sem r (Error ∪ NetworkStatistics))
-> GetNetworkStatistics -> Sem r (Error ∪ NetworkStatistics)
forall a b. (a -> b) -> a -> b
$ Bool -> GetNetworkStatistics
GetNetworkStatistics Bool
_1
addNetworkStatistics ::
Member TDLib r =>
NetworkStatisticsEntry ->
Sem r (Error ∪ Ok)
addNetworkStatistics :: NetworkStatisticsEntry -> Sem r (Error ∪ Ok)
addNetworkStatistics _1 :: NetworkStatisticsEntry
_1 = AddNetworkStatistics -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (AddNetworkStatistics -> Sem r (Error ∪ Ok))
-> AddNetworkStatistics -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ NetworkStatisticsEntry -> AddNetworkStatistics
AddNetworkStatistics NetworkStatisticsEntry
_1
resetNetworkStatistics ::
Member TDLib r =>
Sem r (Error ∪ Ok)
resetNetworkStatistics :: Sem r (Error ∪ Ok)
resetNetworkStatistics = ResetNetworkStatistics -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (ResetNetworkStatistics -> Sem r (Error ∪ Ok))
-> ResetNetworkStatistics -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ ResetNetworkStatistics
ResetNetworkStatistics
getAutoDownloadSettingsPresets ::
Member TDLib r =>
Sem r (Error ∪ AutoDownloadSettingsPresets)
getAutoDownloadSettingsPresets :: Sem r (Error ∪ AutoDownloadSettingsPresets)
getAutoDownloadSettingsPresets = GetAutoDownloadSettingsPresets
-> Sem r (Error ∪ AutoDownloadSettingsPresets)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetAutoDownloadSettingsPresets
-> Sem r (Error ∪ AutoDownloadSettingsPresets))
-> GetAutoDownloadSettingsPresets
-> Sem r (Error ∪ AutoDownloadSettingsPresets)
forall a b. (a -> b) -> a -> b
$ GetAutoDownloadSettingsPresets
GetAutoDownloadSettingsPresets
setAutoDownloadSettings ::
Member TDLib r =>
AutoDownloadSettings ->
NetworkType ->
Sem r (Error ∪ Ok)
setAutoDownloadSettings :: AutoDownloadSettings -> NetworkType -> Sem r (Error ∪ Ok)
setAutoDownloadSettings _1 :: AutoDownloadSettings
_1 _2 :: NetworkType
_2 = SetAutoDownloadSettings -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SetAutoDownloadSettings -> Sem r (Error ∪ Ok))
-> SetAutoDownloadSettings -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ AutoDownloadSettings -> NetworkType -> SetAutoDownloadSettings
SetAutoDownloadSettings AutoDownloadSettings
_1 NetworkType
_2
getBankCardInfo ::
Member TDLib r =>
T ->
Sem r (Error ∪ BankCardInfo)
getBankCardInfo :: T -> Sem r (Error ∪ BankCardInfo)
getBankCardInfo _1 :: T
_1 = GetBankCardInfo -> Sem r (Error ∪ BankCardInfo)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetBankCardInfo -> Sem r (Error ∪ BankCardInfo))
-> GetBankCardInfo -> Sem r (Error ∪ BankCardInfo)
forall a b. (a -> b) -> a -> b
$ T -> GetBankCardInfo
GetBankCardInfo T
_1
getPassportElement ::
Member TDLib r =>
PassportElementType ->
T ->
Sem r (Error ∪ PassportElement)
getPassportElement :: PassportElementType -> T -> Sem r (Error ∪ PassportElement)
getPassportElement _1 :: PassportElementType
_1 _2 :: T
_2 = GetPassportElement -> Sem r (Error ∪ PassportElement)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetPassportElement -> Sem r (Error ∪ PassportElement))
-> GetPassportElement -> Sem r (Error ∪ PassportElement)
forall a b. (a -> b) -> a -> b
$ PassportElementType -> T -> GetPassportElement
GetPassportElement PassportElementType
_1 T
_2
getAllPassportElements ::
Member TDLib r =>
T ->
Sem r (Error ∪ PassportElements)
getAllPassportElements :: T -> Sem r (Error ∪ PassportElements)
getAllPassportElements _1 :: T
_1 = GetAllPassportElements -> Sem r (Error ∪ PassportElements)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetAllPassportElements -> Sem r (Error ∪ PassportElements))
-> GetAllPassportElements -> Sem r (Error ∪ PassportElements)
forall a b. (a -> b) -> a -> b
$ T -> GetAllPassportElements
GetAllPassportElements T
_1
setPassportElement ::
Member TDLib r =>
InputPassportElement ->
T ->
Sem r (Error ∪ PassportElement)
setPassportElement :: InputPassportElement -> T -> Sem r (Error ∪ PassportElement)
setPassportElement _1 :: InputPassportElement
_1 _2 :: T
_2 = SetPassportElement -> Sem r (Error ∪ PassportElement)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SetPassportElement -> Sem r (Error ∪ PassportElement))
-> SetPassportElement -> Sem r (Error ∪ PassportElement)
forall a b. (a -> b) -> a -> b
$ InputPassportElement -> T -> SetPassportElement
SetPassportElement InputPassportElement
_1 T
_2
deletePassportElement ::
Member TDLib r =>
PassportElementType ->
Sem r (Error ∪ Ok)
deletePassportElement :: PassportElementType -> Sem r (Error ∪ Ok)
deletePassportElement _1 :: PassportElementType
_1 = DeletePassportElement -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (DeletePassportElement -> Sem r (Error ∪ Ok))
-> DeletePassportElement -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ PassportElementType -> DeletePassportElement
DeletePassportElement PassportElementType
_1
setPassportElementErrors ::
Member TDLib r =>
I32 ->
[InputPassportElementError] ->
Sem r (Error ∪ Ok)
setPassportElementErrors :: I32 -> [InputPassportElementError] -> Sem r (Error ∪ Ok)
setPassportElementErrors _1 :: I32
_1 _2 :: [InputPassportElementError]
_2 = SetPassportElementErrors -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SetPassportElementErrors -> Sem r (Error ∪ Ok))
-> SetPassportElementErrors -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I32 -> [InputPassportElementError] -> SetPassportElementErrors
SetPassportElementErrors I32
_1 [InputPassportElementError]
_2
getPreferredCountryLanguage ::
Member TDLib r =>
T ->
Sem r (Error ∪ Text)
getPreferredCountryLanguage :: T -> Sem r (Error ∪ Text)
getPreferredCountryLanguage _1 :: T
_1 = GetPreferredCountryLanguage -> Sem r (Error ∪ Text)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetPreferredCountryLanguage -> Sem r (Error ∪ Text))
-> GetPreferredCountryLanguage -> Sem r (Error ∪ Text)
forall a b. (a -> b) -> a -> b
$ T -> GetPreferredCountryLanguage
GetPreferredCountryLanguage T
_1
sendPhoneNumberVerificationCode ::
Member TDLib r =>
T ->
PhoneNumberAuthenticationSettings ->
Sem r (Error ∪ AuthenticationCodeInfo)
sendPhoneNumberVerificationCode :: T
-> PhoneNumberAuthenticationSettings
-> Sem r (Error ∪ AuthenticationCodeInfo)
sendPhoneNumberVerificationCode _1 :: T
_1 _2 :: PhoneNumberAuthenticationSettings
_2 = SendPhoneNumberVerificationCode
-> Sem r (Error ∪ AuthenticationCodeInfo)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SendPhoneNumberVerificationCode
-> Sem r (Error ∪ AuthenticationCodeInfo))
-> SendPhoneNumberVerificationCode
-> Sem r (Error ∪ AuthenticationCodeInfo)
forall a b. (a -> b) -> a -> b
$ T
-> PhoneNumberAuthenticationSettings
-> SendPhoneNumberVerificationCode
SendPhoneNumberVerificationCode T
_1 PhoneNumberAuthenticationSettings
_2
resendPhoneNumberVerificationCode ::
Member TDLib r =>
Sem r (Error ∪ AuthenticationCodeInfo)
resendPhoneNumberVerificationCode :: Sem r (Error ∪ AuthenticationCodeInfo)
resendPhoneNumberVerificationCode = ResendPhoneNumberVerificationCode
-> Sem r (Error ∪ AuthenticationCodeInfo)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (ResendPhoneNumberVerificationCode
-> Sem r (Error ∪ AuthenticationCodeInfo))
-> ResendPhoneNumberVerificationCode
-> Sem r (Error ∪ AuthenticationCodeInfo)
forall a b. (a -> b) -> a -> b
$ ResendPhoneNumberVerificationCode
ResendPhoneNumberVerificationCode
checkPhoneNumberVerificationCode ::
Member TDLib r =>
T ->
Sem r (Error ∪ Ok)
checkPhoneNumberVerificationCode :: T -> Sem r (Error ∪ Ok)
checkPhoneNumberVerificationCode _1 :: T
_1 = CheckPhoneNumberVerificationCode -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (CheckPhoneNumberVerificationCode -> Sem r (Error ∪ Ok))
-> CheckPhoneNumberVerificationCode -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ T -> CheckPhoneNumberVerificationCode
CheckPhoneNumberVerificationCode T
_1
sendEmailAddressVerificationCode ::
Member TDLib r =>
T ->
Sem r (Error ∪ EmailAddressAuthenticationCodeInfo)
sendEmailAddressVerificationCode :: T -> Sem r (Error ∪ EmailAddressAuthenticationCodeInfo)
sendEmailAddressVerificationCode _1 :: T
_1 = SendEmailAddressVerificationCode
-> Sem r (Error ∪ EmailAddressAuthenticationCodeInfo)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SendEmailAddressVerificationCode
-> Sem r (Error ∪ EmailAddressAuthenticationCodeInfo))
-> SendEmailAddressVerificationCode
-> Sem r (Error ∪ EmailAddressAuthenticationCodeInfo)
forall a b. (a -> b) -> a -> b
$ T -> SendEmailAddressVerificationCode
SendEmailAddressVerificationCode T
_1
resendEmailAddressVerificationCode ::
Member TDLib r =>
Sem r (Error ∪ EmailAddressAuthenticationCodeInfo)
resendEmailAddressVerificationCode :: Sem r (Error ∪ EmailAddressAuthenticationCodeInfo)
resendEmailAddressVerificationCode = ResendEmailAddressVerificationCode
-> Sem r (Error ∪ EmailAddressAuthenticationCodeInfo)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (ResendEmailAddressVerificationCode
-> Sem r (Error ∪ EmailAddressAuthenticationCodeInfo))
-> ResendEmailAddressVerificationCode
-> Sem r (Error ∪ EmailAddressAuthenticationCodeInfo)
forall a b. (a -> b) -> a -> b
$ ResendEmailAddressVerificationCode
ResendEmailAddressVerificationCode
checkEmailAddressVerificationCode ::
Member TDLib r =>
T ->
Sem r (Error ∪ Ok)
checkEmailAddressVerificationCode :: T -> Sem r (Error ∪ Ok)
checkEmailAddressVerificationCode _1 :: T
_1 = CheckEmailAddressVerificationCode -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (CheckEmailAddressVerificationCode -> Sem r (Error ∪ Ok))
-> CheckEmailAddressVerificationCode -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ T -> CheckEmailAddressVerificationCode
CheckEmailAddressVerificationCode T
_1
getPassportAuthorizationForm ::
Member TDLib r =>
I32 ->
T ->
T ->
T ->
Sem r (Error ∪ PassportAuthorizationForm)
getPassportAuthorizationForm :: I32 -> T -> T -> T -> Sem r (Error ∪ PassportAuthorizationForm)
getPassportAuthorizationForm _1 :: I32
_1 _2 :: T
_2 _3 :: T
_3 _4 :: T
_4 = GetPassportAuthorizationForm
-> Sem r (Error ∪ PassportAuthorizationForm)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetPassportAuthorizationForm
-> Sem r (Error ∪ PassportAuthorizationForm))
-> GetPassportAuthorizationForm
-> Sem r (Error ∪ PassportAuthorizationForm)
forall a b. (a -> b) -> a -> b
$ I32 -> T -> T -> T -> GetPassportAuthorizationForm
GetPassportAuthorizationForm I32
_1 T
_2 T
_3 T
_4
getPassportAuthorizationFormAvailableElements ::
Member TDLib r =>
I32 ->
T ->
Sem r (Error ∪ PassportElementsWithErrors)
getPassportAuthorizationFormAvailableElements :: I32 -> T -> Sem r (Error ∪ PassportElementsWithErrors)
getPassportAuthorizationFormAvailableElements _1 :: I32
_1 _2 :: T
_2 = GetPassportAuthorizationFormAvailableElements
-> Sem r (Error ∪ PassportElementsWithErrors)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetPassportAuthorizationFormAvailableElements
-> Sem r (Error ∪ PassportElementsWithErrors))
-> GetPassportAuthorizationFormAvailableElements
-> Sem r (Error ∪ PassportElementsWithErrors)
forall a b. (a -> b) -> a -> b
$ I32 -> T -> GetPassportAuthorizationFormAvailableElements
GetPassportAuthorizationFormAvailableElements I32
_1 T
_2
sendPassportAuthorizationForm ::
Member TDLib r =>
I32 ->
[PassportElementType] ->
Sem r (Error ∪ Ok)
sendPassportAuthorizationForm :: I32 -> [PassportElementType] -> Sem r (Error ∪ Ok)
sendPassportAuthorizationForm _1 :: I32
_1 _2 :: [PassportElementType]
_2 = SendPassportAuthorizationForm -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SendPassportAuthorizationForm -> Sem r (Error ∪ Ok))
-> SendPassportAuthorizationForm -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I32 -> [PassportElementType] -> SendPassportAuthorizationForm
SendPassportAuthorizationForm I32
_1 [PassportElementType]
_2
sendPhoneNumberConfirmationCode ::
Member TDLib r =>
T ->
T ->
PhoneNumberAuthenticationSettings ->
Sem r (Error ∪ AuthenticationCodeInfo)
sendPhoneNumberConfirmationCode :: T
-> T
-> PhoneNumberAuthenticationSettings
-> Sem r (Error ∪ AuthenticationCodeInfo)
sendPhoneNumberConfirmationCode _1 :: T
_1 _2 :: T
_2 _3 :: PhoneNumberAuthenticationSettings
_3 = SendPhoneNumberConfirmationCode
-> Sem r (Error ∪ AuthenticationCodeInfo)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SendPhoneNumberConfirmationCode
-> Sem r (Error ∪ AuthenticationCodeInfo))
-> SendPhoneNumberConfirmationCode
-> Sem r (Error ∪ AuthenticationCodeInfo)
forall a b. (a -> b) -> a -> b
$ T
-> T
-> PhoneNumberAuthenticationSettings
-> SendPhoneNumberConfirmationCode
SendPhoneNumberConfirmationCode T
_1 T
_2 PhoneNumberAuthenticationSettings
_3
resendPhoneNumberConfirmationCode ::
Member TDLib r =>
Sem r (Error ∪ AuthenticationCodeInfo)
resendPhoneNumberConfirmationCode :: Sem r (Error ∪ AuthenticationCodeInfo)
resendPhoneNumberConfirmationCode = ResendPhoneNumberConfirmationCode
-> Sem r (Error ∪ AuthenticationCodeInfo)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (ResendPhoneNumberConfirmationCode
-> Sem r (Error ∪ AuthenticationCodeInfo))
-> ResendPhoneNumberConfirmationCode
-> Sem r (Error ∪ AuthenticationCodeInfo)
forall a b. (a -> b) -> a -> b
$ ResendPhoneNumberConfirmationCode
ResendPhoneNumberConfirmationCode
checkPhoneNumberConfirmationCode ::
Member TDLib r =>
T ->
Sem r (Error ∪ Ok)
checkPhoneNumberConfirmationCode :: T -> Sem r (Error ∪ Ok)
checkPhoneNumberConfirmationCode _1 :: T
_1 = CheckPhoneNumberConfirmationCode -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (CheckPhoneNumberConfirmationCode -> Sem r (Error ∪ Ok))
-> CheckPhoneNumberConfirmationCode -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ T -> CheckPhoneNumberConfirmationCode
CheckPhoneNumberConfirmationCode T
_1
setBotUpdatesStatus ::
Member TDLib r =>
I32 ->
T ->
Sem r (Error ∪ Ok)
setBotUpdatesStatus :: I32 -> T -> Sem r (Error ∪ Ok)
setBotUpdatesStatus _1 :: I32
_1 _2 :: T
_2 = SetBotUpdatesStatus -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SetBotUpdatesStatus -> Sem r (Error ∪ Ok))
-> SetBotUpdatesStatus -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I32 -> T -> SetBotUpdatesStatus
SetBotUpdatesStatus I32
_1 T
_2
uploadStickerFile ::
Member TDLib r =>
I32 ->
InputFile ->
Sem r (Error ∪ File)
uploadStickerFile :: I32 -> InputFile -> Sem r (Error ∪ File)
uploadStickerFile _1 :: I32
_1 _2 :: InputFile
_2 = UploadStickerFile -> Sem r (Error ∪ File)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (UploadStickerFile -> Sem r (Error ∪ File))
-> UploadStickerFile -> Sem r (Error ∪ File)
forall a b. (a -> b) -> a -> b
$ I32 -> InputFile -> UploadStickerFile
UploadStickerFile I32
_1 InputFile
_2
createNewStickerSet ::
Member TDLib r =>
I32 ->
T ->
T ->
Bool ->
[InputSticker] ->
Sem r (Error ∪ StickerSet)
createNewStickerSet :: I32
-> T -> T -> Bool -> [InputSticker] -> Sem r (Error ∪ StickerSet)
createNewStickerSet _1 :: I32
_1 _2 :: T
_2 _3 :: T
_3 _4 :: Bool
_4 _5 :: [InputSticker]
_5 = CreateNewStickerSet -> Sem r (Error ∪ StickerSet)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (CreateNewStickerSet -> Sem r (Error ∪ StickerSet))
-> CreateNewStickerSet -> Sem r (Error ∪ StickerSet)
forall a b. (a -> b) -> a -> b
$ I32 -> T -> T -> Bool -> [InputSticker] -> CreateNewStickerSet
CreateNewStickerSet I32
_1 T
_2 T
_3 Bool
_4 [InputSticker]
_5
addStickerToSet ::
Member TDLib r =>
I32 ->
T ->
InputSticker ->
Sem r (Error ∪ StickerSet)
addStickerToSet :: I32 -> T -> InputSticker -> Sem r (Error ∪ StickerSet)
addStickerToSet _1 :: I32
_1 _2 :: T
_2 _3 :: InputSticker
_3 = AddStickerToSet -> Sem r (Error ∪ StickerSet)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (AddStickerToSet -> Sem r (Error ∪ StickerSet))
-> AddStickerToSet -> Sem r (Error ∪ StickerSet)
forall a b. (a -> b) -> a -> b
$ I32 -> T -> InputSticker -> AddStickerToSet
AddStickerToSet I32
_1 T
_2 InputSticker
_3
setStickerSetThumbnail ::
Member TDLib r =>
I32 ->
T ->
InputFile ->
Sem r (Error ∪ StickerSet)
setStickerSetThumbnail :: I32 -> T -> InputFile -> Sem r (Error ∪ StickerSet)
setStickerSetThumbnail _1 :: I32
_1 _2 :: T
_2 _3 :: InputFile
_3 = SetStickerSetThumbnail -> Sem r (Error ∪ StickerSet)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SetStickerSetThumbnail -> Sem r (Error ∪ StickerSet))
-> SetStickerSetThumbnail -> Sem r (Error ∪ StickerSet)
forall a b. (a -> b) -> a -> b
$ I32 -> T -> InputFile -> SetStickerSetThumbnail
SetStickerSetThumbnail I32
_1 T
_2 InputFile
_3
setStickerPositionInSet ::
Member TDLib r =>
InputFile ->
I32 ->
Sem r (Error ∪ Ok)
setStickerPositionInSet :: InputFile -> I32 -> Sem r (Error ∪ Ok)
setStickerPositionInSet _1 :: InputFile
_1 _2 :: I32
_2 = SetStickerPositionInSet -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SetStickerPositionInSet -> Sem r (Error ∪ Ok))
-> SetStickerPositionInSet -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ InputFile -> I32 -> SetStickerPositionInSet
SetStickerPositionInSet InputFile
_1 I32
_2
removeStickerFromSet ::
Member TDLib r =>
InputFile ->
Sem r (Error ∪ Ok)
removeStickerFromSet :: InputFile -> Sem r (Error ∪ Ok)
removeStickerFromSet _1 :: InputFile
_1 = RemoveStickerFromSet -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (RemoveStickerFromSet -> Sem r (Error ∪ Ok))
-> RemoveStickerFromSet -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ InputFile -> RemoveStickerFromSet
RemoveStickerFromSet InputFile
_1
getMapThumbnailFile ::
Member TDLib r =>
Location ->
I32 ->
I32 ->
I32 ->
I32 ->
I53 ->
Sem r (Error ∪ File)
getMapThumbnailFile :: Location -> I32 -> I32 -> I32 -> I32 -> I32 -> Sem r (Error ∪ File)
getMapThumbnailFile _1 :: Location
_1 _2 :: I32
_2 _3 :: I32
_3 _4 :: I32
_4 _5 :: I32
_5 _6 :: I32
_6 = GetMapThumbnailFile -> Sem r (Error ∪ File)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetMapThumbnailFile -> Sem r (Error ∪ File))
-> GetMapThumbnailFile -> Sem r (Error ∪ File)
forall a b. (a -> b) -> a -> b
$ Location -> I32 -> I32 -> I32 -> I32 -> I32 -> GetMapThumbnailFile
GetMapThumbnailFile Location
_1 I32
_2 I32
_3 I32
_4 I32
_5 I32
_6
acceptTermsOfService ::
Member TDLib r =>
T ->
Sem r (Error ∪ Ok)
acceptTermsOfService :: T -> Sem r (Error ∪ Ok)
acceptTermsOfService _1 :: T
_1 = AcceptTermsOfService -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (AcceptTermsOfService -> Sem r (Error ∪ Ok))
-> AcceptTermsOfService -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ T -> AcceptTermsOfService
AcceptTermsOfService T
_1
sendCustomRequest ::
Member TDLib r =>
T ->
T ->
Sem r (Error ∪ CustomRequestResult)
sendCustomRequest :: T -> T -> Sem r (Error ∪ CustomRequestResult)
sendCustomRequest _1 :: T
_1 _2 :: T
_2 = SendCustomRequest -> Sem r (Error ∪ CustomRequestResult)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SendCustomRequest -> Sem r (Error ∪ CustomRequestResult))
-> SendCustomRequest -> Sem r (Error ∪ CustomRequestResult)
forall a b. (a -> b) -> a -> b
$ T -> T -> SendCustomRequest
SendCustomRequest T
_1 T
_2
answerCustomQuery ::
Member TDLib r =>
I64 ->
T ->
Sem r (Error ∪ Ok)
answerCustomQuery :: I64 -> T -> Sem r (Error ∪ Ok)
answerCustomQuery _1 :: I64
_1 _2 :: T
_2 = AnswerCustomQuery -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (AnswerCustomQuery -> Sem r (Error ∪ Ok))
-> AnswerCustomQuery -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I64 -> T -> AnswerCustomQuery
AnswerCustomQuery I64
_1 T
_2
setAlarm ::
Member TDLib r =>
Double ->
Sem r (Error ∪ Ok)
setAlarm :: Double -> Sem r (Error ∪ Ok)
setAlarm _1 :: Double
_1 = SetAlarm -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SetAlarm -> Sem r (Error ∪ Ok)) -> SetAlarm -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ Double -> SetAlarm
SetAlarm Double
_1
getCountryCode ::
Member TDLib r =>
Sem r (Error ∪ Text)
getCountryCode :: Sem r (Error ∪ Text)
getCountryCode = GetCountryCode -> Sem r (Error ∪ Text)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetCountryCode -> Sem r (Error ∪ Text))
-> GetCountryCode -> Sem r (Error ∪ Text)
forall a b. (a -> b) -> a -> b
$ GetCountryCode
GetCountryCode
getInviteText ::
Member TDLib r =>
Sem r (Error ∪ Text)
getInviteText :: Sem r (Error ∪ Text)
getInviteText = GetInviteText -> Sem r (Error ∪ Text)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetInviteText -> Sem r (Error ∪ Text))
-> GetInviteText -> Sem r (Error ∪ Text)
forall a b. (a -> b) -> a -> b
$ GetInviteText
GetInviteText
getDeepLinkInfo ::
Member TDLib r =>
T ->
Sem r (Error ∪ DeepLinkInfo)
getDeepLinkInfo :: T -> Sem r (Error ∪ DeepLinkInfo)
getDeepLinkInfo _1 :: T
_1 = GetDeepLinkInfo -> Sem r (Error ∪ DeepLinkInfo)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetDeepLinkInfo -> Sem r (Error ∪ DeepLinkInfo))
-> GetDeepLinkInfo -> Sem r (Error ∪ DeepLinkInfo)
forall a b. (a -> b) -> a -> b
$ T -> GetDeepLinkInfo
GetDeepLinkInfo T
_1
getApplicationConfig ::
Member TDLib r =>
Sem r (Error ∪ JsonValue)
getApplicationConfig :: Sem r (Error ∪ JsonValue)
getApplicationConfig = GetApplicationConfig -> Sem r (Error ∪ JsonValue)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetApplicationConfig -> Sem r (Error ∪ JsonValue))
-> GetApplicationConfig -> Sem r (Error ∪ JsonValue)
forall a b. (a -> b) -> a -> b
$ GetApplicationConfig
GetApplicationConfig
saveApplicationLogEvent ::
Member TDLib r =>
T ->
I53 ->
JsonValue ->
Sem r (Error ∪ Ok)
saveApplicationLogEvent :: T -> I32 -> JsonValue -> Sem r (Error ∪ Ok)
saveApplicationLogEvent _1 :: T
_1 _2 :: I32
_2 _3 :: JsonValue
_3 = SaveApplicationLogEvent -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SaveApplicationLogEvent -> Sem r (Error ∪ Ok))
-> SaveApplicationLogEvent -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ T -> I32 -> JsonValue -> SaveApplicationLogEvent
SaveApplicationLogEvent T
_1 I32
_2 JsonValue
_3
addProxy ::
Member TDLib r =>
T ->
I32 ->
Bool ->
ProxyType ->
Sem r (Error ∪ Proxy)
addProxy :: T -> I32 -> Bool -> ProxyType -> Sem r (Error ∪ Proxy)
addProxy _1 :: T
_1 _2 :: I32
_2 _3 :: Bool
_3 _4 :: ProxyType
_4 = AddProxy -> Sem r (Error ∪ Proxy)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (AddProxy -> Sem r (Error ∪ Proxy))
-> AddProxy -> Sem r (Error ∪ Proxy)
forall a b. (a -> b) -> a -> b
$ T -> I32 -> Bool -> ProxyType -> AddProxy
AddProxy T
_1 I32
_2 Bool
_3 ProxyType
_4
editProxy ::
Member TDLib r =>
I32 ->
T ->
I32 ->
Bool ->
ProxyType ->
Sem r (Error ∪ Proxy)
editProxy :: I32 -> T -> I32 -> Bool -> ProxyType -> Sem r (Error ∪ Proxy)
editProxy _1 :: I32
_1 _2 :: T
_2 _3 :: I32
_3 _4 :: Bool
_4 _5 :: ProxyType
_5 = EditProxy -> Sem r (Error ∪ Proxy)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (EditProxy -> Sem r (Error ∪ Proxy))
-> EditProxy -> Sem r (Error ∪ Proxy)
forall a b. (a -> b) -> a -> b
$ I32 -> T -> I32 -> Bool -> ProxyType -> EditProxy
EditProxy I32
_1 T
_2 I32
_3 Bool
_4 ProxyType
_5
enableProxy ::
Member TDLib r =>
I32 ->
Sem r (Error ∪ Ok)
enableProxy :: I32 -> Sem r (Error ∪ Ok)
enableProxy _1 :: I32
_1 = EnableProxy -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (EnableProxy -> Sem r (Error ∪ Ok))
-> EnableProxy -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I32 -> EnableProxy
EnableProxy I32
_1
disableProxy ::
Member TDLib r =>
Sem r (Error ∪ Ok)
disableProxy :: Sem r (Error ∪ Ok)
disableProxy = DisableProxy -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (DisableProxy -> Sem r (Error ∪ Ok))
-> DisableProxy -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ DisableProxy
DisableProxy
removeProxy ::
Member TDLib r =>
I32 ->
Sem r (Error ∪ Ok)
removeProxy :: I32 -> Sem r (Error ∪ Ok)
removeProxy _1 :: I32
_1 = RemoveProxy -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (RemoveProxy -> Sem r (Error ∪ Ok))
-> RemoveProxy -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I32 -> RemoveProxy
RemoveProxy I32
_1
getProxies ::
Member TDLib r =>
Sem r (Error ∪ Proxies)
getProxies :: Sem r (Error ∪ Proxies)
getProxies = GetProxies -> Sem r (Error ∪ Proxies)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetProxies -> Sem r (Error ∪ Proxies))
-> GetProxies -> Sem r (Error ∪ Proxies)
forall a b. (a -> b) -> a -> b
$ GetProxies
GetProxies
getProxyLink ::
Member TDLib r =>
I32 ->
Sem r (Error ∪ Text)
getProxyLink :: I32 -> Sem r (Error ∪ Text)
getProxyLink _1 :: I32
_1 = GetProxyLink -> Sem r (Error ∪ Text)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetProxyLink -> Sem r (Error ∪ Text))
-> GetProxyLink -> Sem r (Error ∪ Text)
forall a b. (a -> b) -> a -> b
$ I32 -> GetProxyLink
GetProxyLink I32
_1
pingProxy ::
Member TDLib r =>
I32 ->
Sem r (Error ∪ Seconds)
pingProxy :: I32 -> Sem r (Error ∪ Seconds)
pingProxy _1 :: I32
_1 = PingProxy -> Sem r (Error ∪ Seconds)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (PingProxy -> Sem r (Error ∪ Seconds))
-> PingProxy -> Sem r (Error ∪ Seconds)
forall a b. (a -> b) -> a -> b
$ I32 -> PingProxy
PingProxy I32
_1
setLogStream ::
Member TDLib r =>
LogStream ->
Sem r (Error ∪ Ok)
setLogStream :: LogStream -> Sem r (Error ∪ Ok)
setLogStream _1 :: LogStream
_1 = SetLogStream -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SetLogStream -> Sem r (Error ∪ Ok))
-> SetLogStream -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ LogStream -> SetLogStream
SetLogStream LogStream
_1
getLogStream ::
Member TDLib r =>
Sem r (Error ∪ LogStream)
getLogStream :: Sem r (Error ∪ LogStream)
getLogStream = GetLogStream -> Sem r (Error ∪ LogStream)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetLogStream -> Sem r (Error ∪ LogStream))
-> GetLogStream -> Sem r (Error ∪ LogStream)
forall a b. (a -> b) -> a -> b
$ GetLogStream
GetLogStream
setLogVerbosityLevel ::
Member TDLib r =>
I32 ->
Sem r (Error ∪ Ok)
setLogVerbosityLevel :: I32 -> Sem r (Error ∪ Ok)
setLogVerbosityLevel _1 :: I32
_1 = SetLogVerbosityLevel -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SetLogVerbosityLevel -> Sem r (Error ∪ Ok))
-> SetLogVerbosityLevel -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I32 -> SetLogVerbosityLevel
SetLogVerbosityLevel I32
_1
getLogVerbosityLevel ::
Member TDLib r =>
Sem r (Error ∪ LogVerbosityLevel)
getLogVerbosityLevel :: Sem r (Error ∪ LogVerbosityLevel)
getLogVerbosityLevel = GetLogVerbosityLevel -> Sem r (Error ∪ LogVerbosityLevel)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetLogVerbosityLevel -> Sem r (Error ∪ LogVerbosityLevel))
-> GetLogVerbosityLevel -> Sem r (Error ∪ LogVerbosityLevel)
forall a b. (a -> b) -> a -> b
$ GetLogVerbosityLevel
GetLogVerbosityLevel
getLogTags ::
Member TDLib r =>
Sem r (Error ∪ LogTags)
getLogTags :: Sem r (Error ∪ LogTags)
getLogTags = GetLogTags -> Sem r (Error ∪ LogTags)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetLogTags -> Sem r (Error ∪ LogTags))
-> GetLogTags -> Sem r (Error ∪ LogTags)
forall a b. (a -> b) -> a -> b
$ GetLogTags
GetLogTags
setLogTagVerbosityLevel ::
Member TDLib r =>
T ->
I32 ->
Sem r (Error ∪ Ok)
setLogTagVerbosityLevel :: T -> I32 -> Sem r (Error ∪ Ok)
setLogTagVerbosityLevel _1 :: T
_1 _2 :: I32
_2 = SetLogTagVerbosityLevel -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (SetLogTagVerbosityLevel -> Sem r (Error ∪ Ok))
-> SetLogTagVerbosityLevel -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ T -> I32 -> SetLogTagVerbosityLevel
SetLogTagVerbosityLevel T
_1 I32
_2
getLogTagVerbosityLevel ::
Member TDLib r =>
T ->
Sem r (Error ∪ LogVerbosityLevel)
getLogTagVerbosityLevel :: T -> Sem r (Error ∪ LogVerbosityLevel)
getLogTagVerbosityLevel _1 :: T
_1 = GetLogTagVerbosityLevel -> Sem r (Error ∪ LogVerbosityLevel)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (GetLogTagVerbosityLevel -> Sem r (Error ∪ LogVerbosityLevel))
-> GetLogTagVerbosityLevel -> Sem r (Error ∪ LogVerbosityLevel)
forall a b. (a -> b) -> a -> b
$ T -> GetLogTagVerbosityLevel
GetLogTagVerbosityLevel T
_1
addLogMessage ::
Member TDLib r =>
I32 ->
T ->
Sem r (Error ∪ Ok)
addLogMessage :: I32 -> T -> Sem r (Error ∪ Ok)
addLogMessage _1 :: I32
_1 _2 :: T
_2 = AddLogMessage -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (AddLogMessage -> Sem r (Error ∪ Ok))
-> AddLogMessage -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ I32 -> T -> AddLogMessage
AddLogMessage I32
_1 T
_2
testCallEmpty ::
Member TDLib r =>
Sem r (Error ∪ Ok)
testCallEmpty :: Sem r (Error ∪ Ok)
testCallEmpty = TestCallEmpty -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (TestCallEmpty -> Sem r (Error ∪ Ok))
-> TestCallEmpty -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ TestCallEmpty
TestCallEmpty
testCallString ::
Member TDLib r =>
T ->
Sem r (Error ∪ TestString)
testCallString :: T -> Sem r (Error ∪ TestString)
testCallString _1 :: T
_1 = TestCallString -> Sem r (Error ∪ TestString)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (TestCallString -> Sem r (Error ∪ TestString))
-> TestCallString -> Sem r (Error ∪ TestString)
forall a b. (a -> b) -> a -> b
$ T -> TestCallString
TestCallString T
_1
testCallBytes ::
Member TDLib r =>
ByteString64 ->
Sem r (Error ∪ TestBytes)
testCallBytes :: ByteString64 -> Sem r (Error ∪ TestBytes)
testCallBytes _1 :: ByteString64
_1 = TestCallBytes -> Sem r (Error ∪ TestBytes)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (TestCallBytes -> Sem r (Error ∪ TestBytes))
-> TestCallBytes -> Sem r (Error ∪ TestBytes)
forall a b. (a -> b) -> a -> b
$ ByteString64 -> TestCallBytes
TestCallBytes ByteString64
_1
testCallVectorInt ::
Member TDLib r =>
[I32] ->
Sem r (Error ∪ TestVectorInt)
testCallVectorInt :: [I32] -> Sem r (Error ∪ TestVectorInt)
testCallVectorInt _1 :: [I32]
_1 = TestCallVectorInt -> Sem r (Error ∪ TestVectorInt)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (TestCallVectorInt -> Sem r (Error ∪ TestVectorInt))
-> TestCallVectorInt -> Sem r (Error ∪ TestVectorInt)
forall a b. (a -> b) -> a -> b
$ [I32] -> TestCallVectorInt
TestCallVectorInt [I32]
_1
testCallVectorIntObject ::
Member TDLib r =>
[TestInt] ->
Sem r (Error ∪ TestVectorIntObject)
testCallVectorIntObject :: [TestInt] -> Sem r (Error ∪ TestVectorIntObject)
testCallVectorIntObject _1 :: [TestInt]
_1 = TestCallVectorIntObject -> Sem r (Error ∪ TestVectorIntObject)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (TestCallVectorIntObject -> Sem r (Error ∪ TestVectorIntObject))
-> TestCallVectorIntObject -> Sem r (Error ∪ TestVectorIntObject)
forall a b. (a -> b) -> a -> b
$ [TestInt] -> TestCallVectorIntObject
TestCallVectorIntObject [TestInt]
_1
testCallVectorString ::
Member TDLib r =>
[T] ->
Sem r (Error ∪ TestVectorString)
testCallVectorString :: [T] -> Sem r (Error ∪ TestVectorString)
testCallVectorString _1 :: [T]
_1 = TestCallVectorString -> Sem r (Error ∪ TestVectorString)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (TestCallVectorString -> Sem r (Error ∪ TestVectorString))
-> TestCallVectorString -> Sem r (Error ∪ TestVectorString)
forall a b. (a -> b) -> a -> b
$ [T] -> TestCallVectorString
TestCallVectorString [T]
_1
testCallVectorStringObject ::
Member TDLib r =>
[TestString] ->
Sem r (Error ∪ TestVectorStringObject)
testCallVectorStringObject :: [TestString] -> Sem r (Error ∪ TestVectorStringObject)
testCallVectorStringObject _1 :: [TestString]
_1 = TestCallVectorStringObject
-> Sem r (Error ∪ TestVectorStringObject)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (TestCallVectorStringObject
-> Sem r (Error ∪ TestVectorStringObject))
-> TestCallVectorStringObject
-> Sem r (Error ∪ TestVectorStringObject)
forall a b. (a -> b) -> a -> b
$ [TestString] -> TestCallVectorStringObject
TestCallVectorStringObject [TestString]
_1
testSquareInt ::
Member TDLib r =>
I32 ->
Sem r (Error ∪ TestInt)
testSquareInt :: I32 -> Sem r (Error ∪ TestInt)
testSquareInt _1 :: I32
_1 = TestSquareInt -> Sem r (Error ∪ TestInt)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (TestSquareInt -> Sem r (Error ∪ TestInt))
-> TestSquareInt -> Sem r (Error ∪ TestInt)
forall a b. (a -> b) -> a -> b
$ I32 -> TestSquareInt
TestSquareInt I32
_1
testNetwork ::
Member TDLib r =>
Sem r (Error ∪ Ok)
testNetwork :: Sem r (Error ∪ Ok)
testNetwork = TestNetwork -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (TestNetwork -> Sem r (Error ∪ Ok))
-> TestNetwork -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ TestNetwork
TestNetwork
testProxy ::
Member TDLib r =>
T ->
I32 ->
ProxyType ->
I32 ->
Double ->
Sem r (Error ∪ Ok)
testProxy :: T -> I32 -> ProxyType -> I32 -> Double -> Sem r (Error ∪ Ok)
testProxy _1 :: T
_1 _2 :: I32
_2 _3 :: ProxyType
_3 _4 :: I32
_4 _5 :: Double
_5 = TestProxy -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (TestProxy -> Sem r (Error ∪ Ok))
-> TestProxy -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ T -> I32 -> ProxyType -> I32 -> Double -> TestProxy
TestProxy T
_1 I32
_2 ProxyType
_3 I32
_4 Double
_5
testGetDifference ::
Member TDLib r =>
Sem r (Error ∪ Ok)
testGetDifference :: Sem r (Error ∪ Ok)
testGetDifference = TestGetDifference -> Sem r (Error ∪ Ok)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (TestGetDifference -> Sem r (Error ∪ Ok))
-> TestGetDifference -> Sem r (Error ∪ Ok)
forall a b. (a -> b) -> a -> b
$ TestGetDifference
TestGetDifference
testUseUpdate ::
Member TDLib r =>
Sem r (Error ∪ Update)
testUseUpdate :: Sem r (Error ∪ Update)
testUseUpdate = TestUseUpdate -> Sem r (Error ∪ Update)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (TestUseUpdate -> Sem r (Error ∪ Update))
-> TestUseUpdate -> Sem r (Error ∪ Update)
forall a b. (a -> b) -> a -> b
$ TestUseUpdate
TestUseUpdate
testReturnError ::
Member TDLib r =>
Error ->
Sem r (Error ∪ Error)
testReturnError :: Error -> Sem r (Error ∪ Error)
testReturnError _1 :: Error
_1 = TestReturnError -> Sem r (Error ∪ Error)
forall cmd res (r :: [(* -> *) -> * -> *]).
(ToJSON cmd, FromJSON res, Member TDLib r) =>
cmd -> Sem r res
runCmd (TestReturnError -> Sem r (Error ∪ Error))
-> TestReturnError -> Sem r (Error ∪ Error)
forall a b. (a -> b) -> a -> b
$ Error -> TestReturnError
TestReturnError Error
_1