gaato/discord/endpoint_http

README
U
AllowedMentionType
U
AllowedMentions
U
AllowedMentionsError
U
App
U
AppBuilder
U
AppConfigError
U
AppCtx
U
AppWarning
U
ApplicationRef
U
Arg
U
Args
U
Bot
U
BotBuilder
U
BotConfigError
U
BotError
U
BotSession
U
CacheLimit
U
CacheLimits
U
CacheResources
U
ChannelRef
U
CheckCtx
U
Client
U
Command
U
CommandCheck
U
CommandPlan
U
CommandReply
U
CommandScope
U
ComponentCtx
U
ComponentDeferredCtx
U
ComponentHandler
U
ComponentImmediateCtx
U
ComponentReply
U
ComponentRoute
U
CooldownBucket
U
CooldownOutage
U
CustomIdCodec
U
CustomIdError
U
DeferredCtx
U
DiscordHttpError
U
ErrorPolicy
U
Event
U
EventMiddleware
U
EventType
U
Events
U
FailureCtx
U
FailureOrigin
U
FileUpload
U
GatewayCapabilities
U
GatewayCtx
U
GuildInvocation
U
GuildRef
U
HandlerError
U
HandlerIntake
U
ImmediateCtx
U
InMemoryCache
U
InitialResponse
U
Intents
U
InteractionCtx
U
InteractionEndpoint
U
InteractionHandler
U
InteractionHttpBody
U
InteractionHttpRequest
U
InteractionHttpResponse
U
InteractionOutcome
U
InteractionTarget
U
InteractionVerifier
U
InteractionVerifierError
U
InteractionsServer
U
InvocationScope
U
MemberRef
U
MessageRef
U
MessageUpdate
U
Modal
U
ModalDeferredCtx
U
ModalField
U
ModalFields
U
ModalHandle
U
ModalImmediateCtx
U
ModalOrigin
U
ModalReply
U
ModalShowError
U
ModalSubmitHandler
U
PendingEvent
U
ResponseState
U
RestAccess
U
ServerConfigError
U
ShardConfig
U
SlashChild
U
SuggestCtx
U
SyncReport
U
TargetUser
U
UserRef
U
WaitFrom
V
API_VERSION
V
action_row
V
arg_attachment
V
arg_bool
V
arg_channel
V
arg_int
V
arg_int32
V
arg_mentionable
V
arg_number
V
arg_role
V
arg_string
V
arg_user
V
button
V
channel_select
V
component_route
V
container
V
dm_only
V
file_field
V
file_upload
V
guild_only
V
int_choice
V
label
V
link_button
V
media_gallery
V
media_item
V
mentionable_select
V
message_command
V
modal
V
number_choice
V
required_permissions
V
role_select
V
section
V
select_field
V
select_option
V
separator
V
serve_interactions
V
slash
V
slash_group
V
string_choice
V
string_select
V
subcommand
V
subcommand_group
V
text_display
V
text_field
V
text_input
V
thumbnail
V
user_command
V
user_select
V
verify_signature

gaato/discord/endpoint_http does not have a README file

ServerConfigError

pub(all) suberror ServerConfigError {
  InvalidMaxBodyBytes(value~ : Int)
  InvalidBodyTimeoutMs(value~ : Int)
  InvalidHeaderTimeoutMs(value~ : Int)
  InvalidMaxConnections(value~ : Int)
} derive(@moonbitlang/core/debug.Debug
Debug)

Configuration rejected by serve_interactions before it starts listening.

InteractionsServer

source

pub struct InteractionsServer {
  // private fields
}

An HTTP server dispatching Discord interactions on native or moonrun Wasm.

InteractionsServer::addr

source

fn InteractionsServer::addr(self : InteractionsServer) -> String

Return the actual listening address, including an OS-assigned port.

InteractionsServer::close

source

async fn InteractionsServer::close(self : InteractionsServer) -> Unit noraise

Stop accepting requests and cancel active connection handlers.

serve_interactions

source

async fn[X] serve_interactions(group : @moonbitlang/async.TaskGroup
TaskGroup[X], app : @gaato/discord/app.App
App, addr~ : String, public_key~ : String, access~ : @gaato/discord/app.RestAccess
RestAccess, application_id? : @gaato/discord/model.Id
Id[@gaato/discord/model.ApplicationMarker
ApplicationMarker], path? : String, deadline_ms? : Int, max_body_bytes? : Int, body_timeout_ms? : Int, header_timeout_ms? : Int, max_connections? : Int) -> InteractionsServer

Start a Discord HTTP-interactions server in group on native or moonrun Wasm.

Use port zero in addr to let the OS choose a free port, then read the resolved address from InteractionsServer::addr.

A request body larger than max_body_bytes gets 413, and one not received within body_timeout_ms gets 408; both close the connection. Discord's interaction payloads are far below the 1 MiB default. A connection whose next request head does not arrive within header_timeout_ms, idle keep-alive time included, is closed. At most max_connections clients are served at once; more wait to be accepted. Non-positive limits raise ServerConfigError before the server listens.