Type Alias LinearTriplePattern 

pub type LinearTriplePattern<T> = Triple<Option<T>>;

Linear triple pattern, with each component either a ground resource (Some) or unconstrained (None).

Unlike TriplePattern, a linear pattern cannot bind the same variable to more than one component, hence the name: it does not encode a general Pattern graph, only affine constraints on each component independently.

Aliased Type

pub struct LinearTriplePattern<T>(pub Option<T>, pub Option<T>, pub Option<T>);

Tuple Fields

0: Option<T>

1: Option<T>

2: Option<T>

Trait Implementations

impl<T> From<Triple<T>> for LinearTriplePattern<T>

fn from(value: Triple<T>) -> Self

Turns a triple into the linear pattern matching only that triple.