Enum fungi_lang::decide::apart::IdxTmSide
[−]
[src]
pub enum IdxTmSide { Var(Var), Sing(NmTmDec), Empty, Disj(IdxTmDec, IdxTmDec), Union(IdxTmDec, IdxTmDec), Unit, Pair(IdxTmDec, IdxTmDec), Proj1(IdxTmDec), Proj2(IdxTmDec), Lam(Var, Sort, IdxTmDec), App(IdxTmDec, IdxTmDec), Map(NmTmDec, IdxTmDec), FlatMap(IdxTmDec, IdxTmDec), Star(IdxTmDec, IdxTmDec), NoParse(String), }
One side of an index term apartness
Variants
Var(Var)
Sing(NmTmDec)
Empty
Disj(IdxTmDec, IdxTmDec)
Union(IdxTmDec, IdxTmDec)
Unit
Pair(IdxTmDec, IdxTmDec)
Proj1(IdxTmDec)
Proj2(IdxTmDec)
Lam(Var, Sort, IdxTmDec)
App(IdxTmDec, IdxTmDec)
Map(NmTmDec, IdxTmDec)
FlatMap(IdxTmDec, IdxTmDec)
Star(IdxTmDec, IdxTmDec)
NoParse(String)
Trait Implementations
impl Clone for IdxTmSide
[src]
fn clone(&self) -> IdxTmSide
[src]
Returns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)
1.0.0[src]
Performs copy-assignment from source
. Read more
impl Debug for IdxTmSide
[src]
impl Eq for IdxTmSide
[src]
impl PartialEq for IdxTmSide
[src]
fn eq(&self, __arg_0: &IdxTmSide) -> bool
[src]
This method tests for self
and other
values to be equal, and is used by ==
. Read more
fn ne(&self, __arg_0: &IdxTmSide) -> bool
[src]
This method tests for !=
.