Enum IoActionKind 

pub enum IoActionKind {
    Pure(RtObject),
    Bind {
        action: Box<IoActionKind>,
        continuation: RtObject,
    },
    PrintLn(String),
    ReadLn,
    ReadFile(String),
    WriteFile {
        path: String,
        contents: String,
    },
    GetTime,
    Exit(i32),
    Throw(RtObject),
    Catch {
        action: Box<IoActionKind>,
        handler: RtObject,
    },
    NewRef(RtObject),
    ReadRef(u64),
    WriteRef(u64, RtObject),
    Spawn(RtObject),
    Wait(u64),
}

IO action kinds.

Variants

Pure(RtObject)

Pure value: pure a.

Bind

Bind: x >>= f.

Fields

action: Box<IoActionKind>

First action.

continuation: RtObject

Continuation.

PrintLn(String)

Print a string.

ReadLn

Read a line from stdin.

ReadFile(String)

Read a file.

WriteFile

Write a file.

Fields

path: String

File path.

contents: String

Contents to write.

GetTime

Get the current time.

Exit(i32)

Exit with a code.

Throw(RtObject)

Throw an exception.

Catch

Catch an exception.

Fields

action: Box<IoActionKind>

Action that might throw.

handler: RtObject

Handler for exceptions.

NewRef(RtObject)

Create a mutable reference.

ReadRef(u64)

Read a mutable reference.

WriteRef(u64, RtObject)

Write a mutable reference.

Spawn(RtObject)

Spawn a new task.

Wait(u64)

Wait for a task to complete.

Trait Implementations

impl Clone for IoActionKind

fn clone(&self) -> IoActionKind

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for IoActionKind

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.