Struct CapabilityMeta 

pub struct CapabilityMeta {
    pub name: String,
    pub kind: CapabilityKind,
    pub arity: usize,
    pub receiver: Option<TypeClass>,
    pub args: Vec<TypeClass>,
    pub result: TypeClass,
    pub phases: BTreeSet<Phase>,
    pub body_access: BodyAccess,
    pub regex_args: Vec<RegexArgMeta>,
    pub deterministic: bool,
    pub side_effect_free: bool,
    pub cost: CostModel,
}

Fields

name: String

kind: CapabilityKind

arity: usize

receiver: Option<TypeClass>

args: Vec<TypeClass>

result: TypeClass

phases: BTreeSet<Phase>

body_access: BodyAccess

regex_args: Vec<RegexArgMeta>

deterministic: bool

side_effect_free: bool

cost: CostModel

Implementations

impl CapabilityMeta

pub fn function(name: impl Into<String>, arity: usize) -> Self

pub fn method(name: impl Into<String>, arity: usize) -> Self

pub fn unary_operator(op: UnaryOp) -> Self

pub fn binary_operator(op: BinaryOp) -> Self

pub fn with_phases(self, phases: impl IntoIterator<Item = Phase>) -> Self

pub fn with_receiver(self, receiver: TypeClass) -> Self

pub fn with_args(self, args: impl IntoIterator<Item = TypeClass>) -> Self

pub fn with_result(self, result: TypeClass) -> Self

pub fn with_body_access(self, access: BodyAccess) -> Self

pub fn with_regex_arg(self, index: usize, flavor: RegexFlavor) -> Self

pub fn with_cost(self, cost: CostModel) -> Self

pub fn with_deterministic(self, deterministic: bool) -> Self

pub fn with_side_effect_free(self, side_effect_free: bool) -> Self

pub fn is_available_in(&self, phase: Phase) -> bool

pub fn ticket(&self) -> CapabilityTicket

Trait Implementations

impl Clone for CapabilityMeta

fn clone(&self) -> CapabilityMeta

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CapabilityMeta

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for CapabilityMeta

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for CapabilityMeta

impl PartialEq for CapabilityMeta

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for CapabilityMeta

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 CapabilityMeta