Type Alias ValId

pub type ValId = Node<ValueData>;

A value ID: a node pointing to value data

Aliased Type

pub struct ValId { /* private fields */ }

Implementations

impl ValId

pub fn add_dependent(&self, dependent: WeakId)

Register a value dependent on this value

Trait Implementations

impl From<Binary> for ValId

fn from(p: Binary) -> ValId

Converts to this type from the input type.

impl From<Bool> for ValId

fn from(p: Bool) -> ValId

Converts to this type from the input type.

impl From<Lambda> for ValId

fn from(lambda: Lambda) -> ValId

Converts to this type from the input type.

impl From<LogicalOp> for ValId

fn from(p: LogicalOp) -> ValId

Converts to this type from the input type.

impl From<Parameter> for ValId

fn from(param: Parameter) -> ValId

Converts to this type from the input type.

impl From<Unary> for ValId

fn from(p: Unary) -> ValId

Converts to this type from the input type.

impl From<Unit> for ValId

fn from(p: Unit) -> ValId

Converts to this type from the input type.

impl From<bool> for ValId

fn from(p: bool) -> ValId

Converts to this type from the input type.

impl JEq<Binary> for ValId

fn jeq(&self, v: &Binary) -> bool

Check whether two objects are judgementally equal

impl JEq<Bool> for ValId

fn jeq(&self, v: &Bool) -> bool

Check whether two objects are judgementally equal

impl JEq<Lambda> for ValId

fn jeq(&self, v: &Lambda) -> bool

Check whether two objects are judgementally equal

impl JEq<LogicalOp> for ValId

fn jeq(&self, v: &LogicalOp) -> bool

Check whether two objects are judgementally equal

impl JEq<Parameter> for ValId

fn jeq(&self, v: &Parameter) -> bool

Check whether two objects are judgementally equal

impl JEq<Sexpr> for ValId

fn jeq(&self, v: &Sexpr) -> bool

Check whether two objects are judgementally equal

impl JEq<Unary> for ValId

fn jeq(&self, v: &Unary) -> bool

Check whether two objects are judgementally equal

impl JEq<Unit> for ValId

fn jeq(&self, v: &Unit) -> bool

Check whether two objects are judgementally equal

impl JEq<ValueEnum> for ValId

fn jeq(&self, other: &ValueEnum) -> bool

Check whether two objects are judgementally equal

impl JEq<bool> for ValId

fn jeq(&self, v: &bool) -> bool

Check whether two objects are judgementally equal

impl JEq for ValId

fn jeq(&self, other: &ValId) -> bool

Check whether two objects are judgementally equal

impl TryFrom<Sexpr> for ValId

type Error = ValueError

The type returned in the event of a conversion error.

fn try_from(sexpr: Sexpr) -> Result<ValId, ValueError>

Performs the conversion.

impl TryFrom<SexprArgs> for ValId

type Error = ValueError

The type returned in the event of a conversion error.

fn try_from(args: SexprArgs) -> Result<ValId, ValueError>

Performs the conversion.

impl TryFrom<ValueEnum> for ValId

type Error = ValueError

The type returned in the event of a conversion error.

fn try_from(value: ValueEnum) -> Result<ValId, ValueError>

Performs the conversion.