Struct ProcessAtoms 

pub struct ProcessAtoms;

The host every default answers for: the process this is running in.

A named type rather than an anonymous one because a backend has to be able to say what it was given when nobody gave it anything, and “ProcessAtoms” is an answer where a Box<dyn Atoms> built out of nothing is not.

Trait Implementations

impl Atoms for ProcessAtoms

fn new_uuid(&self) -> Arc<str>

Mint an id — nondet. Called only where the checker has proved we are not inside a fold.

fn now_millis(&self) -> i64

Read the wall clock — nondet, and forbidden inside a fold for the same reason uuid() is: time is data on the envelope (§3.7).

fn secret(&self, name: &str) -> Arc<str>

Read a secret from the process environment — env, which no client tier discharges.

fn fetch(&self, request: &Request, stop: &Stop) -> Result<Reply, Failure>

Make an outbound request — the runtime half of net.out(host).

impl Clone for ProcessAtoms

fn clone(&self) -> ProcessAtoms

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProcessAtoms

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

Formats the value using the given formatter.

impl Default for ProcessAtoms

fn default() -> ProcessAtoms

Returns the “default value” for a type.

impl Copy for ProcessAtoms