Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Documentation
type BotAPI = Named "post-bot-message-unqualified" (ZBot :> (ZConversation :> (CanThrow 'ConvNotFound :> ("bot" :> ("messages" :> (QueryParam "ignore_missing" IgnoreMissing :> (QueryParam "report_missing" ReportMissing :> (ReqBody '[JSON] NewOtrMessage :> MultiVerb 'POST '[JSON] (PostOtrResponses ClientMismatch) (PostOtrResponse ClientMismatch))))))))) :<|> Named "get-bot-conversation" (CanThrow 'AccessDenied :> (CanThrow 'ConvNotFound :> (CanThrow OperationDenied :> (CanThrow 'NotATeamMember :> (CanThrow 'TeamNotFound :> ("bot" :> ("conversation" :> (ZBot :> (ZConversation :> Get '[JSON] BotConvView))))))))) Source #