Range | |
1 (Type/Class) | Network.Discord.Rest, Network.Discord |
2 (Data Constructor) | Network.Discord.Rest, Network.Discord |
RateLimit | Network.Discord.Rest, Network.Discord |
readInteger | Network.Discord.Rest, Network.Discord |
Ready | Network.Discord.Types.Events, Network.Discord.Types, Network.Discord |
ReadyEvent | Network.Discord.Framework, Network.Discord |
Reconnect | Network.Discord.Types.Gateway, Network.Discord.Types, Network.Discord |
regionCustom | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
regionDepreciated | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
regionHostname | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
regionId | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
regionName | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
regionOptimal | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
regionPort | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
regionVip | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
RemoveGuildBan | Network.Discord.Rest.Guild, Network.Discord.Rest, Network.Discord |
RemoveGuildMember | Network.Discord.Rest.Guild, Network.Discord.Rest, Network.Discord |
reparse | Network.Discord.Types, Network.Discord |
RequestGuildMembers | Network.Discord.Types.Gateway, Network.Discord.Types, Network.Discord |
restServer | Network.Discord.Rest, Network.Discord |
Resume | Network.Discord.Types.Gateway, Network.Discord.Types, Network.Discord |
Resumed | Network.Discord.Types.Events, Network.Discord.Types, Network.Discord |
ResumedEvent | Network.Discord.Framework, Network.Discord |
Role | |
1 (Type/Class) | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
2 (Data Constructor) | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
roleColor | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
roleHoist | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
roleID | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
roleManaged | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
roleMention | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
roleName | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
rolePerms | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
rolePos | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
runAsync | Network.Discord.Framework, Network.Discord |
runBot | Network.Discord.Framework, Network.Discord |
runBotWith | Network.Discord.Framework, Network.Discord |
Running | Network.Discord.Types, Network.Discord |
runWebsocket | Network.Discord.Gateway, Network.Discord |