TDLib.Effect

Documentation

data TDLib (m :: Type -> Type) a where

Constructors

RunCmd :: (ToJSON cmd, FromJSON res, FromJSON err) => cmd -> TDLib m (err ∪ res)

SetVerbosity :: Verbosity -> TDLib m ()

SetFatalErrorCallback :: (ByteString -> IO ()) -> TDLib m ()

SetLogPath :: ByteString -> TDLib m Bool

SetLogMaxSize :: Int64 -> TDLib m ()

Instances

type DefiningModule TDLib

Defined in TDLib.Effect

type DefiningModule TDLib = "TDLib.Effect"

runCmd

Arguments

:: forall cmd res err r. (ToJSON cmd, FromJSON res, FromJSON err, Member TDLib r)

=> cmd

Command

-> Sem r (err ∪ res)

setVerbosity :: forall r. Member TDLib r => Verbosity -> Sem r ()

setFatalErrorCallback :: forall r. Member TDLib r => (ByteString -> IO ()) -> Sem r ()

setLogPath :: forall r. Member TDLib r => ByteString -> Sem r Bool

setLogMaxSize :: forall r. Member TDLib r => Int64 -> Sem r ()