discord vocabulary
Factor handbook ยป Vocabulary index


Summary

Metadata
Authors:Doug Coleman, Aleksander "olus2000" Sabak


Words

Tuple classes
ClassSuperclassSlots
Image discord-botImage disposableconfig in out bot-thread heartbeat-thread send-heartbeat? reconnect? stop? sequence-number messages last-message application user session_id resume_gateway_url guilds channels
Image discord-bot-configImage tupleclient-id client-secret token application-id guild-id channel-id permissions intents user-callback obey-names metadata reconnect-time discord-bot mailbox connect-thread
Image discord-webhookImage tupleurl id token


Singleton classes
Image AUTOMOD_ACTION
Image AUTOMOD_RULE_CREATE
Image AUTOMOD_RULE_DELETE
Image AUTOMOD_RULE_UPDATE
Image CHANNEL_CREATE
Image CHANNEL_DELETE
Image CHANNEL_PINS_UPDATE
Image CHANNEL_UPDATE
Image DISPATCH
Image GUILD_AUDIT_LOG_ENTRY_CREATE
Image GUILD_AVAILABLE
Image GUILD_BAN_ADD
Image GUILD_BAN_REMOVE
Image GUILD_CHANNEL_CREATE
Image GUILD_CHANNEL_DELETE
Image GUILD_CHANNEL_PINS_UPDATE
Image GUILD_CHANNEL_UPDATE
Image GUILD_CREATE
Image GUILD_DELETE
Image GUILD_EMOJIS_UPDATE
Image GUILD_INTEGRATION_UPDATE
Image GUILD_JOIN
Image GUILD_MEMBERS_CHUNK
Image GUILD_MEMBER_ADD
Image GUILD_MEMBER_REMOVE
Image GUILD_MEMBER_UPDATE
Image GUILD_REMOVE
Image GUILD_ROLE_CREATE
Image GUILD_ROLE_DELETE
Image GUILD_ROLE_UPDATE
Image GUILD_SCHEDULED_EVENT_CREATE
Image GUILD_SCHEDULED_EVENT_DELETE
Image GUILD_SCHEDULED_EVENT_UPDATE
Image GUILD_SCHEDULED_EVENT_USER_ADD
Image GUILD_SCHEDULED_EVENT_USER_REMOVE
Image GUILD_SCHEDULED_EVENT_USER_UPDATE
Image GUILD_STICKERS_UPDATE
Image GUILD_UNAVAILABLE
Image GUILD_UPDATE
Image HEARTBEAT
Image HEARTBEAT_ACK
Image HELLO
Image IDENTIFY
Image INTERACTION_CREATE
Image INVALIDATE_SESSION
Image INVITE_CREATE
Image INVITE_DELETE
Image MEMBER_BAN
Image MEMBER_JOIN
Image MEMBER_REMOVE
Image MEMBER_UNBAN
Image MEMBER_UPDATE
Image MESSAGE_CREATE
Image MESSAGE_DELETE
Image MESSAGE_EDIT
Image MESSAGE_REACTION_ADD
Image MESSAGE_REACTION_REMOVE
Image MESSAGE_UPDATE
Image PRESENCE
Image PRESENCE_UPDATE
Image RAW_MESSAGE_DELETE
Image RAW_MESSAGE_EDIT
Image REACTION_ADD
Image REACTION_CLEAR
Image REACTION_REMOVE
Image READY
Image RECONNECT
Image REQUEST_MEMBERS
Image REQUEST_SOUNDBOARD_SOUNDS
Image RESUME
Image SCHEDULED_EVENT_CREATE
Image SCHEDULED_EVENT_REMOVE
Image SCHEDULED_EVENT_UPDATE
Image SCHEDULED_EVENT_USER_ADD
Image SCHEDULED_EVENT_USER_REMOVE
Image SHARD_CONNECT
Image SHARD_DISCONNECT
Image SHARD_READY
Image SHARD_RESUMED
Image THREAD_CREATE
Image THREAD_DELETE
Image THREAD_JOIN
Image THREAD_LIST_SYNC
Image THREAD_MEMBER_DELETE
Image THREAD_MEMBER_JOIN
Image THREAD_MEMBER_LIST_UPDATE
Image THREAD_MEMBER_REMOVE
Image THREAD_MEMBER_UPDATE
Image THREAD_UPDATE
Image TYPING_START
Image USER_UPDATE
Image VOICE_PING
Image VOICE_SERVER_UPDATE
Image VOICE_STATE
Image VOICE_STATE_UPDATE
Image WEBHOOKS_UPDATE


Generic words
WordStack effect
Image discord-help-bot( json opcode -- )
Image dispatch-message( json singleton -- )


Symbol words
Image discord-opcode


