Enum ArgShape 

pub enum ArgShape {
    Variable,
    Atom {
        name: String,
    },
    Integer,
    Float,
    Binary,
    List,
    Tuple {
        size: usize,
    },
    Record {
        name: RecordName,
    },
    String,
    Fun,
    Unknown,
}

Variants

Variable

Variable identifier (starts with _ or capital letter).

Atom

Atom literal: foo, 'quoted atom'.

Fields

name: String

Integer

Integer literal.

Float

Float literal.

Binary

Binary literal: <<...>>.

List

List literal: [...].

Tuple

Tuple literal: {...} (size is the number of elements).

Fields

size: usize

Record

Record reference: #name{...}.

Fields

name: RecordName

String

String literal: "...".

Fun

Anonymous fun: fun ... end or fun mod:f/A.

Unknown

Anything the extractor cannot classify. Always matches.

Implementations

impl ArgShape

pub fn satisfies(&self, pattern: &ArgShape) -> bool

Returns true when self (a call-site argument) is acceptable against pattern (a clause-head argument at the pin).

Conservative: we only return false when we can prove a mismatch from static information. Anything we can’t classify confidently is treated as a potential match.

Unknown on either side accepts anything. Variable on either side accepts anything too: a call-site variable can hold any runtime value, and a clause-head variable binds to any input.

Trait Implementations

impl Clone for ArgShape

fn clone(&self) -> ArgShape

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ArgShape

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ArgShape

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for ArgShape

impl Hash for ArgShape

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 PartialEq for ArgShape

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for ArgShape

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for ArgShape