Struct PartialFacts 

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

Fact bundle accepted by partial evaluation.

Implementations

impl PartialFacts

pub fn new() -> Self

Creates an empty partial fact bundle.

pub fn from_entries( entries: impl IntoIterator<Item = (FactId, Presence)>, ) -> Self

Builds partial facts from explicit entries.

pub fn with_present<F: Fact>(self) -> Self

Marks a typed fact as present.

pub fn with_absent<F: Fact>(self) -> Self

Marks a typed fact as absent.

pub fn with_unknown<F: Fact>(self) -> Self

Marks a typed fact as unknown for query lowering.

pub fn with_fact(self, fact: FactId, presence: Presence) -> Self

Adds a runtime fact with any presence state.

pub fn presence(&self, fact: &FactId) -> Presence

Returns a fact’s presence, defaulting to absent when omitted.

Trait Implementations

impl Clone for PartialFacts

fn clone(&self) -> PartialFacts

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PartialFacts

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

Formats the value using the given formatter.

impl Default for PartialFacts

fn default() -> PartialFacts

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for PartialFacts

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for PartialFacts

impl Extend<(FactId, Presence)> for PartialFacts

fn extend<T>(&mut self, iter: T)

where T: IntoIterator<Item = (FactId, Presence)>,

Extends a collection with the contents of an iterator.

fn extend_one(&mut self, item: A)

🔬This is a nightly-only experimental API. (extend_one)

Extends a collection with exactly one element.

fn extend_reserve(&mut self, additional: usize)

🔬This is a nightly-only experimental API. (extend_one)

Reserves capacity in a collection for the given number of additional elements.

impl FromIterator<(FactId, Presence)> for PartialFacts

fn from_iter<T>(iter: T) -> Self

where T: IntoIterator<Item = (FactId, Presence)>,

Creates a value from an iterator.

impl PartialEq for PartialFacts

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for PartialFacts

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 PartialFacts