diff options
| author | Adelyn Breedlove <[email protected]> | 2019-01-28 10:31:51 -0700 |
|---|---|---|
| committer | Adelyn Breedlove <[email protected]> | 2019-01-28 10:31:51 -0700 |
| commit | 8662e92987c437f59d09896a247ec2b5d82c4528 (patch) | |
| tree | f004cc14598351d4ad6b19d8e993d2f629c5e738 /lib/event.ml | |
| parent | Add more docs (diff) | |
| download | disml-8662e92987c437f59d09896a247ec2b5d82c4528.tar.xz disml-8662e92987c437f59d09896a247ec2b5d82c4528.zip | |
Publish docs updates
Diffstat (limited to 'lib/event.ml')
| -rw-r--r-- | lib/event.ml | 226 |
1 files changed, 113 insertions, 113 deletions
diff --git a/lib/event.ml b/lib/event.ml index 468acc6..3f1fa9f 100644 --- a/lib/event.ml +++ b/lib/event.ml @@ -1,114 +1,114 @@ -open Core -open Event_models - -type t = -| READY of Ready.t -| RESUMED of Resumed.t -| CHANNEL_CREATE of ChannelCreate.t -| CHANNEL_UPDATE of ChannelUpdate.t -| CHANNEL_DELETE of ChannelDelete.t -| CHANNEL_PINS_UPDATE of ChannelPinsUpdate.t -| GUILD_CREATE of GuildCreate.t -| GUILD_UPDATE of GuildUpdate.t -| GUILD_DELETE of GuildDelete.t -| GUILD_BAN_ADD of GuildBanAdd.t -| GUILD_BAN_REMOVE of GuildBanRemove.t -| GUILD_EMOJIS_UPDATE of GuildEmojisUpdate.t -(* | GUILD_INTEGRATIONS_UPDATE of Yojson.Safe.json *) -| GUILD_MEMBER_ADD of GuildMemberAdd.t -| GUILD_MEMBER_REMOVE of GuildMemberRemove.t -| GUILD_MEMBER_UPDATE of GuildMemberUpdate.t -| GUILD_MEMBERS_CHUNK of GuildMembersChunk.t -| GUILD_ROLE_CREATE of GuildRoleCreate.t -| GUILD_ROLE_UPDATE of GuildRoleUpdate.t -| GUILD_ROLE_DELETE of GuildRoleDelete.t -| MESSAGE_CREATE of MessageCreate.t -| MESSAGE_UPDATE of MessageUpdate.t -| MESSAGE_DELETE of MessageDelete.t -| MESSAGE_DELETE_BULK of MessageDeleteBulk.t -| REACTION_ADD of ReactionAdd.t -| REACTION_REMOVE of ReactionRemove.t -| REACTION_REMOVE_ALL of ReactionRemoveAll.t -| PRESENCE_UPDATE of PresenceUpdate.t -| TYPING_START of TypingStart.t -| USER_UPDATE of UserUpdate.t -(* | VOICE_STATE_UPDATE of Yojson.Safe.json *) -(* | VOICE_SERVER_UPDATE of Yojson.Safe.json *) -| WEBHOOK_UPDATE of WebhookUpdate.t -| UNKNOWN of Unknown.t - -let event_of_yojson ~contents t = match t with - | "READY" -> READY Ready.(deserialize contents) - | "RESUMED" -> RESUMED Resumed.(deserialize contents) - | "CHANNEL_CREATE" -> CHANNEL_CREATE ChannelCreate.(deserialize contents) - | "CHANNEL_UPDATE" -> CHANNEL_UPDATE ChannelUpdate.(deserialize contents) - | "CHANNEL_DELETE" -> CHANNEL_DELETE ChannelDelete.(deserialize contents) - | "CHANNEL_PINS_UPDATE" -> CHANNEL_PINS_UPDATE ChannelPinsUpdate.(deserialize contents) - | "GUILD_CREATE" -> GUILD_CREATE GuildCreate.(deserialize contents) - | "GUILD_UPDATE" -> GUILD_UPDATE GuildUpdate.(deserialize contents) - | "GUILD_DELETE" -> GUILD_DELETE GuildDelete.(deserialize contents) - | "GUILD_BAN_ADD" -> GUILD_BAN_ADD GuildBanAdd.(deserialize contents) - | "GUILD_BAN_REMOVE" -> GUILD_BAN_REMOVE GuildBanRemove.(deserialize contents) - | "GUILD_EMOJIS_UPDATE" -> GUILD_EMOJIS_UPDATE GuildEmojisUpdate.(deserialize contents) - (* | "GUILD_INTEGRATIONS_UPDATE" -> GUILD_INTEGRATIONS_UPDATE contents *) - | "GUILD_MEMBER_ADD" -> GUILD_MEMBER_ADD GuildMemberAdd.(deserialize contents) - | "GUILD_MEMBER_REMOVE" -> GUILD_MEMBER_REMOVE GuildMemberRemove.(deserialize contents) - | "GUILD_MEMBER_UPDATE" -> GUILD_MEMBER_UPDATE GuildMemberUpdate.(deserialize contents) - | "GUILD_MEMBERS_CHUNK" -> GUILD_MEMBERS_CHUNK GuildMembersChunk.(deserialize contents) - | "GUILD_ROLE_CREATE" -> GUILD_ROLE_CREATE GuildRoleCreate.(deserialize contents) - | "GUILD_ROLE_UPDATE" -> GUILD_ROLE_UPDATE GuildRoleUpdate.(deserialize contents) - | "GUILD_ROLE_DELETE" -> GUILD_ROLE_DELETE GuildRoleDelete.(deserialize contents) - | "MESSAGE_CREATE" -> MESSAGE_CREATE MessageCreate.(deserialize contents) - | "MESSAGE_UPDATE" -> MESSAGE_UPDATE MessageUpdate.(deserialize contents) - | "MESSAGE_DELETE" -> MESSAGE_DELETE MessageDelete.(deserialize contents) - | "MESSAGE_DELETE_BULK" -> MESSAGE_DELETE_BULK MessageDeleteBulk.(deserialize contents) - | "MESSAGE_REACTION_ADD" -> REACTION_ADD ReactionAdd.(deserialize contents) - | "MESSAGE_REACTION_REMOVE" -> REACTION_REMOVE ReactionRemove.(deserialize contents) - | "MESSAGE_REACTION_REMOVE_ALL" -> REACTION_REMOVE_ALL ReactionRemoveAll.(deserialize contents) - | "PRESENCE_UPDATE" -> PRESENCE_UPDATE PresenceUpdate.(deserialize contents) - | "TYPING_START" -> TYPING_START TypingStart.(deserialize contents) - | "USER_UPDATE" -> USER_UPDATE UserUpdate.(deserialize contents) - (* | "VOICE_STATE_UPDATE" -> VOICE_STATE_UPDATE contents *) - (* | "VOICE_SERVER_UPDATE" -> VOICE_SERVER_UPDATE contents *) - | "WEBHOOK_UPDATE" -> WEBHOOK_UPDATE WebhookUpdate.(deserialize contents) - | s -> UNKNOWN Unknown.(deserialize s contents) - -let dispatch ev = match ev with - | READY d -> !Dispatch.ready d - | RESUMED d -> !Dispatch.resumed d - | CHANNEL_CREATE d -> !Dispatch.channel_create d - | CHANNEL_UPDATE d -> !Dispatch.channel_update d - | CHANNEL_DELETE d -> !Dispatch.channel_delete d - | CHANNEL_PINS_UPDATE d -> !Dispatch.channel_pins_update d - | GUILD_CREATE d -> !Dispatch.guild_create d - | GUILD_UPDATE d -> !Dispatch.guild_update d - | GUILD_DELETE d -> !Dispatch.guild_delete d - | GUILD_BAN_ADD d -> !Dispatch.member_ban d - | GUILD_BAN_REMOVE d -> !Dispatch.member_unban d - | GUILD_EMOJIS_UPDATE d -> !Dispatch.guild_emojis_update d - (* | GUILD_INTEGRATIONS_UPDATE d -> !Dispatch.integrations_update d *) - | GUILD_MEMBER_ADD d -> !Dispatch.member_join d - | GUILD_MEMBER_REMOVE d -> !Dispatch.member_leave d - | GUILD_MEMBER_UPDATE d -> !Dispatch.member_update d - | GUILD_MEMBERS_CHUNK d -> !Dispatch.members_chunk d - | GUILD_ROLE_CREATE d -> !Dispatch.role_create d - | GUILD_ROLE_UPDATE d -> !Dispatch.role_update d - | GUILD_ROLE_DELETE d -> !Dispatch.role_delete d - | MESSAGE_CREATE d -> !Dispatch.message_create d - | MESSAGE_UPDATE d -> !Dispatch.message_update d - | MESSAGE_DELETE d -> !Dispatch.message_delete d - | MESSAGE_DELETE_BULK d -> !Dispatch.message_delete_bulk d - | REACTION_ADD d -> !Dispatch.reaction_add d - | REACTION_REMOVE d -> !Dispatch.reaction_remove d - | REACTION_REMOVE_ALL d -> !Dispatch.reaction_remove_all d - | PRESENCE_UPDATE d -> !Dispatch.presence_update d - | TYPING_START d -> !Dispatch.typing_start d - | USER_UPDATE d -> !Dispatch.user_update d - (* | VOICE_STATE_UPDATE d -> !Dispatch.voice_state_update d *) - (* | VOICE_SERVER_UPDATE d -> !Dispatch.voice_server_update d *) - | WEBHOOK_UPDATE d -> !Dispatch.webhook_update d - | UNKNOWN d -> !Dispatch.unknown d - -let handle_event ~ev contents = - event_of_yojson ~contents ev +open Core
+open Event_models
+
+type t =
+| READY of Ready.t
+| RESUMED of Resumed.t
+| CHANNEL_CREATE of ChannelCreate.t
+| CHANNEL_UPDATE of ChannelUpdate.t
+| CHANNEL_DELETE of ChannelDelete.t
+| CHANNEL_PINS_UPDATE of ChannelPinsUpdate.t
+| GUILD_CREATE of GuildCreate.t
+| GUILD_UPDATE of GuildUpdate.t
+| GUILD_DELETE of GuildDelete.t
+| GUILD_BAN_ADD of GuildBanAdd.t
+| GUILD_BAN_REMOVE of GuildBanRemove.t
+| GUILD_EMOJIS_UPDATE of GuildEmojisUpdate.t
+(* | GUILD_INTEGRATIONS_UPDATE of Yojson.Safe.json *)
+| GUILD_MEMBER_ADD of GuildMemberAdd.t
+| GUILD_MEMBER_REMOVE of GuildMemberRemove.t
+| GUILD_MEMBER_UPDATE of GuildMemberUpdate.t
+| GUILD_MEMBERS_CHUNK of GuildMembersChunk.t
+| GUILD_ROLE_CREATE of GuildRoleCreate.t
+| GUILD_ROLE_UPDATE of GuildRoleUpdate.t
+| GUILD_ROLE_DELETE of GuildRoleDelete.t
+| MESSAGE_CREATE of MessageCreate.t
+| MESSAGE_UPDATE of MessageUpdate.t
+| MESSAGE_DELETE of MessageDelete.t
+| MESSAGE_DELETE_BULK of MessageDeleteBulk.t
+| REACTION_ADD of ReactionAdd.t
+| REACTION_REMOVE of ReactionRemove.t
+| REACTION_REMOVE_ALL of ReactionRemoveAll.t
+| PRESENCE_UPDATE of PresenceUpdate.t
+| TYPING_START of TypingStart.t
+| USER_UPDATE of UserUpdate.t
+(* | VOICE_STATE_UPDATE of Yojson.Safe.json *)
+(* | VOICE_SERVER_UPDATE of Yojson.Safe.json *)
+| WEBHOOK_UPDATE of WebhookUpdate.t
+| UNKNOWN of Unknown.t
+
+let event_of_yojson ~contents t = match t with
+ | "READY" -> READY Ready.(deserialize contents)
+ | "RESUMED" -> RESUMED Resumed.(deserialize contents)
+ | "CHANNEL_CREATE" -> CHANNEL_CREATE ChannelCreate.(deserialize contents)
+ | "CHANNEL_UPDATE" -> CHANNEL_UPDATE ChannelUpdate.(deserialize contents)
+ | "CHANNEL_DELETE" -> CHANNEL_DELETE ChannelDelete.(deserialize contents)
+ | "CHANNEL_PINS_UPDATE" -> CHANNEL_PINS_UPDATE ChannelPinsUpdate.(deserialize contents)
+ | "GUILD_CREATE" -> GUILD_CREATE GuildCreate.(deserialize contents)
+ | "GUILD_UPDATE" -> GUILD_UPDATE GuildUpdate.(deserialize contents)
+ | "GUILD_DELETE" -> GUILD_DELETE GuildDelete.(deserialize contents)
+ | "GUILD_BAN_ADD" -> GUILD_BAN_ADD GuildBanAdd.(deserialize contents)
+ | "GUILD_BAN_REMOVE" -> GUILD_BAN_REMOVE GuildBanRemove.(deserialize contents)
+ | "GUILD_EMOJIS_UPDATE" -> GUILD_EMOJIS_UPDATE GuildEmojisUpdate.(deserialize contents)
+ (* | "GUILD_INTEGRATIONS_UPDATE" -> GUILD_INTEGRATIONS_UPDATE contents *)
+ | "GUILD_MEMBER_ADD" -> GUILD_MEMBER_ADD GuildMemberAdd.(deserialize contents)
+ | "GUILD_MEMBER_REMOVE" -> GUILD_MEMBER_REMOVE GuildMemberRemove.(deserialize contents)
+ | "GUILD_MEMBER_UPDATE" -> GUILD_MEMBER_UPDATE GuildMemberUpdate.(deserialize contents)
+ | "GUILD_MEMBERS_CHUNK" -> GUILD_MEMBERS_CHUNK GuildMembersChunk.(deserialize contents)
+ | "GUILD_ROLE_CREATE" -> GUILD_ROLE_CREATE GuildRoleCreate.(deserialize contents)
+ | "GUILD_ROLE_UPDATE" -> GUILD_ROLE_UPDATE GuildRoleUpdate.(deserialize contents)
+ | "GUILD_ROLE_DELETE" -> GUILD_ROLE_DELETE GuildRoleDelete.(deserialize contents)
+ | "MESSAGE_CREATE" -> MESSAGE_CREATE MessageCreate.(deserialize contents)
+ | "MESSAGE_UPDATE" -> MESSAGE_UPDATE MessageUpdate.(deserialize contents)
+ | "MESSAGE_DELETE" -> MESSAGE_DELETE MessageDelete.(deserialize contents)
+ | "MESSAGE_DELETE_BULK" -> MESSAGE_DELETE_BULK MessageDeleteBulk.(deserialize contents)
+ | "MESSAGE_REACTION_ADD" -> REACTION_ADD ReactionAdd.(deserialize contents)
+ | "MESSAGE_REACTION_REMOVE" -> REACTION_REMOVE ReactionRemove.(deserialize contents)
+ | "MESSAGE_REACTION_REMOVE_ALL" -> REACTION_REMOVE_ALL ReactionRemoveAll.(deserialize contents)
+ | "PRESENCE_UPDATE" -> PRESENCE_UPDATE PresenceUpdate.(deserialize contents)
+ | "TYPING_START" -> TYPING_START TypingStart.(deserialize contents)
+ | "USER_UPDATE" -> USER_UPDATE UserUpdate.(deserialize contents)
+ (* | "VOICE_STATE_UPDATE" -> VOICE_STATE_UPDATE contents *)
+ (* | "VOICE_SERVER_UPDATE" -> VOICE_SERVER_UPDATE contents *)
+ | "WEBHOOK_UPDATE" -> WEBHOOK_UPDATE WebhookUpdate.(deserialize contents)
+ | s -> UNKNOWN Unknown.(deserialize s contents)
+
+let dispatch ev = match ev with
+ | READY d -> !Dispatch.ready d
+ | RESUMED d -> !Dispatch.resumed d
+ | CHANNEL_CREATE d -> !Dispatch.channel_create d
+ | CHANNEL_UPDATE d -> !Dispatch.channel_update d
+ | CHANNEL_DELETE d -> !Dispatch.channel_delete d
+ | CHANNEL_PINS_UPDATE d -> !Dispatch.channel_pins_update d
+ | GUILD_CREATE d -> !Dispatch.guild_create d
+ | GUILD_UPDATE d -> !Dispatch.guild_update d
+ | GUILD_DELETE d -> !Dispatch.guild_delete d
+ | GUILD_BAN_ADD d -> !Dispatch.member_ban d
+ | GUILD_BAN_REMOVE d -> !Dispatch.member_unban d
+ | GUILD_EMOJIS_UPDATE d -> !Dispatch.guild_emojis_update d
+ (* | GUILD_INTEGRATIONS_UPDATE d -> !Dispatch.integrations_update d *)
+ | GUILD_MEMBER_ADD d -> !Dispatch.member_join d
+ | GUILD_MEMBER_REMOVE d -> !Dispatch.member_leave d
+ | GUILD_MEMBER_UPDATE d -> !Dispatch.member_update d
+ | GUILD_MEMBERS_CHUNK d -> !Dispatch.members_chunk d
+ | GUILD_ROLE_CREATE d -> !Dispatch.role_create d
+ | GUILD_ROLE_UPDATE d -> !Dispatch.role_update d
+ | GUILD_ROLE_DELETE d -> !Dispatch.role_delete d
+ | MESSAGE_CREATE d -> !Dispatch.message_create d
+ | MESSAGE_UPDATE d -> !Dispatch.message_update d
+ | MESSAGE_DELETE d -> !Dispatch.message_delete d
+ | MESSAGE_DELETE_BULK d -> !Dispatch.message_delete_bulk d
+ | REACTION_ADD d -> !Dispatch.reaction_add d
+ | REACTION_REMOVE d -> !Dispatch.reaction_remove d
+ | REACTION_REMOVE_ALL d -> !Dispatch.reaction_remove_all d
+ | PRESENCE_UPDATE d -> !Dispatch.presence_update d
+ | TYPING_START d -> !Dispatch.typing_start d
+ | USER_UPDATE d -> !Dispatch.user_update d
+ (* | VOICE_STATE_UPDATE d -> !Dispatch.voice_state_update d *)
+ (* | VOICE_SERVER_UPDATE d -> !Dispatch.voice_server_update d *)
+ | WEBHOOK_UPDATE d -> !Dispatch.webhook_update d
+ | UNKNOWN d -> !Dispatch.unknown d
+
+let handle_event ~ev contents =
+ event_of_yojson ~contents ev
|> dispatch
\ No newline at end of file |