Safe Haskell | None |
---|---|
Language | Haskell2010 |
Network.Discord
Description
Provides core Discord functionallity.
Documentation
class (DiscordAuth m, Event ~ Domain f, () ~ Codomain f, EventMap f (DiscordApp m)) => EventHandler f m Source #
runBot :: (DiscordAuth m, EventHandler f m) => Proxy (m f) -> IO () Source #
data ReadyEvent Source #
Instances
(DiscordGate m, DiscordRest m) => EventMap ReadyEvent m Source # | |
type Domain ReadyEvent Source # | |
type Codomain ReadyEvent Source # | |
data ResumedEvent Source #
Instances
(DiscordGate m, DiscordRest m) => EventMap ResumedEvent m Source # | |
type Domain ResumedEvent Source # | |
type Codomain ResumedEvent Source # | |
data ChannelCreateEvent Source #
Instances
(DiscordGate m, DiscordRest m) => EventMap ChannelCreateEvent m Source # | |
type Domain ChannelCreateEvent Source # | |
type Codomain ChannelCreateEvent Source # | |
data ChannelUpdateEvent Source #
Instances
(DiscordGate m, DiscordRest m) => EventMap ChannelUpdateEvent m Source # | |
type Domain ChannelUpdateEvent Source # | |
type Codomain ChannelUpdateEvent Source # | |
data ChannelDeleteEvent Source #
Instances
(DiscordGate m, DiscordRest m) => EventMap ChannelDeleteEvent m Source # | |
type Domain ChannelDeleteEvent Source # | |
type Codomain ChannelDeleteEvent Source # | |
data GuildCreateEvent Source #
Instances
(DiscordGate m, DiscordRest m) => EventMap GuildCreateEvent m Source # | |
type Domain GuildCreateEvent Source # | |
type Codomain GuildCreateEvent Source # | |
data GuildUpdateEvent Source #
Instances
(DiscordGate m, DiscordRest m) => EventMap GuildUpdateEvent m Source # | |
type Domain GuildUpdateEvent Source # | |
type Codomain GuildUpdateEvent Source # | |
data GuildDeleteEvent Source #
Instances
(DiscordGate m, DiscordRest m) => EventMap GuildDeleteEvent m Source # | |
type Domain GuildDeleteEvent Source # | |
type Codomain GuildDeleteEvent Source # | |
data GuildBanAddEvent Source #
Instances
(DiscordGate m, DiscordRest m) => EventMap GuildBanAddEvent m Source # | |
type Domain GuildBanAddEvent Source # | |
type Codomain GuildBanAddEvent Source # | |
data GuildBanRemoveEvent Source #
Instances
(DiscordGate m, DiscordRest m) => EventMap GuildBanRemoveEvent m Source # | |
type Domain GuildBanRemoveEvent Source # | |
type Codomain GuildBanRemoveEvent Source # | |
data GuildEmojiUpdateEvent Source #
Instances
(DiscordGate m, DiscordRest m) => EventMap GuildEmojiUpdateEvent m Source # | |
type Domain GuildEmojiUpdateEvent Source # | |
type Codomain GuildEmojiUpdateEvent Source # | |
data GuildIntegrationsUpdateEvent Source #
Instances
data GuildMemberAddEvent Source #
Instances
(DiscordGate m, DiscordRest m) => EventMap GuildMemberAddEvent m Source # | |
type Domain GuildMemberAddEvent Source # | |
type Codomain GuildMemberAddEvent Source # | |
data GuildMemberRemoveEvent Source #
Instances
(DiscordGate m, DiscordRest m) => EventMap GuildMemberRemoveEvent m Source # | |
type Domain GuildMemberRemoveEvent Source # | |
type Codomain GuildMemberRemoveEvent Source # | |
data GuildMemberUpdateEvent Source #
Instances
(DiscordGate m, DiscordRest m) => EventMap GuildMemberUpdateEvent m Source # | |
type Domain GuildMemberUpdateEvent Source # | |
type Codomain GuildMemberUpdateEvent Source # | |
data GuildMemberChunkEvent Source #
Instances
(DiscordGate m, DiscordRest m) => EventMap GuildMemberChunkEvent m Source # | |
type Domain GuildMemberChunkEvent Source # | |
type Codomain GuildMemberChunkEvent Source # | |
data GuildRoleCreateEvent Source #
Instances
(DiscordGate m, DiscordRest m) => EventMap GuildRoleCreateEvent m Source # | |
type Domain GuildRoleCreateEvent Source # | |
type Codomain GuildRoleCreateEvent Source # | |
data GuildRoleUpdateEvent Source #
Instances
(DiscordGate m, DiscordRest m) => EventMap GuildRoleUpdateEvent m Source # | |
type Domain GuildRoleUpdateEvent Source # | |
type Codomain GuildRoleUpdateEvent Source # | |
data GuildRoleDeleteEvent Source #
Instances
(DiscordGate m, DiscordRest m) => EventMap GuildRoleDeleteEvent m Source # | |
type Domain GuildRoleDeleteEvent Source # | |
type Codomain GuildRoleDeleteEvent Source # | |
data MessageCreateEvent Source #
Instances
(DiscordGate m, DiscordRest m) => EventMap MessageCreateEvent m Source # | |
type Domain MessageCreateEvent Source # | |
type Codomain MessageCreateEvent Source # | |
data MessageUpdateEvent Source #
Instances
(DiscordGate m, DiscordRest m) => EventMap MessageUpdateEvent m Source # | |
type Domain MessageUpdateEvent Source # | |
type Codomain MessageUpdateEvent Source # | |
data MessageDeleteEvent Source #
Instances
(DiscordGate m, DiscordRest m) => EventMap MessageDeleteEvent m Source # | |
type Domain MessageDeleteEvent Source # | |
type Codomain MessageDeleteEvent Source # | |
data MessageDeleteBulkEvent Source #
Instances
(DiscordGate m, DiscordRest m) => EventMap MessageDeleteBulkEvent m Source # | |
type Domain MessageDeleteBulkEvent Source # | |
type Codomain MessageDeleteBulkEvent Source # | |
data PresenceUpdateEvent Source #
Instances
(DiscordGate m, DiscordRest m) => EventMap PresenceUpdateEvent m Source # | |
type Domain PresenceUpdateEvent Source # | |
type Codomain PresenceUpdateEvent Source # | |
data TypingStartEvent Source #
Instances
(DiscordGate m, DiscordRest m) => EventMap TypingStartEvent m Source # | |
type Domain TypingStartEvent Source # | |
type Codomain TypingStartEvent Source # | |
data UserSettingsUpdateEvent Source #
Instances
(DiscordGate m, DiscordRest m) => EventMap UserSettingsUpdateEvent m Source # | |
type Domain UserSettingsUpdateEvent Source # | |
type Codomain UserSettingsUpdateEvent Source # | |
data UserUpdateEvent Source #
Instances
(DiscordGate m, DiscordRest m) => EventMap UserUpdateEvent m Source # | |
type Domain UserUpdateEvent Source # | |
type Codomain UserUpdateEvent Source # | |
data VoiceStateUpdateEvent Source #
Instances
(DiscordGate m, DiscordRest m) => EventMap VoiceStateUpdateEvent m Source # | |
type Domain VoiceStateUpdateEvent Source # | |
type Codomain VoiceStateUpdateEvent Source # | |
data VoiceServerUpdateEvent Source #
Instances
(DiscordGate m, DiscordRest m) => EventMap VoiceServerUpdateEvent m Source # | |
type Domain VoiceServerUpdateEvent Source # | |
type Codomain VoiceServerUpdateEvent Source # | |
data OtherEvent a Source #
Instances
(DiscordGate m, DiscordRest m, KnownSymbol e) => EventMap (OtherEvent e) m Source # | |
type Domain (OtherEvent e) Source # | |
type Codomain (OtherEvent e) Source # | |
module Network.Discord.Framework
module Network.Discord.Gateway
module Network.Discord.Rest
module Network.Discord.Types