Struct Store 

pub struct Store<M: Mail = NoMail> {
    pub fresh: usize,
    pub block: Vec<Exp>,
    pub level: usize,
    pub cells: Vec<Val>,
    pub mail: M,
    /* private fields */
}

The store, in the CESK sense. Cells and the mailbox are effects and survive a catch; fresh and block are staging state and do not. Tasks may share effects but never staging state - one interleaved block is two half residuals.

Fields

fresh: usize

block: Vec<Exp>

Statements of the innermost open reify scope, drained into a Let-chain when it closes. This is where ANF comes from.

level: usize

cells: Vec<Val>

Val::Cell(i) indexes here

mail: M

Implementations

impl<M: Mail> Store<M>

pub fn new(mail: M) -> Store<M>

pub fn fresh_var(&mut self) -> usize

pub fn reflect(&mut self, e: Exp) -> Exp

The paper’s reflect.

pub fn reflectc(&mut self, e: Exp) -> Val

Trait Implementations

impl<M: Mail + Default> Default for Store<M>

fn default() -> Self

Returns the “default value” for a type.