Account | Network.Discord.Types.Guild, Network.Discord.Types |
accountId | Network.Discord.Types.Guild, Network.Discord.Types |
accountName | Network.Discord.Types.Guild, Network.Discord.Types |
Attachment | |
1 (Type/Class) | Network.Discord.Types.Channel, Network.Discord.Types |
2 (Data Constructor) | Network.Discord.Types.Channel, Network.Discord.Types |
attachmentFilename | Network.Discord.Types.Channel, Network.Discord.Types |
attachmentHeight | Network.Discord.Types.Channel, Network.Discord.Types |
attachmentId | Network.Discord.Types.Channel, Network.Discord.Types |
attachmentProxy | Network.Discord.Types.Channel, Network.Discord.Types |
attachmentSize | Network.Discord.Types.Channel, Network.Discord.Types |
attachmentUrl | Network.Discord.Types.Channel, Network.Discord.Types |
attachmentWidth | Network.Discord.Types.Channel, Network.Discord.Types |
Auth | Network.Discord.Types |
auth | Network.Discord.Types |
Author | Network.Discord.Types.Channel, Network.Discord.Types |
authToken | Network.Discord.Types |
Bearer | Network.Discord.Types |
Bot | Network.Discord.Types |
Channel | Network.Discord.Types.Channel, Network.Discord.Types |
channelBitRate | Network.Discord.Types.Channel, Network.Discord.Types |
ChannelCreate | Network.Discord.Types.Events, Network.Discord.Types |
ChannelDelete | Network.Discord.Types.Events, Network.Discord.Types |
channelGuild | Network.Discord.Types.Channel, Network.Discord.Types |
channelId | Network.Discord.Types.Channel, Network.Discord.Types |
channelLastMessage | Network.Discord.Types.Channel, Network.Discord.Types |
channelName | Network.Discord.Types.Channel, Network.Discord.Types |
channelPermissions | Network.Discord.Types.Channel, Network.Discord.Types |
channelPosition | Network.Discord.Types.Channel, Network.Discord.Types |
channelRecipients | Network.Discord.Types.Channel, Network.Discord.Types |
channelTopic | Network.Discord.Types.Channel, Network.Discord.Types |
ChannelUpdate | Network.Discord.Types.Events, Network.Discord.Types |
channelUserLimit | Network.Discord.Types.Channel, Network.Discord.Types |
Client | Network.Discord.Types |
creationDate | Network.Discord.Types |
DirectMessage | Network.Discord.Types.Channel, Network.Discord.Types |
DiscordAuth | Network.Discord.Types |
Dispatch | Network.Discord.Types.Gateway, Network.Discord.Types |
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 |
Field | Network.Discord.Types.Channel, Network.Discord.Types |
Footer | Network.Discord.Types.Channel, Network.Discord.Types |
Guild | |
1 (Type/Class) | Network.Discord.Types.Guild, Network.Discord.Types |
2 (Data Constructor) | Network.Discord.Types.Guild, Network.Discord.Types |
guildAfkId | Network.Discord.Types.Guild, Network.Discord.Types |
guildAfkTimeout | Network.Discord.Types.Guild, Network.Discord.Types |
GuildBanAdd | Network.Discord.Types.Events, Network.Discord.Types |
GuildBanRemove | Network.Discord.Types.Events, Network.Discord.Types |
GuildCreate | Network.Discord.Types.Events, Network.Discord.Types |
GuildDelete | Network.Discord.Types.Events, Network.Discord.Types |
GuildEmbed | |
1 (Type/Class) | Network.Discord.Types.Guild, Network.Discord.Types |
2 (Data Constructor) | Network.Discord.Types.Guild, Network.Discord.Types |
guildEmbedChannel | Network.Discord.Types.Guild, Network.Discord.Types |
guildEmbedEnabled | Network.Discord.Types.Guild, Network.Discord.Types |
guildEmojis | Network.Discord.Types.Guild, Network.Discord.Types |
GuildEmojiUpdate | Network.Discord.Types.Events, Network.Discord.Types |
guildIcon | Network.Discord.Types.Guild, Network.Discord.Types |
guildId | Network.Discord.Types.Guild, Network.Discord.Types |
GuildIntegrationsUpdate | Network.Discord.Types.Events, Network.Discord.Types |
GuildMember | Network.Discord.Types.Guild, Network.Discord.Types |
GuildMemberAdd | Network.Discord.Types.Events, Network.Discord.Types |
GuildMemberChunk | Network.Discord.Types.Events, Network.Discord.Types |
GuildMemberRemove | Network.Discord.Types.Events, Network.Discord.Types |
GuildMemberUpdate | Network.Discord.Types.Events, Network.Discord.Types |
guildName | Network.Discord.Types.Guild, Network.Discord.Types |
guildNotification | Network.Discord.Types.Guild, Network.Discord.Types |
guildOwner | Network.Discord.Types.Guild, Network.Discord.Types |
guildRegion | Network.Discord.Types.Guild, Network.Discord.Types |
GuildRoleCreate | Network.Discord.Types.Events, Network.Discord.Types |
GuildRoleDelete | Network.Discord.Types.Events, Network.Discord.Types |
guildRoles | Network.Discord.Types.Guild, Network.Discord.Types |
GuildRoleUpdate | Network.Discord.Types.Events, Network.Discord.Types |
guildSplash | Network.Discord.Types.Guild, Network.Discord.Types |
GuildUpdate | Network.Discord.Types.Events, Network.Discord.Types |
guildVerification | Network.Discord.Types.Guild, Network.Discord.Types |
Heartbeat | Network.Discord.Types.Gateway, Network.Discord.Types |
HeartbeatAck | Network.Discord.Types.Gateway, Network.Discord.Types |
Hello | Network.Discord.Types.Gateway, Network.Discord.Types |
Identify | Network.Discord.Types.Gateway, Network.Discord.Types |
Image | Network.Discord.Types.Channel, Network.Discord.Types |
Init | |
1 (Type/Class) | Network.Discord.Types.Events, Network.Discord.Types |
2 (Data Constructor) | Network.Discord.Types.Events, Network.Discord.Types |
Integration | |
1 (Type/Class) | Network.Discord.Types.Guild, Network.Discord.Types |
2 (Data Constructor) | Network.Discord.Types.Guild, Network.Discord.Types |
IntegrationAccount | Network.Discord.Types.Guild, Network.Discord.Types |
integrationAccount | Network.Discord.Types.Guild, Network.Discord.Types |
integrationBehavior | Network.Discord.Types.Guild, Network.Discord.Types |
integrationEnabled | Network.Discord.Types.Guild, Network.Discord.Types |
integrationGrace | Network.Discord.Types.Guild, Network.Discord.Types |
integrationId | Network.Discord.Types.Guild, Network.Discord.Types |
integrationName | Network.Discord.Types.Guild, Network.Discord.Types |
integrationOwner | Network.Discord.Types.Guild, Network.Discord.Types |
integrationRole | Network.Discord.Types.Guild, Network.Discord.Types |
integrationSync | Network.Discord.Types.Guild, Network.Discord.Types |
integrationSyncing | Network.Discord.Types.Guild, Network.Discord.Types |
integrationType | Network.Discord.Types.Guild, Network.Discord.Types |
InvalidSession | Network.Discord.Types.Gateway, Network.Discord.Types |
Invite | |
1 (Type/Class) | Network.Discord.Types.Guild, Network.Discord.Types |
2 (Data Constructor) | Network.Discord.Types.Guild, Network.Discord.Types |
inviteAge | Network.Discord.Types.Guild, Network.Discord.Types |
inviteChan | Network.Discord.Types.Guild, Network.Discord.Types |
inviteCode | Network.Discord.Types.Guild, Network.Discord.Types |
inviteCreated | Network.Discord.Types.Guild, Network.Discord.Types |
inviteCreator | Network.Discord.Types.Guild, Network.Discord.Types |
inviteGuild | Network.Discord.Types.Guild, Network.Discord.Types |
InviteLong | Network.Discord.Types.Guild, Network.Discord.Types |
inviteMax | Network.Discord.Types.Guild, Network.Discord.Types |
InviteMeta | |
1 (Type/Class) | Network.Discord.Types.Guild, Network.Discord.Types |
2 (Data Constructor) | Network.Discord.Types.Guild, Network.Discord.Types |
inviteRevoked | Network.Discord.Types.Guild, Network.Discord.Types |
inviteTemp | Network.Discord.Types.Guild, Network.Discord.Types |
inviteUses | Network.Discord.Types.Guild, Network.Discord.Types |
justRight | Network.Discord.Types |
Member | Network.Discord.Types.Guild, Network.Discord.Types |
MemberShort | Network.Discord.Types.Guild, Network.Discord.Types |
Message | |
1 (Type/Class) | Network.Discord.Types.Channel, Network.Discord.Types |
2 (Data Constructor) | Network.Discord.Types.Channel, Network.Discord.Types |
messageAttachments | Network.Discord.Types.Channel, Network.Discord.Types |
messageAuthor | Network.Discord.Types.Channel, Network.Discord.Types |
messageChannel | Network.Discord.Types.Channel, Network.Discord.Types |
messageContent | Network.Discord.Types.Channel, Network.Discord.Types |
MessageCreate | Network.Discord.Types.Events, Network.Discord.Types |
MessageDelete | Network.Discord.Types.Events, Network.Discord.Types |
MessageDeleteBulk | Network.Discord.Types.Events, Network.Discord.Types |
messageEdited | Network.Discord.Types.Channel, Network.Discord.Types |
messageEmbeds | Network.Discord.Types.Channel, Network.Discord.Types |
messageEveryone | Network.Discord.Types.Channel, Network.Discord.Types |
messageId | Network.Discord.Types.Channel, Network.Discord.Types |
messageMentionRoles | Network.Discord.Types.Channel, Network.Discord.Types |
messageMentions | Network.Discord.Types.Channel, Network.Discord.Types |
messageNonce | Network.Discord.Types.Channel, Network.Discord.Types |
messagePinned | Network.Discord.Types.Channel, Network.Discord.Types |
messageTimestamp | Network.Discord.Types.Channel, Network.Discord.Types |
messageTts | Network.Discord.Types.Channel, Network.Discord.Types |
MessageUpdate | Network.Discord.Types.Events, Network.Discord.Types |
Nil | Network.Discord.Types.Events, Network.Discord.Types |
Object | Network.Discord.Types |
Overwrite | |
1 (Type/Class) | Network.Discord.Types.Channel, Network.Discord.Types |
2 (Data Constructor) | Network.Discord.Types.Channel, Network.Discord.Types |
overwriteAllow | Network.Discord.Types.Channel, Network.Discord.Types |
overwriteDeny | Network.Discord.Types.Channel, Network.Discord.Types |
overwriteId | Network.Discord.Types.Channel, Network.Discord.Types |
overWriteType | Network.Discord.Types.Channel, Network.Discord.Types |
parseDispatch | Network.Discord.Types.Events, Network.Discord.Types |
ParseError | Network.Discord.Types.Gateway, Network.Discord.Types |
Payload | Network.Discord.Types.Gateway, Network.Discord.Types |
PresenceUpdate | Network.Discord.Types.Events, Network.Discord.Types |
Provider | Network.Discord.Types.Channel, Network.Discord.Types |
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 |
Snowflake | |
1 (Type/Class) | Network.Discord.Types |
2 (Data Constructor) | Network.Discord.Types |
StatusUpdate | Network.Discord.Types.Gateway, Network.Discord.Types |
SubEmbed | Network.Discord.Types.Channel, Network.Discord.Types |
Text | Network.Discord.Types.Channel, Network.Discord.Types |
Thumbnail | Network.Discord.Types.Channel, Network.Discord.Types |
TypingStart | Network.Discord.Types.Events, Network.Discord.Types |
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 |
version | Network.Discord.Types |
Video | Network.Discord.Types.Channel, Network.Discord.Types |
Voice | Network.Discord.Types.Channel, Network.Discord.Types |
VoiceRegion | |
1 (Type/Class) | Network.Discord.Types.Guild, Network.Discord.Types |
2 (Data Constructor) | Network.Discord.Types.Guild, Network.Discord.Types |
VoiceServerUpdate | Network.Discord.Types.Events, Network.Discord.Types |
VoiceStateUpdate | Network.Discord.Types.Events, Network.Discord.Types |
VoiceStatusUpdate | Network.Discord.Types.Gateway, Network.Discord.Types |
Webhook | Network.Discord.Types.Channel, Network.Discord.Types |