wasm-wasi-preview1-core/at.released.weh.wasi.preview1.type/Subscription

Subscription

data class Subscription(val userdata: Userdata, val u: SubscriptionU)(source)

WASI Preview1 type $subscription

Subscription to an event.

Parameters

userdata

User-provided value that is attached to the subscription in the implementation and returned through event::userdata.

The type of the event to which to subscribe, and its contents

Definition:

(typename $subscription
  (record
    ;;; User-provided value that is attached to the subscription in the
    ;;; implementation and returned through `event::userdata`.
    (field $userdata $userdata)
    ;;; The type of the event to which to subscribe, and its contents
    (field $u $subscription_u)
  )
)

Constructors

Subscription

constructor(userdata: Userdata, u: SubscriptionU)

Properties

val u: SubscriptionU

userdata

val userdata: Userdata