[−][src]Enum poi::Symbol
Contains symbols and operators on symbols.
Variants
The wildcard symbol _
.
A variable bound from context.
This can be anything.
A function variable with specified arity (number of arguments).
A list variable.
A list variable of length 1.
Lifts the value out of the list at binding.
A head-tail pattern match on a tuple.
This requires the tuple to have at least length 2. It is to avoid cycles between reductions.
A head-tail pattern match on a list.
This requires the list to have at least length 2. It is to avoid cycles between reductions.
A value variable.
This requires the expression to be Ret
variant.
It is used in special rules such as (\k)(x) => \k
.
A value variable that is an integer.
A value variable that is positive or zero.
A value variable that is negative and non-zero.
Binds to its positive value.
A variable that is not a value variable.
Compute a binary function.
This is used when the right side of the rule computes something from two left side expressions.
Compute a ternary function.
This is used when the right side of the rule computes something from three left side expressions.
Compute a unary function.
This is used when the right side of the rule computes something from a left side expression.
A function without domain constraints.
\false
for one argument.
not
.
id
for booleans.
\true
for one argument.
\false
for two arguments.
\true
for two arguments.
and
.
or
.
eq
for booleans.
xor
.
nand
.
nor
.
exc
.
imply
.
fst
for booleans.
snd
for booleans.
even
.
odd
.
abs
.
lt
.
(< _)(_)
.
le
.
(<= _)(_)
.
gt
.
(> _)(_)
.
ge
.
(>= _)(_)
.
neg
.
reci
(reciprocal).
conj
(complex conjugate).
norm
(vector norm).
sqnorm
(vector square norm).
add
.
sub
.
mul
.
mulc
(complex multiplication).
div
.
rem
.
pow
.
rpow
.
sqrt
.
ln
.
log2
.
log10
.
exp
.
len
.
concat
.
sum
.
min2
.
max2
.
min
.
max
.
range
[a, b].
rangel
[a, b).
ranger
(a, b].
rangem
(a, b).
prob
[0, 1].
probl
[0, 1).
probr
(0, 1].
probm
(0, 1).
mul_mat
.
det
.
dim
.
is_square_mat
,
base
(len, index).
Constructs a list with zeroes of specified length,
but with 1
at the index.
fst
.
snd
.
sin
.
asin
.
cos
.
acos
.
tan
.
atan
.
atan2
.
dot
.
push
.
push_front
.
item
(index, list).
el
.
re
.
im
.
Generic id
.
Generic eq
.
Generic neq
.
Derivative.
Integral.
if
.
This is used in Boolean functions.
Existential path ∃
.
Trivial path ∀
.
\
, the type of \x
.
The type of lists.
The judgement (: a)(b)
.
vec_op
.
Applies a binary function component-wise to lists.
vec_uop
.
Applies a unary function component-wise to lists.
arity
.
pi
or π
.
tau
or τ
.
eps
or ε
.
imag
(complex imaginary base).
imag2
(second complex imaginary base for quaternions).
imag3
(third complex imaginary base for quaternions).
type_of
.
bool
.
f64
.
quat
(type of quaternions).
inf
(infinity).
Implementations
impl Symbol
[src]
Trait Implementations
impl Clone for Symbol
[src]
impl Debug for Symbol
[src]
impl Display for Symbol
[src]
impl Into<Expr> for Symbol
[src]
impl Into<Symbol> for &'static str
[src]
impl PartialEq<Symbol> for Symbol
[src]
impl StructuralPartialEq for Symbol
[src]
Auto Trait Implementations
impl RefUnwindSafe for Symbol
impl Send for Symbol
impl Sync for Symbol
impl Unpin for Symbol
impl UnwindSafe for Symbol
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> From<T> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T> ToOwned for T where
T: Clone,
[src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
fn to_owned(&self) -> T
[src]
fn clone_into(&self, target: &mut T)
[src]
impl<T> ToString for T where
T: Display + ?Sized,
[src]
T: Display + ?Sized,
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,