We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
通过为 MiraiGroup 实现 DeleteSupport ,来通过 delete 描述bot退群的行为。
MiraiGroup
DeleteSupport
delete
val group: Group = ... if (group is DeleteSupport) { group.delete() } // or if (group is MiraiGroup) { group.delete() }
其次,为 Group 的标准API直接实现 DeleteSupport 将会列入讨论,参考并追踪 simple-robot/simpler-robot#422
Group
The text was updated successfully, but these errors were encountered:
Successfully merging a pull request may close this issue.
通过为
MiraiGroup
实现DeleteSupport
,来通过delete
描述bot退群的行为。其次,为
Group
的标准API直接实现DeleteSupport
将会列入讨论,参考并追踪 simple-robot/simpler-robot#422The text was updated successfully, but these errors were encountered: