stringifyThen

fun stringifyThen( value: A_BasicObject, textInterface: TextInterface = this.textInterface, setup: A_Fiber.() -> Unit = { }, continuation: (String) -> Unit)

Stringify an AvailObject, using the HookType.STRINGIFICATION hook in the specified AvailRuntime. Stringification will run in a new fiber. If stringification fails for any reason, then the built-in mechanism, available via AvailObject.toString will be used. Invoke the specified continuation with the result.

Parameters

value

An Avail value.

textInterface

The text interface for fibers started due to stringification. This need not be the default text interface.

setup

An optional function to set up the fiber prior to starting it.

continuation

What to do with the stringification of value.

fun stringifyThen( values: List<A_BasicObject>, textInterface: TextInterface = this.textInterface, continuation: (List<String>) -> Unit)

Stringify a list of Avail, using the HookType.STRINGIFICATION hook associated with the specified runtime. Stringification will run in parallel, with each value being processed by its own new fiber. If stringification fails for a value for any reason, then the built-in mechanism, available via AvailObject.toString will be used for that value. Invoke the specified continuation with the resulting list, preserving the original order.

Parameters

values

Some Avail values.

textInterface

The text interface for fibers started due to stringification. This need not be the default text interface.

continuation

What to do with the resulting list.