discord vocabulary
Factor handbook » Vocabulary index

Summary

Metadata

Authors:

Doug Coleman

Words

Tuple classes

Class	Superclass	Slots
discord-bot	disposable	config in out bot-thread heartbeat-thread send-heartbeat? reconnect? stop? sequence-number messages last-message application user session_id resume_gateway_url guilds channels
discord-bot-config	tuple	client-id client-secret token application-id guild-id channel-id permissions intents user-callback obey-names metadata discord-bot mailbox connect-thread
discord-webhook	tuple	url id token

Singleton classes

AUTOMOD_ACTION

AUTOMOD_RULE_CREATE

AUTOMOD_RULE_DELETE

AUTOMOD_RULE_UPDATE

CHANNEL_CREATE

CHANNEL_DELETE

CHANNEL_PINS_UPDATE

CHANNEL_UPDATE

DISPATCH

GUILD_AVAILABLE

GUILD_BAN_ADD

GUILD_BAN_REMOVE

GUILD_CHANNEL_CREATE

GUILD_CHANNEL_DELETE

GUILD_CHANNEL_PINS_UPDATE

GUILD_CHANNEL_UPDATE

GUILD_CREATE

GUILD_EMOJIS_UPDATE

GUILD_INTEGRATION_UPDATE

GUILD_JOIN

GUILD_MEMBER_ADD

GUILD_MEMBER_REMOVE

GUILD_MEMBER_UPDATE

GUILD_REMOVE

GUILD_ROLE_CREATE

GUILD_ROLE_DELETE

GUILD_ROLE_UPDATE

GUILD_STICKERS_UPDATE

GUILD_SYNC

GUILD_UNAVAILABLE

GUILD_UPDATE

HEARTBEAT

HEARTBEAT_ACK

HELLO

IDENTIFY

INTERACTION_CREATE

INVALIDATE_SESSION

INVITE_CREATE

INVITE_DELETE

MEMBER_BAN

MEMBER_JOIN

MEMBER_REMOVE

MEMBER_UNBAN

MEMBER_UPDATE

MESSAGE_CREATE

MESSAGE_DELETE

MESSAGE_EDIT

MESSAGE_REACTION_ADD

MESSAGE_REACTION_REMOVE

MESSAGE_UPDATE

PRESENCE

PRESENCE_UPDATE

RAW_MESSAGE_DELETE

RAW_MESSAGE_EDIT

REACTION_ADD

REACTION_CLEAR

REACTION_REMOVE

READY

RECONNECT

REQUEST_MEMBERS

RESUME

SCHEDULED_EVENT_CREATE

SCHEDULED_EVENT_REMOVE

SCHEDULED_EVENT_UPDATE

SCHEDULED_EVENT_USER_ADD

SCHEDULED_EVENT_USER_REMOVE

SHARD_CONNECT

SHARD_DISCONNECT

SHARD_READY

SHARD_RESUMED

THREAD_CREATE

THREAD_DELETE

THREAD_JOIN

THREAD_MEMBER_JOIN

THREAD_MEMBER_REMOVE

THREAD_UPDATE

TYPING_START

USER_UPDATE

VOICE_PING

VOICE_SERVER_UPDATE

VOICE_STATE

VOICE_STATE_UPDATE

WEBHOOKS_UPDATE

Generic words

Word	Stack effect
discord-help-bot	( json opcode -- )
dispatch-message	( json singleton -- )

Symbol words

discord-opcode

Ordinary words

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

Class predicate words

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

Files

resource:extra/discord/discord.factor

Metadata files

resource:extra/discord/authors.txt

Children from resource:extra

Vocabulary	Summary
discord.chatgpt-bot