Struct LazyKRunner

pub struct LazyKRunner {
    pub s: u32,
    pub k: u32,
    pub i: u32,
    pub ki: u32,
    pub inc: u32,
    pub zero: u32,
    pub iota: u32,
    /* private fields */
}

Fields

s: u32

k: u32

i: u32

ki: u32

inc: u32

zero: u32

iota: u32

Implementations

impl LazyKRunner

pub fn new() -> Self

pub fn partial_apply(&mut self, lhs: u32, rhs: u32) -> u32

pub fn church2int(&mut self, church: u32) -> Result<u16>

pub fn church_char(&self, idx: u16) -> u32

pub fn run( &mut self, expr_id: u32, input: Input, output: &mut Output, output_limit: Option<usize>, ) -> Result<u16>

Trait Implementations

impl Default for LazyKRunner

fn default() -> Self

Returns the “default value” for a type.