Enum fungi_lang::bitype::TCtxt
[−]
[src]
pub enum TCtxt { Empty, Var(TCtxtRec, Var, Type), IVar(TCtxtRec, Var, Sort), TVar(TCtxtRec, Var, Kind), TCons(TCtxtRec, TypeCons, Kind), Equiv(TCtxtRec, IdxTm, IdxTm, Sort), Apart(TCtxtRec, IdxTm, IdxTm, Sort), PropTrue(TCtxtRec, Prop), }
Variants
Empty
Var(TCtxtRec, Var, Type)
IVar(TCtxtRec, Var, Sort)
TVar(TCtxtRec, Var, Kind)
TCons(TCtxtRec, TypeCons, Kind)
Equiv(TCtxtRec, IdxTm, IdxTm, Sort)
Apart(TCtxtRec, IdxTm, IdxTm, Sort)
PropTrue(TCtxtRec, Prop)
Methods
impl TCtxt
[src]
fn var(&self, v: Var, t: Type) -> TCtxt
[src]
bind a var and type
fn ivar(&self, v: Var, s: Sort) -> TCtxt
[src]
bind a index var and sort
fn tvar(&self, v: Var, k: Kind) -> TCtxt
[src]
bind a type var and kind
fn tcons(&self, d: TypeCons, k: Kind) -> TCtxt
[src]
bind a type constructor and kind
fn equiv(&self, i1: IdxTm, i2: IdxTm, s: Sort) -> TCtxt
[src]
bind an index equivalence
fn apart(&self, i1: IdxTm, i2: IdxTm, s: Sort) -> TCtxt
[src]
bind an index apartness
fn prop(&self, p: Prop) -> TCtxt
[src]
bind a true proposition
impl TCtxt
[src]
fn lookup_var(&self, x: &Var) -> Option<Type>
[src]
fn lookup_ivar(&self, x: &Var) -> Option<Sort>
[src]
fn lookup_tvar(&self, x: &Var) -> Option<Kind>
[src]
fn lookup_tcons(&self, x: &TypeCons) -> Option<Kind>
[src]
fn lookup_equiv(&self, idx1: &IdxTm, idx2: &IdxTm) -> Option<Sort>
[src]
fn lookup_apart(&self, idx1: &IdxTm, idx2: &IdxTm) -> Option<Sort>
[src]
fn lookup_prop(&self, prop: &Prop) -> bool
[src]
Trait Implementations
impl Clone for TCtxt
[src]
fn clone(&self) -> TCtxt
[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 TCtxt
[src]
impl Eq for TCtxt
[src]
impl PartialEq for TCtxt
[src]
fn eq(&self, __arg_0: &TCtxt) -> bool
[src]
This method tests for self
and other
values to be equal, and is used by ==
. Read more
fn ne(&self, __arg_0: &TCtxt) -> bool
[src]
This method tests for !=
.