Enum FunctionRef 

pub enum FunctionRef {
    Bound(BoundRef),
    Unbound(Identifier<'static>),
}

A bound or unbound reference to a function.

Variants

Bound(BoundRef)

A bound reference to a Function

Unbound(Identifier<'static>)

A reference to an unbound identifier

Implementations

impl FunctionRef

pub fn name(&self) -> &Identifier<'static>

Trait Implementations

impl Clone for FunctionRef

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FunctionRef

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

Formats the value using the given formatter.

impl Display for FunctionRef

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

Formats the value using the given formatter.

impl Eq for FunctionRef

impl From<BoundRef> for FunctionRef

fn from(value: BoundRef) -> Self

Converts to this type from the input type.

impl From<Declared> for FunctionRef

fn from(val: Declared) -> Self

Converts to this type from the input type.

impl From<Defined> for FunctionRef

fn from(val: Defined) -> Self

Converts to this type from the input type.

impl From<Function> for FunctionRef

fn from(val: Function) -> Self

Converts to this type from the input type.

impl From<FunctionRef> for SortHead

fn from(funcref: FunctionRef) -> Self

Converts to this type from the input type.

impl From<FunctionRef> for Atom

fn from(head: FunctionRef) -> Self

Converts to this type from the input type.

impl From<Identifier<'static>> for FunctionRef

fn from(value: Identifier<'static>) -> Self

Converts to this type from the input type.

impl From<Primitive> for FunctionRef

fn from(val: Primitive) -> Self

Converts to this type from the input type.

impl From<SortHead> for FunctionRef

fn from(head: SortHead) -> Self

Converts to this type from the input type.

impl From<UserFunction> for FunctionRef

fn from(val: UserFunction) -> Self

Converts to this type from the input type.

impl From<Variable> for FunctionRef

fn from(val: Variable) -> Self

Converts to this type from the input type.

impl Hash for FunctionRef

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Locatable for FunctionRef

type Located = FunctionRef

fn over(self, span: impl Into<Option<Span>>) -> Self

Turns self into an object of type Self::Located tracking the new span.

impl Located for FunctionRef

fn span(&self) -> Option<Span>

Gets the Span tracked by the type.

impl PartialEq for FunctionRef

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for FunctionRef

impl ToTerm for FunctionRef

fn into_term_in(self, pool: &dyn TermPool) -> Term

Convert the object into a Term by uniquing in the given TermPool.

fn to_term_in(&self, pool: &dyn TermPool) -> Term

Convert the object (by reference) into a Term by uniquing in the given TermPool.