Unavailable | Network.Discord.Types.Guild, Network.Discord.Types |
UnknownEvent | Network.Discord.Types.Events, Network.Discord.Types |
User | |
1 (Type/Class) | Network.Discord.Types.Channel, Network.Discord.Types |
2 (Data Constructor) | Network.Discord.Types.Channel, Network.Discord.Types |
userAvatar | Network.Discord.Types.Channel, Network.Discord.Types |
userDiscrim | Network.Discord.Types.Channel, Network.Discord.Types |
userEmail | Network.Discord.Types.Channel, Network.Discord.Types |
userId | Network.Discord.Types.Channel, Network.Discord.Types |
userIsBot | Network.Discord.Types.Channel, Network.Discord.Types |
userMfa | Network.Discord.Types.Channel, Network.Discord.Types |
userName | Network.Discord.Types.Channel, Network.Discord.Types |
UserSettingsUpdate | Network.Discord.Types.Events, Network.Discord.Types |
UserUpdate | Network.Discord.Types.Events, Network.Discord.Types |
userVerified | Network.Discord.Types.Channel, Network.Discord.Types |