Struct BasicFunctionTerm 

pub struct BasicFunctionTerm(/* private fields */);

Usage

Used by InitElement.

Implementations

impl BasicFunctionTerm

pub fn new<N: IntoIterator<Item = Name>>( symbol: FunctionSymbol, names: N, ) -> Self

pub const fn symbol(&self) -> &FunctionSymbol

Returns the function symbol.

pub fn names(&self) -> &[Name]

Returns the associated names.

Trait Implementations

impl AsRef<[Name]> for BasicFunctionTerm

fn as_ref(&self) -> &[Name]

Converts this type into a shared reference of the (usually inferred) input type.

impl AsRef<FunctionSymbol> for BasicFunctionTerm

fn as_ref(&self) -> &FunctionSymbol

Converts this type into a shared reference of the (usually inferred) input type.

impl Clone for BasicFunctionTerm

fn clone(&self) -> BasicFunctionTerm

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BasicFunctionTerm

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

Formats the value using the given formatter.

impl Parser for BasicFunctionTerm

Available on crate feature parser only.

fn parse<'a, S: Into<Span<'a>>>(input: S) -> ParseResult<'a, Self::Item>

Parses a basic function term.

Example

let (_, value) = BasicFunctionTerm::parse("abcde").unwrap();
assert_eq!(value,  BasicFunctionTerm::new("abcde".into(), []));

let (_, value) = BasicFunctionTerm::parse("(abcde)").unwrap();
assert_eq!(value,  BasicFunctionTerm::new("abcde".into(), []));

let (_, value) = BasicFunctionTerm::parse("(abcde x y z)").unwrap();
assert_eq!(value,  BasicFunctionTerm::new("abcde".into(), [
    "x".into(), "y".into(), "z".into()]
));

See also

See parse_basic_function_term.

type Item = BasicFunctionTerm

fn parse_span(input: Span<'_>) -> ParseResult<'_, Self::Item>

Parses the input into the specified Item type.

fn from_str(input: &str) -> Result<Self::Item, Err<ParseError<'_>>>

Uses the Parser::parse method to parse the input and, if successful, discards the unparsed remaining input.

impl PartialEq for BasicFunctionTerm

fn eq(&self, other: &BasicFunctionTerm) -> 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 StructuralPartialEq for BasicFunctionTerm