Safe Haskell	None
Language	Haskell2010

Network.Discord.Framework

Description

Provides a convenience framework for writing Discord bots without dealing with Pipes

Documentation

newtype DiscordApp m a Source #

Constructors

DiscordApp
Fields runEvent :: DiscordAuth m => Connection -> Event -> m a

Instances

Monad (DiscordApp m) Source #
Methods (>>=) :: DiscordApp m a -> (a -> DiscordApp m b) -> DiscordApp m b # (>>) :: DiscordApp m a -> DiscordApp m b -> DiscordApp m b # return :: a -> DiscordApp m a # fail :: String -> DiscordApp m a #
Functor (DiscordApp m) Source #
Methods fmap :: (a -> b) -> DiscordApp m a -> DiscordApp m b # (<$) :: a -> DiscordApp m b -> DiscordApp m a #
Applicative (DiscordApp m) Source #
Methods pure :: a -> DiscordApp m a # (<>) :: DiscordApp m (a -> b) -> DiscordApp m a -> DiscordApp m b # (>) :: DiscordApp m a -> DiscordApp m b -> DiscordApp m b # (<*) :: DiscordApp m a -> DiscordApp m b -> DiscordApp m a #
Alternative (DiscordApp m) Source #
Methods empty :: DiscordApp m a # (<\|>) :: DiscordApp m a -> DiscordApp m a -> DiscordApp m a # some :: DiscordApp m a -> DiscordApp m [a] # many :: DiscordApp m a -> DiscordApp m [a] #
MonadPlus (DiscordApp m) Source #
Methods mzero :: DiscordApp m a # mplus :: DiscordApp m a -> DiscordApp m a -> DiscordApp m a #
MonadIO (DiscordApp m) Source #
Methods liftIO :: IO a -> DiscordApp m a #
DiscordAuth m => DiscordGate (DiscordApp m) Source #
Associated Types data VaultKey (DiscordApp m :: * -> ) a :: # type Vault (DiscordApp m :: * -> ) :: -> * # Methods get :: Vault (DiscordApp m) a -> DiscordApp m a # put :: Vault (DiscordApp m) a -> a -> DiscordApp m () # sequenceKey :: VaultKey (DiscordApp m) Integer # storeFor :: VaultKey (DiscordApp m) a -> DiscordApp m (Vault (DiscordApp m) a) # connection :: DiscordApp m Connection # feed :: DiscordApp m () -> Event -> DiscordApp m () # run :: DiscordApp m () -> Connection -> IO () # fork :: DiscordApp m () -> DiscordApp m () #
DiscordAuth m => DiscordRest (DiscordApp m) Source #
Methods getRateLimit :: DoFetch f a => f a -> DiscordApp m (Maybe Int) # setRateLimit :: DoFetch f a => f a -> Int -> DiscordApp m () # waitRateLimit :: DoFetch f a => f a -> DiscordApp m () #
DiscordAuth (DiscordApp m) Source #
Methods auth :: DiscordApp m Auth # version :: DiscordApp m String # runIO :: DiscordApp m a -> IO a #
type Vault (DiscordApp m) Source #
type Vault (DiscordApp m) = MVar
data VaultKey (DiscordApp m) Source #
data VaultKey (DiscordApp m) = Store (MVar a)

rateLimits :: Vault (DiscordApp m) [(Int, Int)] Source #

delete :: Eq a => [(a, b)] -> a -> [(a, b)] Source #

modify :: Eq a => a -> b -> [(a, b)] -> [(a, b)] Source #

class DiscordRest m => EventMap f m where Source #

Minimal complete definition

mapEvent

Associated Types

type Domain f Source #

type Codomain f Source #

Methods

mapEvent :: Proxy f -> Domain f -> m (Codomain f) Source #

Instances

