Index
| +>> | Network.Discord |
| >-> | Network.Discord |
| Account | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
| accountId | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
| accountName | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
| AddGuildMember | Network.Discord.Rest.Guild, Network.Discord.Rest, Network.Discord |
| AddPinnedMessage | Network.Discord.Rest.Channel, Network.Discord.Rest, Network.Discord |
| after | Network.Discord.Rest, Network.Discord |
| asyncState | Network.Discord.Framework, Network.Discord |
| Attachment | |
| 1 (Type/Class) | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| 2 (Data Constructor) | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| attachmentFilename | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| attachmentHeight | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| attachmentId | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| attachmentProxy | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| attachmentSize | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| attachmentUrl | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| attachmentWidth | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| Auth | Network.Discord.Types, Network.Discord |
| Author | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| authToken | Network.Discord.Types, Network.Discord |
| await | Network.Discord |
| baseRequest | Network.Discord.Rest, Network.Discord |
| baseURL | Network.Discord.Rest, Network.Discord |
| Bearer | Network.Discord.Types, Network.Discord |
| before | Network.Discord.Rest, Network.Discord |
| BeginGuildPrune | Network.Discord.Rest.Guild, Network.Discord.Rest, Network.Discord |
| Bot | Network.Discord.Types, Network.Discord |
| BotClient | |
| 1 (Type/Class) | Network.Discord.Framework, Network.Discord |
| 2 (Data Constructor) | Network.Discord.Framework, Network.Discord |
| BulkDeleteMessage | Network.Discord.Rest.Channel, Network.Discord.Rest, Network.Discord |
| Channel | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| channelBitRate | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| ChannelCreate | Network.Discord.Types.Events, Network.Discord.Types, Network.Discord |
| ChannelCreateEvent | Network.Discord.Framework, Network.Discord |
| ChannelDelete | Network.Discord.Types.Events, Network.Discord.Types, Network.Discord |
| ChannelDeleteEvent | Network.Discord.Framework, Network.Discord |
| channelGuild | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| channelId | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| channelLastMessage | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| channelName | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| channelPermissions | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| channelPosition | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| channelRecipients | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| ChannelRequest | Network.Discord.Rest.Channel, Network.Discord.Rest, Network.Discord |
| channelTopic | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| ChannelUpdate | Network.Discord.Types.Events, Network.Discord.Types, Network.Discord |
| ChannelUpdateEvent | Network.Discord.Framework, Network.Discord |
| channelUserLimit | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| Client | |
| 1 (Data Constructor) | Network.Discord.Types, Network.Discord |
| 2 (Type/Class) | Network.Discord.Types, Network.Discord |
| clientProxy | Network.Discord.Framework, Network.Discord |
| Create | Network.Discord.Types, Network.Discord |
| CreateChannelInvite | Network.Discord.Rest.Channel, Network.Discord.Rest, Network.Discord |
| CreateDM | Network.Discord.Rest.User, Network.Discord.Rest, Network.Discord |
| CreateGuildBan | Network.Discord.Rest.Guild, Network.Discord.Rest, Network.Discord |
| CreateGuildChannel | Network.Discord.Rest.Guild, Network.Discord.Rest, Network.Discord |
| CreateGuildIntegration | Network.Discord.Rest.Guild, Network.Discord.Rest, Network.Discord |
| CreateGuildRole | Network.Discord.Rest.Guild, Network.Discord.Rest, Network.Discord |
| CreateMessage | Network.Discord.Rest.Channel, Network.Discord.Rest, Network.Discord |
| creationDate | Network.Discord.Types, Network.Discord |
| delete | Network.Discord.Types, Network.Discord |
| DeleteChannel | Network.Discord.Rest.Channel, Network.Discord.Rest, Network.Discord |
| DeleteChannelPermission | Network.Discord.Rest.Channel, Network.Discord.Rest, Network.Discord |
| DeleteGuild | Network.Discord.Rest.Guild, Network.Discord.Rest, Network.Discord |
| DeleteGuildIntegration | Network.Discord.Rest.Guild, Network.Discord.Rest, Network.Discord |
| DeleteGuildRole | Network.Discord.Rest.Guild, Network.Discord.Rest, Network.Discord |
| DeleteMessage | Network.Discord.Rest.Channel, Network.Discord.Rest, Network.Discord |
| DeletePinnedMessage | Network.Discord.Rest.Channel, Network.Discord.Rest, Network.Discord |
| DirectMessage | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| DiscordBot | Network.Discord.Framework, Network.Discord |
| DiscordM | Network.Discord.Types, Network.Discord |
| DiscordState | |
| 1 (Type/Class) | Network.Discord.Types, Network.Discord |
| 2 (Data Constructor) | Network.Discord.Types, Network.Discord |
| Dispatch | Network.Discord.Types.Gateway, Network.Discord.Types, Network.Discord |
| DoFetch | Network.Discord.Rest, Network.Discord |
| doFetch | Network.Discord.Rest, Network.Discord |
| EditChannelPermissions | Network.Discord.Rest.Channel, Network.Discord.Rest, Network.Discord |
| EditMessage | Network.Discord.Rest.Channel, Network.Discord.Rest, Network.Discord |
| Embed | |
| 1 (Type/Class) | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| 2 (Data Constructor) | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| embedChannel | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
| embedColor | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| embedDesc | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| embedEnabled | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
| embedFields | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| embedTime | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| embedTitle | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| embedType | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| embedUrl | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| Emoji | |
| 1 (Type/Class) | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
| 2 (Data Constructor) | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
| emojiId | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
| emojiManaged | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
| emojiName | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
| emojiRoles | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
| epochTime | Network.Discord.Types, Network.Discord |
| Event | |
| 1 (Type/Class) | Network.Discord.Types.Events, Network.Discord.Types, Network.Discord |
| 2 (Data Constructor) | Network.Discord.Framework, Network.Discord |
| eventCore | Network.Discord.Gateway, Network.Discord |
| Fetch | Network.Discord.Rest, Network.Discord |
| fetch | Network.Discord.Rest, Network.Discord |
| fetch' | Network.Discord.Rest, Network.Discord |
| Fetchable | Network.Discord.Rest, Network.Discord |
| Fetched | Network.Discord.Rest, Network.Discord |
| Field | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| Footer | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| get | Network.Discord |
| getAuth | Network.Discord.Types, Network.Discord |
| GetChannel | Network.Discord.Rest.Channel, Network.Discord.Rest, Network.Discord |
| GetChannelInvites | Network.Discord.Rest.Channel, Network.Discord.Rest, Network.Discord |
| GetChannelMessage | Network.Discord.Rest.Channel, Network.Discord.Rest, Network.Discord |
| GetChannelMessages | Network.Discord.Rest.Channel, Network.Discord.Rest, Network.Discord |
| getClient | Network.Discord.Types, Network.Discord |
| GetCurrentUser | Network.Discord.Rest.User, Network.Discord.Rest, Network.Discord |
| GetCurrentUserGuilds | Network.Discord.Rest.User, Network.Discord.Rest, Network.Discord |
| getGateway | Network.Discord.Rest, Network.Discord |
| GetGuild | Network.Discord.Rest.Guild, Network.Discord.Rest, Network.Discord |
| GetGuildBans | Network.Discord.Rest.Guild, Network.Discord.Rest, Network.Discord |
| GetGuildChannels | Network.Discord.Rest.Guild, Network.Discord.Rest, Network.Discord |
| GetGuildEmbed | Network.Discord.Rest.Guild, Network.Discord.Rest, Network.Discord |
| GetGuildIntegrations | Network.Discord.Rest.Guild, Network.Discord.Rest, Network.Discord |
| GetGuildInvites | Network.Discord.Rest.Guild, Network.Discord.Rest, Network.Discord |
| GetGuildMember | Network.Discord.Rest.Guild, Network.Discord.Rest, Network.Discord |
| GetGuildPruneCount | Network.Discord.Rest.Guild, Network.Discord.Rest, Network.Discord |
| GetGuildRoles | Network.Discord.Rest.Guild, Network.Discord.Rest, Network.Discord |
| GetGuildVoiceRegions | Network.Discord.Rest.Guild, Network.Discord.Rest, Network.Discord |
| GetPinnedMessages | Network.Discord.Rest.Channel, Network.Discord.Rest, Network.Discord |
| getRateLimit | Network.Discord.Rest, Network.Discord |
| getRateLimits | Network.Discord.Types, Network.Discord |
| getSequenceNum | Network.Discord.Types, Network.Discord |
| getState | Network.Discord.Types, Network.Discord |
| getSTMClient | Network.Discord.Types, Network.Discord |
| getTMClient | Network.Discord.Types, Network.Discord |
| GetUser | Network.Discord.Rest.User, Network.Discord.Rest, Network.Discord |
| GetUserDMs | Network.Discord.Rest.User, Network.Discord.Rest, Network.Discord |
| getWebSocket | Network.Discord.Types, Network.Discord |
| Guild | |
| 1 (Type/Class) | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
| 2 (Data Constructor) | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
| guildAfkId | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
| guildAfkTimeout | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
| GuildBanAdd | Network.Discord.Types.Events, Network.Discord.Types, Network.Discord |
| GuildBanAddEvent | Network.Discord.Framework, Network.Discord |
| GuildBanRemove | Network.Discord.Types.Events, Network.Discord.Types, Network.Discord |
| GuildBanRemoveEvent | Network.Discord.Framework, Network.Discord |
| GuildCreate | Network.Discord.Types.Events, Network.Discord.Types, Network.Discord |
| GuildCreateEvent | Network.Discord.Framework, Network.Discord |
| GuildDelete | Network.Discord.Types.Events, Network.Discord.Types, Network.Discord |
| GuildDeleteEvent | Network.Discord.Framework, Network.Discord |
| GuildEmbed | |
| 1 (Type/Class) | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
| 2 (Data Constructor) | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
| guildEmbedChannel | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
| guildEmbedEnabled | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
| guildEmojis | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
| GuildEmojiUpdate | Network.Discord.Types.Events, Network.Discord.Types, Network.Discord |
| GuildEmojiUpdateEvent | Network.Discord.Framework, Network.Discord |
| guildIcon | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
| guildId | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
| GuildIntegrationsUpdate | Network.Discord.Types.Events, Network.Discord.Types, Network.Discord |
| GuildIntegrationsUpdateEvent | Network.Discord.Framework, Network.Discord |
| GuildMember | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
| GuildMemberAdd | Network.Discord.Types.Events, Network.Discord.Types, Network.Discord |
| GuildMemberAddEvent | Network.Discord.Framework, Network.Discord |
| GuildMemberChunk | Network.Discord.Types.Events, Network.Discord.Types, Network.Discord |
| GuildMemberChunkEvent | Network.Discord.Framework, Network.Discord |
| GuildMemberRemove | Network.Discord.Types.Events, Network.Discord.Types, Network.Discord |
| GuildMemberRemoveEvent | Network.Discord.Framework, Network.Discord |
| GuildMemberUpdate | Network.Discord.Types.Events, Network.Discord.Types, Network.Discord |
| GuildMemberUpdateEvent | Network.Discord.Framework, Network.Discord |
| guildName | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
| guildNotification | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
| guildOwner | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
| guildRegion | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
| GuildRequest | Network.Discord.Rest.Guild, Network.Discord.Rest, Network.Discord |
| GuildRoleCreate | Network.Discord.Types.Events, Network.Discord.Types, Network.Discord |
| GuildRoleCreateEvent | Network.Discord.Framework, Network.Discord |
| GuildRoleDelete | Network.Discord.Types.Events, Network.Discord.Types, Network.Discord |
| GuildRoleDeleteEvent | Network.Discord.Framework, Network.Discord |
| guildRoles | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
| GuildRoleUpdate | Network.Discord.Types.Events, Network.Discord.Types, Network.Discord |
| GuildRoleUpdateEvent | Network.Discord.Framework, Network.Discord |
| guildSplash | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
| GuildUpdate | Network.Discord.Types.Events, Network.Discord.Types, Network.Discord |
| GuildUpdateEvent | Network.Discord.Framework, Network.Discord |
| guildVerification | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
| Handle | Network.Discord.Framework, Network.Discord |
| handle | Network.Discord.Framework, Network.Discord |
| Heartbeat | Network.Discord.Types.Gateway, Network.Discord.Types, Network.Discord |
| heartbeat | Network.Discord.Gateway, Network.Discord |
| HeartbeatAck | Network.Discord.Types.Gateway, Network.Discord.Types, Network.Discord |
| Hello | Network.Discord.Types.Gateway, Network.Discord.Types, Network.Discord |
| Identify | Network.Discord.Types.Gateway, Network.Discord.Types, Network.Discord |
| Image | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| Init | |
| 1 (Type/Class) | Network.Discord.Types.Events, Network.Discord.Types, Network.Discord |
| 2 (Data Constructor) | Network.Discord.Types.Events, Network.Discord.Types, Network.Discord |
| insert | Network.Discord.Types, Network.Discord |
| Integration | |
| 1 (Type/Class) | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
| 2 (Data Constructor) | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
| IntegrationAccount | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
| integrationAccount | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
| integrationBehavior | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
| integrationEnabled | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
| integrationGrace | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
| integrationId | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
| integrationName | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
| integrationOwner | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
| integrationRole | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
| integrationSync | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
| integrationSyncing | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
| integrationType | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
| InvalidDead | Network.Discord.Types, Network.Discord |
| InvalidReconnect | Network.Discord.Types, Network.Discord |
| InvalidSession | Network.Discord.Types.Gateway, Network.Discord.Types, Network.Discord |
| Invite | |
| 1 (Type/Class) | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
| 2 (Data Constructor) | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
| inviteAge | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
| inviteChan | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
| inviteCode | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
| inviteCreated | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
| inviteCreator | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
| inviteGuild | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
| InviteLong | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
| inviteMax | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
| InviteMeta | |
| 1 (Type/Class) | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
| 2 (Data Constructor) | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
| inviteRevoked | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
| inviteTemp | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
| inviteUses | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
| justRight | Network.Discord.Types, Network.Discord |
| LeaveGuild | Network.Discord.Rest.User, Network.Discord.Rest, Network.Discord |
| liftIO | Network.Discord |
| limit | Network.Discord.Rest, Network.Discord |
| ListGuildMembers | Network.Discord.Rest.Guild, Network.Discord.Rest, Network.Discord |
| makeEvents | Network.Discord.Gateway, Network.Discord |
| makeWebsocketSource | Network.Discord.Gateway, Network.Discord |
| Member | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
| MemberShort | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
| merge | Network.Discord.Types, Network.Discord |
| mergeClient | Network.Discord.Types, Network.Discord |
| Message | |
| 1 (Type/Class) | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| 2 (Data Constructor) | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| messageAttachments | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| messageAuthor | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| messageChannel | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| messageContent | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| MessageCreate | Network.Discord.Types.Events, Network.Discord.Types, Network.Discord |
| MessageCreateEvent | Network.Discord.Framework, Network.Discord |
| MessageDelete | Network.Discord.Types.Events, Network.Discord.Types, Network.Discord |
| MessageDeleteBulk | Network.Discord.Types.Events, Network.Discord.Types, Network.Discord |
| MessageDeleteBulkEvent | Network.Discord.Framework, Network.Discord |
| MessageDeleteEvent | Network.Discord.Framework, Network.Discord |
| messageEdited | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| messageEmbeds | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| messageEveryone | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| messageId | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| messageMentionRoles | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| messageMentions | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| messageNonce | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| messagePinned | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| messageTimestamp | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| messageTts | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| MessageUpdate | Network.Discord.Types.Events, Network.Discord.Types, Network.Discord |
| MessageUpdateEvent | Network.Discord.Framework, Network.Discord |
| Misc | Network.Discord.Framework, Network.Discord |
| ModifyChannel | Network.Discord.Rest.Channel, Network.Discord.Rest, Network.Discord |
| ModifyChanPosition | Network.Discord.Rest.Guild, Network.Discord.Rest, Network.Discord |
| modifyClient | Network.Discord.Types, Network.Discord |
| ModifyCurrentUser | Network.Discord.Rest.User, Network.Discord.Rest, Network.Discord |
| ModifyGuild | Network.Discord.Rest.Guild, Network.Discord.Rest, Network.Discord |
| ModifyGuildEmbed | Network.Discord.Rest.Guild, Network.Discord.Rest, Network.Discord |
| ModifyGuildIntegration | Network.Discord.Rest.Guild, Network.Discord.Rest, Network.Discord |
| ModifyGuildMember | Network.Discord.Rest.Guild, Network.Discord.Rest, Network.Discord |
| ModifyGuildRole | Network.Discord.Rest.Guild, Network.Discord.Rest, Network.Discord |
| ModifyGuildRolePositions | Network.Discord.Rest.Guild, Network.Discord.Rest, Network.Discord |
| Null | Network.Discord.Framework, Network.Discord |
| Overwrite | |
| 1 (Type/Class) | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| 2 (Data Constructor) | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| overwriteAllow | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| overwriteDeny | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| overwriteId | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| overWriteType | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| parseDispatch | Network.Discord.Types.Events, Network.Discord.Types, Network.Discord |
| ParseError | Network.Discord.Types.Gateway, Network.Discord.Types, Network.Discord |
| Payload | Network.Discord.Types.Gateway, Network.Discord.Types, Network.Discord |
| PresenceUpdate | Network.Discord.Types.Events, Network.Discord.Types, Network.Discord |
| PresenceUpdateEvent | Network.Discord.Framework, Network.Discord |
| Provider | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| put | Network.Discord |
| 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 |
| setRateLimit | Network.Discord.Rest, Network.Discord |
| Snowflake | |
| 1 (Type/Class) | Network.Discord.Types, Network.Discord |
| 2 (Data Constructor) | Network.Discord.Types, Network.Discord |
| Start | Network.Discord.Types, Network.Discord |
| StateEnum | Network.Discord.Types, Network.Discord |
| StatusUpdate | Network.Discord.Types.Gateway, Network.Discord.Types, Network.Discord |
| SubEmbed | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| SyncFetched | Network.Discord.Rest, Network.Discord |
| SyncGuildIntegration | Network.Discord.Rest.Guild, Network.Discord.Rest, Network.Discord |
| Text | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| Thumbnail | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| toQueryString | Network.Discord.Rest, Network.Discord |
| TriggerTypingIndicator | Network.Discord.Rest.Channel, Network.Discord.Rest, Network.Discord |
| TypingStart | Network.Discord.Types.Events, Network.Discord.Types, Network.Discord |
| TypingStartEvent | Network.Discord.Framework, Network.Discord |
| Unavailable | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
| UnknownEvent | Network.Discord.Types.Events, Network.Discord.Types, Network.Discord |
| unless | Network.Discord |
| UploadFile | Network.Discord.Rest.Channel, Network.Discord.Rest, Network.Discord |
| User | |
| 1 (Type/Class) | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| 2 (Data Constructor) | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| userAvatar | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| userDiscrim | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| userEmail | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| userId | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| userIsBot | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| userMfa | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| userName | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| UserRequest | Network.Discord.Rest.User, Network.Discord.Rest, Network.Discord |
| UserSettingsUpdate | Network.Discord.Types.Events, Network.Discord.Types, Network.Discord |
| UserSettingsUpdateEvent | Network.Discord.Framework, Network.Discord |
| UserUpdate | Network.Discord.Types.Events, Network.Discord.Types, Network.Discord |
| UserUpdateEvent | Network.Discord.Framework, Network.Discord |
| userVerified | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| Video | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| Voice | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| VoiceRegion | |
| 1 (Type/Class) | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
| 2 (Data Constructor) | Network.Discord.Types.Guild, Network.Discord.Types, Network.Discord |
| VoiceServerUpdate | Network.Discord.Types.Events, Network.Discord.Types, Network.Discord |
| VoiceServerUpdateEvent | Network.Discord.Framework, Network.Discord |
| VoiceStateUpdate | Network.Discord.Types.Events, Network.Discord.Types, Network.Discord |
| VoiceStateUpdateEvent | Network.Discord.Framework, Network.Discord |
| VoiceStatusUpdate | Network.Discord.Types.Gateway, Network.Discord.Types, Network.Discord |
| void | Network.Discord |
| waitRateLimit | Network.Discord.Rest, Network.Discord |
| Webhook | Network.Discord.Types.Channel, Network.Discord.Types, Network.Discord |
| when | Network.Discord |
| with | Network.Discord.Framework, Network.Discord |
| withApi | Network.Discord.Rest, Network.Discord |
| yield | Network.Discord |
| ~> | Network.Discord |