Enum FunctionType 

pub enum FunctionType {
    Evaluator(Vec<TraceSegment>),
    Function(Vec<Type>, Type),
}

Represents the type signature of a function

Variants

Evaluator(Vec<TraceSegment>)

An evaluator function, which has no results, and has a complex type signature due to the nature of trace bindings

Function(Vec<Type>, Type)

A standard function with one or more inputs, and a result

Implementations

impl FunctionType

pub fn result(&self) -> Option<Type>

Trait Implementations

impl Clone for FunctionType

fn clone(&self) -> FunctionType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FunctionType

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

Formats the value using the given formatter.

impl PartialEq for FunctionType

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

impl StructuralPartialEq for FunctionType