(DiscordGate m, DiscordRest m) => EventMap VoiceServerUpdateEvent m Source #
Associated Types type Domain VoiceServerUpdateEvent :: * Source # type Codomain VoiceServerUpdateEvent :: * Source # Methods mapEvent :: Proxy * VoiceServerUpdateEvent -> Domain VoiceServerUpdateEvent -> m (Codomain VoiceServerUpdateEvent) Source #
(DiscordGate m, DiscordRest m) => EventMap VoiceStateUpdateEvent m Source #
Associated Types type Domain VoiceStateUpdateEvent :: * Source # type Codomain VoiceStateUpdateEvent :: * Source # Methods mapEvent :: Proxy * VoiceStateUpdateEvent -> Domain VoiceStateUpdateEvent -> m (Codomain VoiceStateUpdateEvent) Source #
(DiscordGate m, DiscordRest m) => EventMap UserUpdateEvent m Source #
Associated Types type Domain UserUpdateEvent :: * Source # type Codomain UserUpdateEvent :: * Source # Methods mapEvent :: Proxy * UserUpdateEvent -> Domain UserUpdateEvent -> m (Codomain UserUpdateEvent) Source #
(DiscordGate m, DiscordRest m) => EventMap UserSettingsUpdateEvent m Source #
Associated Types type Domain UserSettingsUpdateEvent :: * Source # type Codomain UserSettingsUpdateEvent :: * Source # Methods mapEvent :: Proxy * UserSettingsUpdateEvent -> Domain UserSettingsUpdateEvent -> m (Codomain UserSettingsUpdateEvent) Source #
(DiscordGate m, DiscordRest m) => EventMap TypingStartEvent m Source #
Associated Types type Domain TypingStartEvent :: * Source # type Codomain TypingStartEvent :: * Source # Methods mapEvent :: Proxy * TypingStartEvent -> Domain TypingStartEvent -> m (Codomain TypingStartEvent) Source #
(DiscordGate m, DiscordRest m) => EventMap PresenceUpdateEvent m Source #
Associated Types type Domain PresenceUpdateEvent :: * Source # type Codomain PresenceUpdateEvent :: * Source # Methods mapEvent :: Proxy * PresenceUpdateEvent -> Domain PresenceUpdateEvent -> m (Codomain PresenceUpdateEvent) Source #
(DiscordGate m, DiscordRest m) => EventMap MessageDeleteBulkEvent m Source #
Associated Types type Domain MessageDeleteBulkEvent :: * Source # type Codomain MessageDeleteBulkEvent :: * Source # Methods mapEvent :: Proxy * MessageDeleteBulkEvent -> Domain MessageDeleteBulkEvent -> m (Codomain MessageDeleteBulkEvent) Source #
(DiscordGate m, DiscordRest m) => EventMap MessageDeleteEvent m Source #
Associated Types type Domain MessageDeleteEvent :: * Source # type Codomain MessageDeleteEvent :: * Source # Methods mapEvent :: Proxy * MessageDeleteEvent -> Domain MessageDeleteEvent -> m (Codomain MessageDeleteEvent) Source #
(DiscordGate m, DiscordRest m) => EventMap MessageUpdateEvent m Source #
Associated Types type Domain MessageUpdateEvent :: * Source # type Codomain MessageUpdateEvent :: * Source # Methods mapEvent :: Proxy * MessageUpdateEvent -> Domain MessageUpdateEvent -> m (Codomain MessageUpdateEvent) Source #
(DiscordGate m, DiscordRest m) => EventMap MessageCreateEvent m Source #
Associated Types type Domain MessageCreateEvent :: * Source # type Codomain MessageCreateEvent :: * Source # Methods mapEvent :: Proxy * MessageCreateEvent -> Domain MessageCreateEvent -> m (Codomain MessageCreateEvent) Source #
(DiscordGate m, DiscordRest m) => EventMap GuildRoleDeleteEvent m Source #
Associated Types type Domain GuildRoleDeleteEvent :: * Source # type Codomain GuildRoleDeleteEvent :: * Source # Methods mapEvent :: Proxy * GuildRoleDeleteEvent -> Domain GuildRoleDeleteEvent -> m (Codomain GuildRoleDeleteEvent) Source #
(DiscordGate m, DiscordRest m) => EventMap GuildRoleUpdateEvent m Source #
Associated Types type Domain GuildRoleUpdateEvent :: * Source # type Codomain GuildRoleUpdateEvent :: * Source # Methods mapEvent :: Proxy * GuildRoleUpdateEvent -> Domain GuildRoleUpdateEvent -> m (Codomain GuildRoleUpdateEvent) Source #
(DiscordGate m, DiscordRest m) => EventMap GuildRoleCreateEvent m Source #
Associated Types type Domain GuildRoleCreateEvent :: * Source # type Codomain GuildRoleCreateEvent :: * Source # Methods mapEvent :: Proxy * GuildRoleCreateEvent -> Domain GuildRoleCreateEvent -> m (Codomain GuildRoleCreateEvent) Source #
(DiscordGate m, DiscordRest m) => EventMap GuildMemberChunkEvent m Source #
Associated Types type Domain GuildMemberChunkEvent :: * Source # type Codomain GuildMemberChunkEvent :: * Source # Methods mapEvent :: Proxy * GuildMemberChunkEvent -> Domain GuildMemberChunkEvent -> m (Codomain GuildMemberChunkEvent) Source #
(DiscordGate m, DiscordRest m) => EventMap GuildMemberUpdateEvent m Source #
Associated Types type Domain GuildMemberUpdateEvent :: * Source # type Codomain GuildMemberUpdateEvent :: * Source # Methods mapEvent :: Proxy * GuildMemberUpdateEvent -> Domain GuildMemberUpdateEvent -> m (Codomain GuildMemberUpdateEvent) Source #
(DiscordGate m, DiscordRest m) => EventMap GuildMemberRemoveEvent m Source #
Associated Types type Domain GuildMemberRemoveEvent :: * Source # type Codomain GuildMemberRemoveEvent :: * Source # Methods mapEvent :: Proxy * GuildMemberRemoveEvent -> Domain GuildMemberRemoveEvent -> m (Codomain GuildMemberRemoveEvent) Source #
(DiscordGate m, DiscordRest m) => EventMap GuildMemberAddEvent m Source #
Associated Types type Domain GuildMemberAddEvent :: * Source # type Codomain GuildMemberAddEvent :: * Source # Methods mapEvent :: Proxy * GuildMemberAddEvent -> Domain GuildMemberAddEvent -> m (Codomain GuildMemberAddEvent) Source #
(DiscordGate m, DiscordRest m) => EventMap GuildIntegrationsUpdateEvent m Source #
Associated Types type Domain GuildIntegrationsUpdateEvent :: * Source # type Codomain GuildIntegrationsUpdateEvent :: * Source # Methods mapEvent :: Proxy * GuildIntegrationsUpdateEvent -> Domain GuildIntegrationsUpdateEvent -> m (Codomain GuildIntegrationsUpdateEvent) Source #
(DiscordGate m, DiscordRest m) => EventMap GuildEmojiUpdateEvent m Source #
Associated Types type Domain GuildEmojiUpdateEvent :: * Source # type Codomain GuildEmojiUpdateEvent :: * Source # Methods mapEvent :: Proxy * GuildEmojiUpdateEvent -> Domain GuildEmojiUpdateEvent -> m (Codomain GuildEmojiUpdateEvent) Source #
(DiscordGate m, DiscordRest m) => EventMap GuildBanRemoveEvent m Source #
Associated Types type Domain GuildBanRemoveEvent :: * Source # type Codomain GuildBanRemoveEvent :: * Source # Methods mapEvent :: Proxy * GuildBanRemoveEvent -> Domain GuildBanRemoveEvent -> m (Codomain GuildBanRemoveEvent) Source #
(DiscordGate m, DiscordRest m) => EventMap GuildBanAddEvent m Source #
Associated Types type Domain GuildBanAddEvent :: * Source # type Codomain GuildBanAddEvent :: * Source # Methods mapEvent :: Proxy * GuildBanAddEvent -> Domain GuildBanAddEvent -> m (Codomain GuildBanAddEvent) Source #
(DiscordGate m, DiscordRest m) => EventMap GuildDeleteEvent m Source #
Associated Types type Domain GuildDeleteEvent :: * Source # type Codomain GuildDeleteEvent :: * Source # Methods mapEvent :: Proxy * GuildDeleteEvent -> Domain GuildDeleteEvent -> m (Codomain GuildDeleteEvent) Source #
(DiscordGate m, DiscordRest m) => EventMap GuildUpdateEvent m Source #
Associated Types type Domain GuildUpdateEvent :: * Source # type Codomain GuildUpdateEvent :: * Source # Methods mapEvent :: Proxy * GuildUpdateEvent -> Domain GuildUpdateEvent -> m (Codomain GuildUpdateEvent) Source #
(DiscordGate m, DiscordRest m) => EventMap GuildCreateEvent m Source #
Associated Types type Domain GuildCreateEvent :: * Source # type Codomain GuildCreateEvent :: * Source # Methods mapEvent :: Proxy * GuildCreateEvent -> Domain GuildCreateEvent -> m (Codomain GuildCreateEvent) Source #
(DiscordGate m, DiscordRest m) => EventMap ChannelDeleteEvent m Source #
Associated Types type Domain ChannelDeleteEvent :: * Source # type Codomain ChannelDeleteEvent :: * Source # Methods mapEvent :: Proxy * ChannelDeleteEvent -> Domain ChannelDeleteEvent -> m (Codomain ChannelDeleteEvent) Source #
(DiscordGate m, DiscordRest m) => EventMap ChannelUpdateEvent m Source #
Associated Types type Domain ChannelUpdateEvent :: * Source # type Codomain ChannelUpdateEvent :: * Source # Methods mapEvent :: Proxy * ChannelUpdateEvent -> Domain ChannelUpdateEvent -> m (Codomain ChannelUpdateEvent) Source #
(DiscordGate m, DiscordRest m) => EventMap ChannelCreateEvent m Source #
Associated Types type Domain ChannelCreateEvent :: * Source # type Codomain ChannelCreateEvent :: * Source # Methods mapEvent :: Proxy * ChannelCreateEvent -> Domain ChannelCreateEvent -> m (Codomain ChannelCreateEvent) Source #
(DiscordGate m, DiscordRest m) => EventMap ResumedEvent m Source #
Associated Types type Domain ResumedEvent :: * Source # type Codomain ResumedEvent :: * Source # Methods mapEvent :: Proxy * ResumedEvent -> Domain ResumedEvent -> m (Codomain ResumedEvent) Source #
(DiscordGate m, DiscordRest m) => EventMap ReadyEvent m Source #
Associated Types type Domain ReadyEvent :: * Source # type Codomain ReadyEvent :: * Source # Methods mapEvent :: Proxy * ReadyEvent -> Domain ReadyEvent -> m (Codomain ReadyEvent) Source #
(DiscordGate m, DiscordRest m, KnownSymbol e) => EventMap (OtherEvent e) m Source #
Associated Types type Domain (OtherEvent e) :: * Source # type Codomain (OtherEvent e) :: * Source # Methods mapEvent :: Proxy * (OtherEvent e) -> Domain (OtherEvent e) -> m (Codomain (OtherEvent e)) Source #
(DiscordRest m, EventMap f m, EventMap g m, (~) * (Domain f) (Domain g), (~) * (Codomain f) (Codomain g)) => EventMap ((:<>:) f g) m Source #
Associated Types type Domain ((:<>:) f g) :: * Source # type Codomain ((:<>:) f g) :: * Source # Methods mapEvent :: Proxy * (f :<>: g) -> Domain (f :<>: g) -> m (Codomain (f :<>: g)) Source #
(DiscordRest m, EventMap f m, EventMap g m, (~) * (Codomain f) (Domain g)) => EventMap ((:>) f g) m Source #
Associated Types type Domain ((:>) f g) :: * Source # type Codomain ((:>) f g) :: * Source # Methods mapEvent :: Proxy * (f :> g) -> Domain (f :> g) -> m (Codomain (f :> g)) Source #

data a :> b Source #

Instances

(DiscordRest m, EventMap f m, EventMap g m, (~) * (Codomain f) (Domain g)) => EventMap ((:>) f g) m Source #
Associated Types type Domain ((:>) f g) :: * Source # type Codomain ((:>) f g) :: * Source # Methods mapEvent :: Proxy * (f :> g) -> Domain (f :> g) -> m (Codomain (f :> g)) Source #
type Domain ((:>) f g) Source #
type Domain ((:>) f g) = Domain f
type Codomain ((:>) f g) Source #
type Codomain ((:>) f g) = Codomain g

data a :<>: b Source #

Instances

(DiscordRest m, EventMap f m, EventMap g m, (~) * (Domain f) (Domain g), (~) * (Codomain f) (Codomain g)) => EventMap ((:<>:) f g) m Source #
Associated Types type Domain ((:<>:) f g) :: * Source # type Codomain ((:<>:) f g) :: * Source # Methods mapEvent :: Proxy * (f :<>: g) -> Domain (f :<>: g) -> m (Codomain (f :<>: g)) Source #
type Domain ((:<>:) f g) Source #
type Domain ((:<>:) f g) = Domain f
type Codomain ((:<>:) f g) Source #
type Codomain ((:<>:) f g) = Codomain f