Ordinary words
WordStack effect
Image <discord-bot>( config -- discord-bot )
Image <discord-opcode>( number -- enum )
Image >discord-url( route -- url )
Image add-discord-auth-header( request -- request )
Image add-json-header( request -- request )
Image bot-guild-join-uri( discord-bot-config -- uri )
Image channel-name( guild-id channel-id -- name )
Image create-interaction-response( json interaction-id interaction-token -- )
Image delete-discord-application-command( application-id -- json )
Image delete-discord-application-guild-command( application-id -- json )
Image discord-api-url( -- value )
Image discord-bot-gateway( -- value )
Image discord-connect( config -- )
Image discord-delete-json( route -- json )
Image discord-delete-request( route -- request )
Image discord-get( route -- json )
Image discord-get-request( route -- request )
Image discord-patch-json( payload route -- json )
Image discord-patch-request( payload route -- request )
Image discord-post( payload route -- json )
Image discord-post-json( payload route -- json )
Image discord-post-json-no-resp( payload route -- )
Image discord-post-request( payload route -- request )
Image discord-reconnect( -- )
Image edit-interaction-response( json application-id interaction-token -- json )
Image g.( object -- )
Image g...( object -- )
Image gateway-identify-json( -- json )
Image gbl( -- )
Image get-application-info( -- json )
Image get-channel-webhooks( channel-id -- json )
Image get-discord-bot-gateway( -- json )
Image get-discord-channel( channel-id -- json )
Image get-discord-channel-message( channel-id message-id -- json )
Image get-discord-channel-messages( channel-id -- json )
Image get-discord-channel-pins( channel-id -- json )
Image get-discord-gateway( -- json )
Image get-discord-user( user -- json )
Image get-discord-user-application-role-connection( application-id -- json )
Image get-discord-user-connections( -- json )
Image get-discord-users-guild-member( guild-id -- json )
Image get-discord-users-guilds( -- json )
Image get-discord-users-me( -- json )
Image get-guild-active-threads( channel-id -- json )
Image get-guild-webhooks( guild-id -- json )
Image get-guilds-me( -- json )
Image get-original-interaction-response( application-id interaction-token -- json )
Image get-webhook( webhook-id -- json )
Image gflush( -- )
Image ghost-ping( message who channel-id -- )
Image ghosting-payload( -- string )
Image gnl( -- )
Image gprint( string -- )
Image gprint-flush( string -- )
Image guild-channel-name( guild-id channel-id -- name )
Image guild-name( guild-id -- name )
Image gwrite( string -- )
Image handle-channel-message( json -- )
Image handle-discord-HEARTBEAT_ACK( json -- )
Image handle-discord-HELLO( json -- )
Image handle-discord-RECONNECT( json -- )
Image handle-discord-REQUEST_SOUNDBOARD_SOUNDS( json -- )
Image handle-discord-RESUME( json -- )
Image handle-discord-websocket( obj opcode -- )
Image handle-guild-message( json -- )
Image handle-incoming-message( guild_id channel_id message_id author content -- )
Image jitter-millis( heartbeat-millis -- millis )
Image message-channel-id( json -- ids )
Image message-from-me?( json -- ? )
Image message-mentions( json -- ids )
Image message-mentions-ids( json -- ids )
Image message-mentions-me-and-not-from-me?( json -- ? )
Image message-mentions-me?( json -- ? )
Image my-user-id( -- id )
Image obey-message?( json -- ? )
Image parse-discord-op( json -- )
Image reply-command( json -- ? )
Image reply-echo( json -- ? )
Image reply-message( string -- )
Image send-heartbeat( seq/f -- )
Image send-message( string channel-id -- )
Image send-message*( string channel-id -- json )
Image set-discord-application-commands( json application-id -- json )
Image set-discord-application-guild-commands( json application-id guild-id -- json )
Image start-heartbeat-thread( millis -- )
Image stopping-discord-bot( -- )


