Struct CalcEnv

Source

pub struct CalcEnv { /* private fields */ }

Expand description

Program facts the calculator reads as DATA: the constructor names (so a constructor-wrap is distinguished from a function application) and each function’s declared return type (to type a lifted variable). Shape-keyed machinery, name-blind: these are looked up, never matched against.

CalcEnv

Struct CalcEnv Copy item path

Implementations§

impl CalcEnv

pub fn from_items(items: &[TopLevel]) -> Self

Auto Trait Implementations§

impl Freeze for CalcEnv

impl RefUnwindSafe for CalcEnv

impl Send for CalcEnv

impl Sync for CalcEnv

impl Unpin for CalcEnv

impl UnsafeUnpin for CalcEnv

impl UnwindSafe for CalcEnv

Blanket Implementations§

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> From<T> for T

fn from(t: T) -> T

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

impl<V, T> VZip<V> for Twhere V: MultiLane<T>,

fn vzip(self) -> V

Struct CalcEnv

impl<T> Any for T
where T: 'static + ?Sized,

impl<T> Borrow<T> for T
where T: ?Sized,

impl<T> BorrowMut<T> for T
where T: ?Sized,

impl<T, U> Into<U> for T
where U: From<T>,

impl<T, U> TryFrom<U> for T
where U: Into<T>,

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

impl<V, T> VZip<V> for T
where V: MultiLane<T>,