Crate cove_runtime 

The Cove runtime: values, Host API dispatch, and the MVP interpreter.

Re-exports

pub use budget::Budget;

pub use budget::Cancellation;

pub use budget::Limits;

pub use budget::Meter;

pub use budget::Stopped;

pub use clock::Clock;

pub use clock::VirtualTime;

pub use database::Database;

pub use error::RuntimeError;

pub use files::Files;

pub use heap::Collection;

pub use heap::HeapStats;

pub use host::shipped_schema;

pub use host::Console;

pub use host::Documents;

pub use host::Env;

pub use host::GrantSource;

pub use host::Grants;

pub use host::HostApi;

pub use host::HostRegistry;

pub use host::NoReentry;

pub use host::Reentry;

pub use host::ResourceHandle;

pub use http::Http;

pub use http::ScriptedRequest;

pub use http::Served;

pub use interp::on_cove_stack;

pub use interp::STACK_SIZE;

pub use process::Process;

pub use process::ProcessLog;

pub use runtime::Runtime;

pub use runtime::ENTRY_TASK;

pub use schema::Admits;

pub use schema::Mismatch;

pub use schema::Part;

pub use shared::SharedCell;

pub use task::Transfer;

pub use trace::create_trace_file;

pub use trace::value_to_json;

pub use trace::HostOutcome;

pub use trace::JsonlSink;

pub use trace::NullSink;

pub use trace::RecordedValue;

pub use trace::RecordingBackend;

pub use trace::RunOutcome;

pub use trace::TraceEvent;

pub use trace::TraceHeader;

pub use trace::TraceSink;

pub use trace::ValueCapture;

pub use trace::RUNTIME_VERSION;

pub use trace::TRACE_FORMAT_VERSION;

pub use value::Value;

pub use value::ValueView;

Modules

budget

Runtime resource control.

builtins

Builtin methods, associated functions, and constructors.

clock

clock: monotonic time, and waiting.

database

database: connections, and the queries made on them.

embed

Running a Cove program that a native executable carries inside itself.

error

Errors raised while executing Cove code.

files

files: the real filesystem, confined to a directory the host chose.

heap

The per-task mark-and-sweep collector.

host

The Host API boundary.

http

http: fetching over the network, and listening on a port.

interp

The MVP tree-walking interpreter.

process

process: the run’s own arguments, its exit status, and filtered subprocesses.

runtime

What every thread of one run shares.

schema

The Host API schema, and what a value has to be for a declared type to admit it.

shared

Shared<T>: mutable state that more than one task may reach.

task

Task scopes, task handles, and the task-safety rule at their boundary.

trace

Runtime observability.

value

Runtime values.

Structs

Call

One live call, as a debugger sees it.

Cost

What one instruction of a run cost, summed over every time it ran.

Field

One named part of an object.

FieldSchema

One field of a host type.

Line

One line of disassembly.

Local

One name the source bound, and what it holds.

ModuleSchema

The name, capability, operations, types, and resources of one host module.

Object

One object of the run’s heap, rendered.

OperationSchema

One operation of one host module.

Profiler

Counts what a run executes, by the instruction that executed.

ResourceSchema

One kind of host resource: a value the host owns and Cove only names.

Stop

One instruction’s worth of standing still.

TypeSchema

The shape of one type a host declares.

Vm

One run of a lowered program.

Word

One word of a frame.

Enums

Effect

Whether an operation observes the world or changes it, and whether the change can be taken back.

HostType

A type in a Host API signature, written in Cove’s source vocabulary.

Resume

What a debugger says when the machine asks.

Constants

SAFEPOINT_STRIDE

How many instructions run between two budget checks.

Traits

Debugger

Something that watches a run, one instruction at a time.