Skip to content

_RunAsync

[Source]

actor tag _RunAsync is
  _Runner tag

Implements


Constructors

create

[Source]

new tag create(
  ponybench: PonyBench tag,
  benchmark: AsyncMicroBenchmark iso,
  overhead: Bool val)
: _RunAsync tag^

Parameters

Returns


Public Behaviours

apply

[Source]

be apply()

Private Behaviours

_apply_cont

[Source]

be _apply_cont(
  e: U64 val)

Parameters


_run_iteration

[Source]

be _run_iteration(
  e: U64 val)

Parameters


_complete

[Source]

be _complete()

_complete_cont

[Source]

be _complete_cont(
  e: U64 val)

Parameters


_fail

[Source]

be _fail()

Private Functions

_gc_next_behavior

[Source]

fun ref _gc_next_behavior()
: None val

Returns