Struct MaybeInterp 

pub struct MaybeInterp {
    pub fuel: u64,
}

A monadic interpreter using Option to model partial PCF evaluation.

Fields

fuel: u64

Maximum evaluation fuel.

Implementations

impl MaybeInterp

pub fn new(fuel: u64) -> Self

Create a new interpreter.

pub fn ret(v: PCFValue) -> Option<PCFValue>

Monadic unit: wrap a value.

pub fn bind<F>(m: Option<PCFValue>, f: F) -> Option<PCFValue>

where F: FnOnce(PCFValue) -> Option<PCFValue>,

Monadic bind.

pub fn eval(&self, term: &PCFTerm) -> Option<PCFValue>

Evaluate a PCF term; return None if it diverges.

pub fn guard(cond: bool) -> Option<()>

Guard: None if condition is false.

pub fn seq(&self, t1: &PCFTerm, t2: &PCFTerm) -> Option<PCFValue>

Sequence two evaluations, discarding the first result.

pub fn map<F>(m: Option<PCFValue>, f: F) -> Option<PCFValue>

where F: FnOnce(PCFValue) -> PCFValue,

Map over a monadic value.

Trait Implementations

impl Clone for MaybeInterp

fn clone(&self) -> MaybeInterp

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MaybeInterp

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

Formats the value using the given formatter.

impl PartialEq for MaybeInterp

fn eq(&self, other: &MaybeInterp) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for MaybeInterp

impl StructuralPartialEq for MaybeInterp