Embed | |
1 (Type/Class) | Network.Discord.Types.Channel, Network.Discord.Types |
2 (Data Constructor) | Network.Discord.Types.Channel, Network.Discord.Types |
embedChannel | Network.Discord.Types.Guild, Network.Discord.Types |
embedColor | Network.Discord.Types.Channel, Network.Discord.Types |
embedDesc | Network.Discord.Types.Channel, Network.Discord.Types |
embedEnabled | Network.Discord.Types.Guild, Network.Discord.Types |
embedFields | Network.Discord.Types.Channel, Network.Discord.Types |
embedTime | Network.Discord.Types.Channel, Network.Discord.Types |
embedTitle | Network.Discord.Types.Channel, Network.Discord.Types |
embedType | Network.Discord.Types.Channel, Network.Discord.Types |
embedUrl | Network.Discord.Types.Channel, Network.Discord.Types |
Emoji | |
1 (Type/Class) | Network.Discord.Types.Guild, Network.Discord.Types |
2 (Data Constructor) | Network.Discord.Types.Guild, Network.Discord.Types |
emojiId | Network.Discord.Types.Guild, Network.Discord.Types |
emojiManaged | Network.Discord.Types.Guild, Network.Discord.Types |
emojiName | Network.Discord.Types.Guild, Network.Discord.Types |
emojiRoles | Network.Discord.Types.Guild, Network.Discord.Types |
epochTime | Network.Discord.Types |
Event | Network.Discord.Types.Events, Network.Discord.Types |