Class predicate words
WordStack effect
Image AUTOMOD_ACTION?( object -- ? )
Image AUTOMOD_RULE_CREATE?( object -- ? )
Image AUTOMOD_RULE_DELETE?( object -- ? )
Image AUTOMOD_RULE_UPDATE?( object -- ? )
Image CHANNEL_CREATE?( object -- ? )
Image CHANNEL_DELETE?( object -- ? )
Image CHANNEL_PINS_UPDATE?( object -- ? )
Image CHANNEL_UPDATE?( object -- ? )
Image DISPATCH?( object -- ? )
Image GUILD_AUDIT_LOG_ENTRY_CREATE?( object -- ? )
Image GUILD_AVAILABLE?( object -- ? )
Image GUILD_BAN_ADD?( object -- ? )
Image GUILD_BAN_REMOVE?( object -- ? )
Image GUILD_CHANNEL_CREATE?( object -- ? )
Image GUILD_CHANNEL_DELETE?( object -- ? )
Image GUILD_CHANNEL_PINS_UPDATE?( object -- ? )
Image GUILD_CHANNEL_UPDATE?( object -- ? )
Image GUILD_CREATE?( object -- ? )
Image GUILD_DELETE?( object -- ? )
Image GUILD_EMOJIS_UPDATE?( object -- ? )
Image GUILD_INTEGRATION_UPDATE?( object -- ? )
Image GUILD_JOIN?( object -- ? )
Image GUILD_MEMBERS_CHUNK?( object -- ? )
Image GUILD_MEMBER_ADD?( object -- ? )
Image GUILD_MEMBER_REMOVE?( object -- ? )
Image GUILD_MEMBER_UPDATE?( object -- ? )
Image GUILD_REMOVE?( object -- ? )
Image GUILD_ROLE_CREATE?( object -- ? )
Image GUILD_ROLE_DELETE?( object -- ? )
Image GUILD_ROLE_UPDATE?( object -- ? )
Image GUILD_SCHEDULED_EVENT_CREATE?( object -- ? )
Image GUILD_SCHEDULED_EVENT_DELETE?( object -- ? )
Image GUILD_SCHEDULED_EVENT_UPDATE?( object -- ? )
Image GUILD_SCHEDULED_EVENT_USER_ADD?( object -- ? )
Image GUILD_SCHEDULED_EVENT_USER_REMOVE?( object -- ? )
Image GUILD_SCHEDULED_EVENT_USER_UPDATE?( object -- ? )
Image GUILD_STICKERS_UPDATE?( object -- ? )
Image GUILD_UNAVAILABLE?( object -- ? )
Image GUILD_UPDATE?( object -- ? )
Image HEARTBEAT?( object -- ? )
Image HEARTBEAT_ACK?( object -- ? )
Image HELLO?( object -- ? )
Image IDENTIFY?( object -- ? )
Image INTERACTION_CREATE?( object -- ? )
Image INVALIDATE_SESSION?( object -- ? )
Image INVITE_CREATE?( object -- ? )
Image INVITE_DELETE?( object -- ? )
Image MEMBER_BAN?( object -- ? )
Image MEMBER_JOIN?( object -- ? )
Image MEMBER_REMOVE?( object -- ? )
Image MEMBER_UNBAN?( object -- ? )
Image MEMBER_UPDATE?( object -- ? )
Image MESSAGE_CREATE?( object -- ? )
Image MESSAGE_DELETE?( object -- ? )
Image MESSAGE_EDIT?( object -- ? )
Image MESSAGE_REACTION_ADD?( object -- ? )
Image MESSAGE_REACTION_REMOVE?( object -- ? )
Image MESSAGE_UPDATE?( object -- ? )
Image PRESENCE?( object -- ? )
Image PRESENCE_UPDATE?( object -- ? )
Image RAW_MESSAGE_DELETE?( object -- ? )
Image RAW_MESSAGE_EDIT?( object -- ? )
Image REACTION_ADD?( object -- ? )
Image REACTION_CLEAR?( object -- ? )
Image REACTION_REMOVE?( object -- ? )
Image READY?( object -- ? )
Image RECONNECT?( object -- ? )
Image REQUEST_MEMBERS?( object -- ? )
Image REQUEST_SOUNDBOARD_SOUNDS?( object -- ? )
Image RESUME?( object -- ? )
Image SCHEDULED_EVENT_CREATE?( object -- ? )
Image SCHEDULED_EVENT_REMOVE?( object -- ? )
Image SCHEDULED_EVENT_UPDATE?( object -- ? )
Image SCHEDULED_EVENT_USER_ADD?( object -- ? )
Image SCHEDULED_EVENT_USER_REMOVE?( object -- ? )
Image SHARD_CONNECT?( object -- ? )
Image SHARD_DISCONNECT?( object -- ? )
Image SHARD_READY?( object -- ? )
Image SHARD_RESUMED?( object -- ? )
Image THREAD_CREATE?( object -- ? )
Image THREAD_DELETE?( object -- ? )
Image THREAD_JOIN?( object -- ? )
Image THREAD_LIST_SYNC?( object -- ? )
Image THREAD_MEMBER_DELETE?( object -- ? )
Image THREAD_MEMBER_JOIN?( object -- ? )
Image THREAD_MEMBER_LIST_UPDATE?( object -- ? )
Image THREAD_MEMBER_REMOVE?( object -- ? )
Image THREAD_MEMBER_UPDATE?( object -- ? )
Image THREAD_UPDATE?( object -- ? )
Image TYPING_START?( object -- ? )
Image USER_UPDATE?( object -- ? )
Image VOICE_PING?( object -- ? )
Image VOICE_SERVER_UPDATE?( object -- ? )
Image VOICE_STATE?( object -- ? )
Image VOICE_STATE_UPDATE?( object -- ? )
Image WEBHOOKS_UPDATE?( object -- ? )
Image discord-bot-config?( object -- ? )
Image discord-bot?( object -- ? )
Image discord-webhook?( object -- ? )


Files
resource:extra/discord/discord.factor


Metadata files
resource:extra/discord/authors.txt


Children from resource:extra
VocabularySummary
Image discord.chatgpt-bot