pub struct ColumnSpecs<'a> {
pub relation: &'a RelationType,
pub columns: Vec<ResultSpec<'a>>,
pub unmaterializables: BTreeMap<UnmaterializableFunc, ResultSpec<'a>>,
pub arena: &'a RowArena,
}
Expand description
An interpreter that:
- stores both the type and the range of possible values for every column and
unmaterializable function. (See the
push_
methods.) - given an expression (or MFP, etc.), returns the range of possible results that evaluating that
expression might have. (See the
eval_
methods.)
Fields§
§relation: &'a RelationType
§columns: Vec<ResultSpec<'a>>
§unmaterializables: BTreeMap<UnmaterializableFunc, ResultSpec<'a>>
§arena: &'a RowArena
Implementations§
Source§impl<'a> ColumnSpecs<'a>
impl<'a> ColumnSpecs<'a>
const MAX_EVAL_ARGS: usize = 6usize
Sourcepub fn new(relation: &'a RelationType, arena: &'a RowArena) -> Self
pub fn new(relation: &'a RelationType, arena: &'a RowArena) -> Self
Create a new, empty set of column specs. (Initially, the only assumption we make about the data in the column is that it matches the type.)
Sourcepub fn push_column(&mut self, id: usize, update: ResultSpec<'a>)
pub fn push_column(&mut self, id: usize, update: ResultSpec<'a>)
Restrict the set of possible values in a given column. (By intersecting it with the existing spec.)
Sourcepub fn push_unmaterializable(
&mut self,
func: UnmaterializableFunc,
update: ResultSpec<'a>,
)
pub fn push_unmaterializable( &mut self, func: UnmaterializableFunc, update: ResultSpec<'a>, )
Restrict the set of possible values a given unmaterializable func might return. (By intersecting it with the existing spec.)
fn eval_result<'b, E>(&self, result: Result<Datum<'b>, E>) -> ResultSpec<'a>
fn set_literal(expr: &mut MirScalarExpr, update: Result<Datum<'_>, EvalError>)
fn set_argument( expr: &mut MirScalarExpr, arg: usize, value: Result<Datum<'_>, EvalError>, )
Sourcefn placeholder(col_type: ColumnType) -> MirScalarExpr
fn placeholder(col_type: ColumnType) -> MirScalarExpr
A literal with the given type and a trivial default value. Callers should ensure that Self::set_literal is called on the resulting expression to give it a meaningful value before evaluating.
Trait Implementations§
Source§impl<'a> Clone for ColumnSpecs<'a>
impl<'a> Clone for ColumnSpecs<'a>
Source§fn clone(&self) -> ColumnSpecs<'a>
fn clone(&self) -> ColumnSpecs<'a>
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source
. Read moreSource§impl<'a> Debug for ColumnSpecs<'a>
impl<'a> Debug for ColumnSpecs<'a>
Source§impl<'a> Interpreter for ColumnSpecs<'a>
impl<'a> Interpreter for ColumnSpecs<'a>
type Summary = ColumnSpec<'a>
Source§fn literal(
&self,
result: &Result<Row, EvalError>,
col_type: &ColumnType,
) -> Self::Summary
fn literal( &self, result: &Result<Row, EvalError>, col_type: &ColumnType, ) -> Self::Summary
Source§fn unmaterializable(&self, func: &UnmaterializableFunc) -> Self::Summary
fn unmaterializable(&self, func: &UnmaterializableFunc) -> Self::Summary
Source§fn unary(&self, func: &UnaryFunc, summary: Self::Summary) -> Self::Summary
fn unary(&self, func: &UnaryFunc, summary: Self::Summary) -> Self::Summary
Source§fn binary(
&self,
func: &BinaryFunc,
left: Self::Summary,
right: Self::Summary,
) -> Self::Summary
fn binary( &self, func: &BinaryFunc, left: Self::Summary, right: Self::Summary, ) -> Self::Summary
Source§fn variadic(
&self,
func: &VariadicFunc,
args: Vec<Self::Summary>,
) -> Self::Summary
fn variadic( &self, func: &VariadicFunc, args: Vec<Self::Summary>, ) -> Self::Summary
Source§fn cond(
&self,
cond: Self::Summary,
then: Self::Summary,
els: Self::Summary,
) -> Self::Summary
fn cond( &self, cond: Self::Summary, then: Self::Summary, els: Self::Summary, ) -> Self::Summary
Source§fn expr(&self, expr: &MirScalarExpr) -> Self::Summary
fn expr(&self, expr: &MirScalarExpr) -> Self::Summary
Source§fn mfp_filter(&self, mfp: &MapFilterProject) -> Self::Summary
fn mfp_filter(&self, mfp: &MapFilterProject) -> Self::Summary
and
together all of the filters.Source§fn mfp_plan_filter(&self, plan: &MfpPlan) -> Self::Summary
fn mfp_plan_filter(&self, plan: &MfpPlan) -> Self::Summary
Auto Trait Implementations§
impl<'a> Freeze for ColumnSpecs<'a>
impl<'a> !RefUnwindSafe for ColumnSpecs<'a>
impl<'a> !Send for ColumnSpecs<'a>
impl<'a> !Sync for ColumnSpecs<'a>
impl<'a> Unpin for ColumnSpecs<'a>
impl<'a> !UnwindSafe for ColumnSpecs<'a>
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> FutureExt for T
impl<T> FutureExt for T
Source§fn with_context(self, otel_cx: Context) -> WithContext<Self>
fn with_context(self, otel_cx: Context) -> WithContext<Self>
Source§fn with_current_context(self) -> WithContext<Self>
fn with_current_context(self) -> WithContext<Self>
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moreSource§impl<T> IntoRequest<T> for T
impl<T> IntoRequest<T> for T
Source§fn into_request(self) -> Request<T>
fn into_request(self) -> Request<T>
T
in a tonic::Request
Source§impl<T, U> OverrideFrom<Option<&T>> for Uwhere
U: OverrideFrom<T>,
impl<T, U> OverrideFrom<Option<&T>> for Uwhere
U: OverrideFrom<T>,
Source§impl<T> Paint for Twhere
T: ?Sized,
impl<T> Paint for Twhere
T: ?Sized,
Source§fn fg(&self, value: Color) -> Painted<&T>
fn fg(&self, value: Color) -> Painted<&T>
Returns a styled value derived from self
with the foreground set to
value
.
This method should be used rarely. Instead, prefer to use color-specific
builder methods like red()
and
green()
, which have the same functionality but are
pithier.
§Example
Set foreground color to white using fg()
:
use yansi::{Paint, Color};
painted.fg(Color::White);
Set foreground color to white using white()
.
use yansi::Paint;
painted.white();
Source§fn bright_black(&self) -> Painted<&T>
fn bright_black(&self) -> Painted<&T>
Source§fn bright_red(&self) -> Painted<&T>
fn bright_red(&self) -> Painted<&T>
Source§fn bright_green(&self) -> Painted<&T>
fn bright_green(&self) -> Painted<&T>
Source§fn bright_yellow(&self) -> Painted<&T>
fn bright_yellow(&self) -> Painted<&T>
Source§fn bright_blue(&self) -> Painted<&T>
fn bright_blue(&self) -> Painted<&T>
Source§fn bright_magenta(&self) -> Painted<&T>
fn bright_magenta(&self) -> Painted<&T>
Source§fn bright_cyan(&self) -> Painted<&T>
fn bright_cyan(&self) -> Painted<&T>
Source§fn bright_white(&self) -> Painted<&T>
fn bright_white(&self) -> Painted<&T>
Source§fn bg(&self, value: Color) -> Painted<&T>
fn bg(&self, value: Color) -> Painted<&T>
Returns a styled value derived from self
with the background set to
value
.
This method should be used rarely. Instead, prefer to use color-specific
builder methods like on_red()
and
on_green()
, which have the same functionality but
are pithier.
§Example
Set background color to red using fg()
:
use yansi::{Paint, Color};
painted.bg(Color::Red);
Set background color to red using on_red()
.
use yansi::Paint;
painted.on_red();
Source§fn on_primary(&self) -> Painted<&T>
fn on_primary(&self) -> Painted<&T>
Source§fn on_magenta(&self) -> Painted<&T>
fn on_magenta(&self) -> Painted<&T>
Source§fn on_bright_black(&self) -> Painted<&T>
fn on_bright_black(&self) -> Painted<&T>
Source§fn on_bright_red(&self) -> Painted<&T>
fn on_bright_red(&self) -> Painted<&T>
Source§fn on_bright_green(&self) -> Painted<&T>
fn on_bright_green(&self) -> Painted<&T>
Source§fn on_bright_yellow(&self) -> Painted<&T>
fn on_bright_yellow(&self) -> Painted<&T>
Source§fn on_bright_blue(&self) -> Painted<&T>
fn on_bright_blue(&self) -> Painted<&T>
Source§fn on_bright_magenta(&self) -> Painted<&T>
fn on_bright_magenta(&self) -> Painted<&T>
Source§fn on_bright_cyan(&self) -> Painted<&T>
fn on_bright_cyan(&self) -> Painted<&T>
Source§fn on_bright_white(&self) -> Painted<&T>
fn on_bright_white(&self) -> Painted<&T>
Source§fn attr(&self, value: Attribute) -> Painted<&T>
fn attr(&self, value: Attribute) -> Painted<&T>
Enables the styling Attribute
value
.
This method should be used rarely. Instead, prefer to use
attribute-specific builder methods like bold()
and
underline()
, which have the same functionality
but are pithier.
§Example
Make text bold using attr()
:
use yansi::{Paint, Attribute};
painted.attr(Attribute::Bold);
Make text bold using using bold()
.
use yansi::Paint;
painted.bold();
Source§fn rapid_blink(&self) -> Painted<&T>
fn rapid_blink(&self) -> Painted<&T>
Source§fn quirk(&self, value: Quirk) -> Painted<&T>
fn quirk(&self, value: Quirk) -> Painted<&T>
Enables the yansi
Quirk
value
.
This method should be used rarely. Instead, prefer to use quirk-specific
builder methods like mask()
and
wrap()
, which have the same functionality but are
pithier.
§Example
Enable wrapping using .quirk()
:
use yansi::{Paint, Quirk};
painted.quirk(Quirk::Wrap);
Enable wrapping using wrap()
.
use yansi::Paint;
painted.wrap();
Source§fn clear(&self) -> Painted<&T>
👎Deprecated since 1.0.1: renamed to resetting()
due to conflicts with Vec::clear()
.
The clear()
method will be removed in a future release.
fn clear(&self) -> Painted<&T>
resetting()
due to conflicts with Vec::clear()
.
The clear()
method will be removed in a future release.Source§fn whenever(&self, value: Condition) -> Painted<&T>
fn whenever(&self, value: Condition) -> Painted<&T>
Conditionally enable styling based on whether the Condition
value
applies. Replaces any previous condition.
See the crate level docs for more details.
§Example
Enable styling painted
only when both stdout
and stderr
are TTYs:
use yansi::{Paint, Condition};
painted.red().on_yellow().whenever(Condition::STDOUTERR_ARE_TTY);
Source§impl<T> Pointable for T
impl<T> Pointable for T
Source§impl<P, R> ProtoType<R> for Pwhere
R: RustType<P>,
impl<P, R> ProtoType<R> for Pwhere
R: RustType<P>,
Source§fn into_rust(self) -> Result<R, TryFromProtoError>
fn into_rust(self) -> Result<R, TryFromProtoError>
RustType::from_proto
.Source§fn from_rust(rust: &R) -> P
fn from_rust(rust: &R) -> P
RustType::into_proto
.Source§impl<'a, S, T> Semigroup<&'a S> for Twhere
T: Semigroup<S>,
impl<'a, S, T> Semigroup<&'a S> for Twhere
T: Semigroup<S>,
Source§fn plus_equals(&mut self, rhs: &&'a S)
fn plus_equals(&mut self, rhs: &&'a S)
std::ops::AddAssign
, for types that do not implement AddAssign
.