Ready | Network.Discord.Types.Events, Network.Discord.Types |
Reconnect | Network.Discord.Types.Gateway, Network.Discord.Types |
regionCustom | Network.Discord.Types.Guild, Network.Discord.Types |
regionDepreciated | Network.Discord.Types.Guild, Network.Discord.Types |
regionHostname | Network.Discord.Types.Guild, Network.Discord.Types |
regionId | Network.Discord.Types.Guild, Network.Discord.Types |
regionName | Network.Discord.Types.Guild, Network.Discord.Types |
regionOptimal | Network.Discord.Types.Guild, Network.Discord.Types |
regionPort | Network.Discord.Types.Guild, Network.Discord.Types |
regionVip | Network.Discord.Types.Guild, Network.Discord.Types |
reparse | Network.Discord.Types |
RequestGuildMembers | Network.Discord.Types.Gateway, Network.Discord.Types |
Resume | Network.Discord.Types.Gateway, Network.Discord.Types |
Resumed | Network.Discord.Types.Events, Network.Discord.Types |
Role | |
1 (Type/Class) | Network.Discord.Types.Guild, Network.Discord.Types |
2 (Data Constructor) | Network.Discord.Types.Guild, Network.Discord.Types |
roleColor | Network.Discord.Types.Guild, Network.Discord.Types |
roleHoist | Network.Discord.Types.Guild, Network.Discord.Types |
roleID | Network.Discord.Types.Guild, Network.Discord.Types |
roleManaged | Network.Discord.Types.Guild, Network.Discord.Types |
roleMention | Network.Discord.Types.Guild, Network.Discord.Types |
roleName | Network.Discord.Types.Guild, Network.Discord.Types |
rolePerms | Network.Discord.Types.Guild, Network.Discord.Types |
rolePos | Network.Discord.Types.Guild, Network.Discord.Types |
runIO | Network.Discord.Types |