Source File
Future.hylo
Members
Functions
fun concore2full_spawn2(_ frame: set SpawnFrameBase, _ f: [()] (SpawnFrameBase) let -> Void)
Spawns the execution of f using control data frame.
fun concore2full_await(_ frame: SpawnFrameBase)
Awaits the completion of the computation started in frame.
Product Types
type Future<E: Movable & Deinitializable>
A future that cannot escape the local scope.
type EscapingFuture<E: Movable & Deinitializable>: Deinitializable, Movable
A future that can escape the local scope.
type SpawnFrame<E: Movable & Deinitializable>: Deinitializable
Describes the frame needed to spawn a computation.
type SpawnFrameBase: Deinitializable, Movable
Describes the frame needed to spawn a computation.