grom/webhook_event
Types
pub type Body {
Body(
type_: Type,
timestamp: timestamp.Timestamp,
data: option.Option(Data),
)
}
Constructors
-
Body( type_: Type, timestamp: timestamp.Timestamp, data: option.Option(Data), )
pub type Data {
ApplicationAuthorizedEvent(
integration_type: option.Option(IntegrationType),
user: user.User,
scopes: List(String),
guild: option.Option(guild.Guild),
)
EntitlementCreateEvent(entitlement.Entitlement)
}
Constructors
-
ApplicationAuthorizedEvent( integration_type: option.Option(IntegrationType), user: user.User, scopes: List(String), guild: option.Option(guild.Guild), ) -
EntitlementCreateEvent(entitlement.Entitlement)
pub type IntegrationType {
GuildInstall
UserInstall
}
Constructors
-
GuildInstall -
UserInstall
pub type Type {
ApplicationAuthorized
EntitlementCreate
}
Constructors
-
ApplicationAuthorized -
EntitlementCreate
pub type WebhookEvent {
WebhookEvent(
version: Int,
application_id: String,
type_: WebhookType,
event: option.Option(Body),
)
}
Constructors
-
WebhookEvent( version: Int, application_id: String, type_: WebhookType, event: option.Option(Body), )
pub type WebhookType {
Ping
Event
}
Constructors
-
Ping -
Event