[−][src]Trait gluon_base::types::TypeContext
Required methods
Loading content...Provided methods
fn hole(&mut self) -> T
fn opaque(&mut self) -> T
fn error(&mut self) -> T
fn builtin(&mut self, typ: BuiltinType) -> T
fn forall(&mut self, params: Vec<Generic<Id>>, typ: T) -> T
fn with_forall(&mut self, typ: T, from: &T) -> T where
Id: Clone + Eq + Hash,
T: TypeExt<Id = Id> + Clone,
Id: Clone + Eq + Hash,
T: TypeExt<Id = Id> + Clone,
fn array(&mut self, typ: T) -> T
fn array_builtin(&mut self) -> T
fn app(&mut self, id: T, args: AppVec<T>) -> T
fn variant(&mut self, fields: Vec<Field<Id, T>>) -> T
fn poly_variant(&mut self, fields: Vec<Field<Id, T>>, rest: T) -> T
fn effect(&mut self, fields: Vec<Field<Id, T>>) -> T
fn poly_effect(&mut self, fields: Vec<Field<Id, T>>, rest: T) -> T
fn tuple<S: ?Sized, I>(&mut self, symbols: &mut S, elems: I) -> T where
S: IdentEnv<Ident = Id>,
I: IntoIterator<Item = T>,
S: IdentEnv<Ident = Id>,
I: IntoIterator<Item = T>,
fn tuple_<S: ?Sized, I>(&mut self, symbols: &mut S, elems: I) -> Type<Id, T> where
S: IdentEnv<Ident = Id>,
I: IntoIterator<Item = T>,
S: IdentEnv<Ident = Id>,
I: IntoIterator<Item = T>,
fn record(
&mut self,
types: Vec<Field<Id, Alias<Id, T>>>,
fields: Vec<Field<Id, T>>
) -> T
&mut self,
types: Vec<Field<Id, Alias<Id, T>>>,
fields: Vec<Field<Id, T>>
) -> T
fn poly_record(
&mut self,
types: Vec<Field<Id, Alias<Id, T>>>,
fields: Vec<Field<Id, T>>,
rest: T
) -> T
&mut self,
types: Vec<Field<Id, Alias<Id, T>>>,
fields: Vec<Field<Id, T>>,
rest: T
) -> T
fn extend_row(
&mut self,
types: Vec<Field<Id, Alias<Id, T>>>,
fields: Vec<Field<Id, T>>,
rest: T
) -> T
&mut self,
types: Vec<Field<Id, Alias<Id, T>>>,
fields: Vec<Field<Id, T>>,
rest: T
) -> T
fn empty_row(&mut self) -> T
fn function<I>(&mut self, args: I, ret: T) -> T where
T: Clone,
I: IntoIterator<Item = T>,
I::IntoIter: DoubleEndedIterator<Item = T>,
T: Clone,
I: IntoIterator<Item = T>,
I::IntoIter: DoubleEndedIterator<Item = T>,
fn function_implicit<I>(&mut self, args: I, ret: T) -> T where
I: IntoIterator<Item = T>,
I::IntoIter: DoubleEndedIterator<Item = T>,
I: IntoIterator<Item = T>,
I::IntoIter: DoubleEndedIterator<Item = T>,
fn function_type<I>(&mut self, arg_type: ArgType, args: I, ret: T) -> T where
I: IntoIterator<Item = T>,
I::IntoIter: DoubleEndedIterator<Item = T>,
I: IntoIterator<Item = T>,
I::IntoIter: DoubleEndedIterator<Item = T>,
fn generic(&mut self, typ: Generic<Id>) -> T
fn skolem(&mut self, typ: Skolem<Id>) -> T
fn variable(&mut self, typ: TypeVariable) -> T
fn alias(&mut self, name: Id, args: Vec<Generic<Id>>, typ: T) -> T
fn ident(&mut self, id: Id) -> T
fn projection(&mut self, id: AppVec<Id>) -> T
fn function_builtin(&mut self) -> T
fn string(&mut self) -> T
fn char(&mut self) -> T
fn byte(&mut self) -> T
fn int(&mut self) -> T
fn float(&mut self) -> T
fn unit(&mut self) -> T
fn builtin_type(&mut self, typ: BuiltinType) -> T
fn new_alias(
&mut self,
name: Id,
args: Vec<Generic<Id>>,
typ: T
) -> Alias<Id, T>
&mut self,
name: Id,
args: Vec<Generic<Id>>,
typ: T
) -> Alias<Id, T>
fn new_data_alias(&mut self, data: AliasData<Id, T>) -> Alias<Id, T>
fn alias_group(&mut self, group: Vec<AliasData<Id, T>>) -> Vec<Alias<Id, T>>
Implementations on Foreign Types
impl<'b, Id, T, V> TypeContext<Id, T> for &'b Rc<V> where
&'a V: TypeContext<Id, T>,
[src]
&'a V: TypeContext<Id, T>,
fn intern(&mut self, typ: Type<Id, T>) -> T
[src]
fn builtin(&mut self, typ: BuiltinType) -> T
[src]
fn forall(&mut self, params: Vec<Generic<Id>>, typ: T) -> T
[src]
fn with_forall(&mut self, typ: T, from: &T) -> T where
Id: Clone + Eq + Hash,
T: TypeExt<Id = Id> + Clone,
[src]
Id: Clone + Eq + Hash,
T: TypeExt<Id = Id> + Clone,
fn array(&mut self, typ: T) -> T
[src]
fn app(&mut self, id: T, args: AppVec<T>) -> T
[src]
fn variant(&mut self, fields: Vec<Field<Id, T>>) -> T
[src]
fn poly_variant(&mut self, fields: Vec<Field<Id, T>>, rest: T) -> T
[src]
fn effect(&mut self, fields: Vec<Field<Id, T>>) -> T
[src]
fn poly_effect(&mut self, fields: Vec<Field<Id, T>>, rest: T) -> T
[src]
fn record(
&mut self,
types: Vec<Field<Id, Alias<Id, T>>>,
fields: Vec<Field<Id, T>>
) -> T
[src]
&mut self,
types: Vec<Field<Id, Alias<Id, T>>>,
fields: Vec<Field<Id, T>>
) -> T
fn poly_record(
&mut self,
types: Vec<Field<Id, Alias<Id, T>>>,
fields: Vec<Field<Id, T>>,
rest: T
) -> T
[src]
&mut self,
types: Vec<Field<Id, Alias<Id, T>>>,
fields: Vec<Field<Id, T>>,
rest: T
) -> T
fn extend_row(
&mut self,
types: Vec<Field<Id, Alias<Id, T>>>,
fields: Vec<Field<Id, T>>,
rest: T
) -> T
[src]
&mut self,
types: Vec<Field<Id, Alias<Id, T>>>,
fields: Vec<Field<Id, T>>,
rest: T
) -> T
fn generic(&mut self, typ: Generic<Id>) -> T
[src]
fn skolem(&mut self, typ: Skolem<Id>) -> T
[src]
fn variable(&mut self, typ: TypeVariable) -> T
[src]
fn alias(&mut self, name: Id, args: Vec<Generic<Id>>, typ: T) -> T
[src]
fn ident(&mut self, id: Id) -> T
[src]
fn projection(&mut self, id: AppVec<Id>) -> T
[src]
fn builtin_type(&mut self, typ: BuiltinType) -> T
[src]
fn new_alias(
&mut self,
name: Id,
args: Vec<Generic<Id>>,
typ: T
) -> Alias<Id, T>
[src]
&mut self,
name: Id,
args: Vec<Generic<Id>>,
typ: T
) -> Alias<Id, T>
fn new_data_alias(&mut self, data: AliasData<Id, T>) -> Alias<Id, T>
[src]
fn alias_group(&mut self, group: Vec<AliasData<Id, T>>) -> Vec<Alias<Id, T>>
[src]
fn hole(&mut self) -> T
[src]
fn opaque(&mut self) -> T
[src]
fn error(&mut self) -> T
[src]
fn array_builtin(&mut self) -> T
[src]
fn empty_row(&mut self) -> T
[src]
fn function_builtin(&mut self) -> T
[src]
fn string(&mut self) -> T
[src]
fn char(&mut self) -> T
[src]
fn byte(&mut self) -> T
[src]
fn int(&mut self) -> T
[src]
fn float(&mut self) -> T
[src]
fn unit(&mut self) -> T
[src]
fn tuple<S: ?Sized, I>(&mut self, symbols: &mut S, elems: I) -> T where
S: IdentEnv<Ident = Id>,
I: IntoIterator<Item = T>,
[src]
S: IdentEnv<Ident = Id>,
I: IntoIterator<Item = T>,
fn tuple_<S: ?Sized, I>(&mut self, symbols: &mut S, elems: I) -> Type<Id, T> where
S: IdentEnv<Ident = Id>,
I: IntoIterator<Item = T>,
[src]
S: IdentEnv<Ident = Id>,
I: IntoIterator<Item = T>,
fn function<I>(&mut self, args: I, ret: T) -> T where
T: Clone,
I: IntoIterator<Item = T>,
I::IntoIter: DoubleEndedIterator<Item = T>,
[src]
T: Clone,
I: IntoIterator<Item = T>,
I::IntoIter: DoubleEndedIterator<Item = T>,
fn function_implicit<I>(&mut self, args: I, ret: T) -> T where
I: IntoIterator<Item = T>,
I::IntoIter: DoubleEndedIterator<Item = T>,
[src]
I: IntoIterator<Item = T>,
I::IntoIter: DoubleEndedIterator<Item = T>,
fn function_type<I>(&mut self, arg_type: ArgType, args: I, ret: T) -> T where
I: IntoIterator<Item = T>,
I::IntoIter: DoubleEndedIterator<Item = T>,
[src]
I: IntoIterator<Item = T>,
I::IntoIter: DoubleEndedIterator<Item = T>,
impl<Id, T, V> TypeContext<Id, T> for Rc<V> where
&'a V: TypeContext<Id, T>,
[src]
&'a V: TypeContext<Id, T>,
fn intern(&mut self, typ: Type<Id, T>) -> T
[src]
fn builtin(&mut self, typ: BuiltinType) -> T
[src]
fn forall(&mut self, params: Vec<Generic<Id>>, typ: T) -> T
[src]
fn with_forall(&mut self, typ: T, from: &T) -> T where
Id: Clone + Eq + Hash,
T: TypeExt<Id = Id> + Clone,
[src]
Id: Clone + Eq + Hash,
T: TypeExt<Id = Id> + Clone,
fn array(&mut self, typ: T) -> T
[src]
fn app(&mut self, id: T, args: AppVec<T>) -> T
[src]
fn variant(&mut self, fields: Vec<Field<Id, T>>) -> T
[src]
fn poly_variant(&mut self, fields: Vec<Field<Id, T>>, rest: T) -> T
[src]
fn effect(&mut self, fields: Vec<Field<Id, T>>) -> T
[src]
fn poly_effect(&mut self, fields: Vec<Field<Id, T>>, rest: T) -> T
[src]
fn record(
&mut self,
types: Vec<Field<Id, Alias<Id, T>>>,
fields: Vec<Field<Id, T>>
) -> T
[src]
&mut self,
types: Vec<Field<Id, Alias<Id, T>>>,
fields: Vec<Field<Id, T>>
) -> T
fn poly_record(
&mut self,
types: Vec<Field<Id, Alias<Id, T>>>,
fields: Vec<Field<Id, T>>,
rest: T
) -> T
[src]
&mut self,
types: Vec<Field<Id, Alias<Id, T>>>,
fields: Vec<Field<Id, T>>,
rest: T
) -> T
fn extend_row(
&mut self,
types: Vec<Field<Id, Alias<Id, T>>>,
fields: Vec<Field<Id, T>>,
rest: T
) -> T
[src]
&mut self,
types: Vec<Field<Id, Alias<Id, T>>>,
fields: Vec<Field<Id, T>>,
rest: T
) -> T
fn generic(&mut self, typ: Generic<Id>) -> T
[src]
fn skolem(&mut self, typ: Skolem<Id>) -> T
[src]
fn variable(&mut self, typ: TypeVariable) -> T
[src]
fn alias(&mut self, name: Id, args: Vec<Generic<Id>>, typ: T) -> T
[src]
fn ident(&mut self, id: Id) -> T
[src]
fn projection(&mut self, id: AppVec<Id>) -> T
[src]
fn builtin_type(&mut self, typ: BuiltinType) -> T
[src]
fn new_alias(
&mut self,
name: Id,
args: Vec<Generic<Id>>,
typ: T
) -> Alias<Id, T>
[src]
&mut self,
name: Id,
args: Vec<Generic<Id>>,
typ: T
) -> Alias<Id, T>
fn new_data_alias(&mut self, data: AliasData<Id, T>) -> Alias<Id, T>
[src]
fn alias_group(&mut self, group: Vec<AliasData<Id, T>>) -> Vec<Alias<Id, T>>
[src]
fn hole(&mut self) -> T
[src]
fn opaque(&mut self) -> T
[src]
fn error(&mut self) -> T
[src]
fn array_builtin(&mut self) -> T
[src]
fn empty_row(&mut self) -> T
[src]
fn function_builtin(&mut self) -> T
[src]
fn string(&mut self) -> T
[src]
fn char(&mut self) -> T
[src]
fn byte(&mut self) -> T
[src]
fn int(&mut self) -> T
[src]
fn float(&mut self) -> T
[src]
fn unit(&mut self) -> T
[src]
fn tuple<S: ?Sized, I>(&mut self, symbols: &mut S, elems: I) -> T where
S: IdentEnv<Ident = Id>,
I: IntoIterator<Item = T>,
[src]
S: IdentEnv<Ident = Id>,
I: IntoIterator<Item = T>,
fn tuple_<S: ?Sized, I>(&mut self, symbols: &mut S, elems: I) -> Type<Id, T> where
S: IdentEnv<Ident = Id>,
I: IntoIterator<Item = T>,
[src]
S: IdentEnv<Ident = Id>,
I: IntoIterator<Item = T>,
fn function<I>(&mut self, args: I, ret: T) -> T where
T: Clone,
I: IntoIterator<Item = T>,
I::IntoIter: DoubleEndedIterator<Item = T>,
[src]
T: Clone,
I: IntoIterator<Item = T>,
I::IntoIter: DoubleEndedIterator<Item = T>,
fn function_implicit<I>(&mut self, args: I, ret: T) -> T where
I: IntoIterator<Item = T>,
I::IntoIter: DoubleEndedIterator<Item = T>,
[src]
I: IntoIterator<Item = T>,
I::IntoIter: DoubleEndedIterator<Item = T>,
fn function_type<I>(&mut self, arg_type: ArgType, args: I, ret: T) -> T where
I: IntoIterator<Item = T>,
I::IntoIter: DoubleEndedIterator<Item = T>,
[src]
I: IntoIterator<Item = T>,
I::IntoIter: DoubleEndedIterator<Item = T>,
impl<'a, Id, T, V> TypeContext<Id, T> for &'a RefCell<V> where
V: TypeContext<Id, T>,
[src]
V: TypeContext<Id, T>,
fn intern(&mut self, typ: Type<Id, T>) -> T
[src]
fn builtin(&mut self, typ: BuiltinType) -> T
[src]
fn forall(&mut self, params: Vec<Generic<Id>>, typ: T) -> T
[src]
fn with_forall(&mut self, typ: T, from: &T) -> T where
Id: Clone + Eq + Hash,
T: TypeExt<Id = Id> + Clone,
[src]
Id: Clone + Eq + Hash,
T: TypeExt<Id = Id> + Clone,
fn array(&mut self, typ: T) -> T
[src]
fn app(&mut self, id: T, args: AppVec<T>) -> T
[src]
fn variant(&mut self, fields: Vec<Field<Id, T>>) -> T
[src]
fn poly_variant(&mut self, fields: Vec<Field<Id, T>>, rest: T) -> T
[src]
fn effect(&mut self, fields: Vec<Field<Id, T>>) -> T
[src]
fn poly_effect(&mut self, fields: Vec<Field<Id, T>>, rest: T) -> T
[src]
fn record(
&mut self,
types: Vec<Field<Id, Alias<Id, T>>>,
fields: Vec<Field<Id, T>>
) -> T
[src]
&mut self,
types: Vec<Field<Id, Alias<Id, T>>>,
fields: Vec<Field<Id, T>>
) -> T
fn poly_record(
&mut self,
types: Vec<Field<Id, Alias<Id, T>>>,
fields: Vec<Field<Id, T>>,
rest: T
) -> T
[src]
&mut self,
types: Vec<Field<Id, Alias<Id, T>>>,
fields: Vec<Field<Id, T>>,
rest: T
) -> T
fn extend_row(
&mut self,
types: Vec<Field<Id, Alias<Id, T>>>,
fields: Vec<Field<Id, T>>,
rest: T
) -> T
[src]
&mut self,
types: Vec<Field<Id, Alias<Id, T>>>,
fields: Vec<Field<Id, T>>,
rest: T
) -> T
fn generic(&mut self, typ: Generic<Id>) -> T
[src]
fn skolem(&mut self, typ: Skolem<Id>) -> T
[src]
fn variable(&mut self, typ: TypeVariable) -> T
[src]
fn alias(&mut self, name: Id, args: Vec<Generic<Id>>, typ: T) -> T
[src]
fn ident(&mut self, id: Id) -> T
[src]
fn projection(&mut self, id: AppVec<Id>) -> T
[src]
fn builtin_type(&mut self, typ: BuiltinType) -> T
[src]
fn new_alias(
&mut self,
name: Id,
args: Vec<Generic<Id>>,
typ: T
) -> Alias<Id, T>
[src]
&mut self,
name: Id,
args: Vec<Generic<Id>>,
typ: T
) -> Alias<Id, T>
fn new_data_alias(&mut self, data: AliasData<Id, T>) -> Alias<Id, T>
[src]
fn alias_group(&mut self, group: Vec<AliasData<Id, T>>) -> Vec<Alias<Id, T>>
[src]
fn hole(&mut self) -> T
[src]
fn opaque(&mut self) -> T
[src]
fn error(&mut self) -> T
[src]
fn array_builtin(&mut self) -> T
[src]
fn empty_row(&mut self) -> T
[src]
fn function_builtin(&mut self) -> T
[src]
fn string(&mut self) -> T
[src]
fn char(&mut self) -> T
[src]
fn byte(&mut self) -> T
[src]
fn int(&mut self) -> T
[src]
fn float(&mut self) -> T
[src]
fn unit(&mut self) -> T
[src]
fn tuple<S: ?Sized, I>(&mut self, symbols: &mut S, elems: I) -> T where
S: IdentEnv<Ident = Id>,
I: IntoIterator<Item = T>,
[src]
S: IdentEnv<Ident = Id>,
I: IntoIterator<Item = T>,
fn tuple_<S: ?Sized, I>(&mut self, symbols: &mut S, elems: I) -> Type<Id, T> where
S: IdentEnv<Ident = Id>,
I: IntoIterator<Item = T>,
[src]
S: IdentEnv<Ident = Id>,
I: IntoIterator<Item = T>,
fn function<I>(&mut self, args: I, ret: T) -> T where
T: Clone,
I: IntoIterator<Item = T>,
I::IntoIter: DoubleEndedIterator<Item = T>,
[src]
T: Clone,
I: IntoIterator<Item = T>,
I::IntoIter: DoubleEndedIterator<Item = T>,
fn function_implicit<I>(&mut self, args: I, ret: T) -> T where
I: IntoIterator<Item = T>,
I::IntoIter: DoubleEndedIterator<Item = T>,
[src]
I: IntoIterator<Item = T>,
I::IntoIter: DoubleEndedIterator<Item = T>,
fn function_type<I>(&mut self, arg_type: ArgType, args: I, ret: T) -> T where
I: IntoIterator<Item = T>,
I::IntoIter: DoubleEndedIterator<Item = T>,
[src]
I: IntoIterator<Item = T>,
I::IntoIter: DoubleEndedIterator<Item = T>,
Implementors
impl<'a, Id, T> TypeContext<Id, T> for &'a TypeCache<Id, T> where
T: From<Type<Id, T>> + Clone,
[src]
T: From<Type<Id, T>> + Clone,
fn intern(&mut self, typ: Type<Id, T>) -> T
[src]
fn hole(&mut self) -> T
[src]
fn opaque(&mut self) -> T
[src]
fn error(&mut self) -> T
[src]
fn int(&mut self) -> T
[src]
fn byte(&mut self) -> T
[src]
fn float(&mut self) -> T
[src]
fn string(&mut self) -> T
[src]
fn char(&mut self) -> T
[src]
fn function_builtin(&mut self) -> T
[src]
fn array_builtin(&mut self) -> T
[src]
fn unit(&mut self) -> T
[src]
fn empty_row(&mut self) -> T
[src]
fn builtin(&mut self, typ: BuiltinType) -> T
[src]
fn forall(&mut self, params: Vec<Generic<Id>>, typ: T) -> T
[src]
fn with_forall(&mut self, typ: T, from: &T) -> T where
Id: Clone + Eq + Hash,
T: TypeExt<Id = Id> + Clone,
[src]
Id: Clone + Eq + Hash,
T: TypeExt<Id = Id> + Clone,
fn array(&mut self, typ: T) -> T
[src]
fn app(&mut self, id: T, args: AppVec<T>) -> T
[src]
fn variant(&mut self, fields: Vec<Field<Id, T>>) -> T
[src]
fn poly_variant(&mut self, fields: Vec<Field<Id, T>>, rest: T) -> T
[src]
fn effect(&mut self, fields: Vec<Field<Id, T>>) -> T
[src]
fn poly_effect(&mut self, fields: Vec<Field<Id, T>>, rest: T) -> T
[src]
fn tuple<S: ?Sized, I>(&mut self, symbols: &mut S, elems: I) -> T where
S: IdentEnv<Ident = Id>,
I: IntoIterator<Item = T>,
[src]
S: IdentEnv<Ident = Id>,
I: IntoIterator<Item = T>,
fn tuple_<S: ?Sized, I>(&mut self, symbols: &mut S, elems: I) -> Type<Id, T> where
S: IdentEnv<Ident = Id>,
I: IntoIterator<Item = T>,
[src]
S: IdentEnv<Ident = Id>,
I: IntoIterator<Item = T>,
fn record(
&mut self,
types: Vec<Field<Id, Alias<Id, T>>>,
fields: Vec<Field<Id, T>>
) -> T
[src]
&mut self,
types: Vec<Field<Id, Alias<Id, T>>>,
fields: Vec<Field<Id, T>>
) -> T
fn poly_record(
&mut self,
types: Vec<Field<Id, Alias<Id, T>>>,
fields: Vec<Field<Id, T>>,
rest: T
) -> T
[src]
&mut self,
types: Vec<Field<Id, Alias<Id, T>>>,
fields: Vec<Field<Id, T>>,
rest: T
) -> T
fn extend_row(
&mut self,
types: Vec<Field<Id, Alias<Id, T>>>,
fields: Vec<Field<Id, T>>,
rest: T
) -> T
[src]
&mut self,
types: Vec<Field<Id, Alias<Id, T>>>,
fields: Vec<Field<Id, T>>,
rest: T
) -> T
fn function<I>(&mut self, args: I, ret: T) -> T where
T: Clone,
I: IntoIterator<Item = T>,
I::IntoIter: DoubleEndedIterator<Item = T>,
[src]
T: Clone,
I: IntoIterator<Item = T>,
I::IntoIter: DoubleEndedIterator<Item = T>,
fn function_implicit<I>(&mut self, args: I, ret: T) -> T where
I: IntoIterator<Item = T>,
I::IntoIter: DoubleEndedIterator<Item = T>,
[src]
I: IntoIterator<Item = T>,
I::IntoIter: DoubleEndedIterator<Item = T>,
fn function_type<I>(&mut self, arg_type: ArgType, args: I, ret: T) -> T where
I: IntoIterator<Item = T>,
I::IntoIter: DoubleEndedIterator<Item = T>,
[src]
I: IntoIterator<Item = T>,
I::IntoIter: DoubleEndedIterator<Item = T>,
fn generic(&mut self, typ: Generic<Id>) -> T
[src]
fn skolem(&mut self, typ: Skolem<Id>) -> T
[src]
fn variable(&mut self, typ: TypeVariable) -> T
[src]
fn alias(&mut self, name: Id, args: Vec<Generic<Id>>, typ: T) -> T
[src]
fn ident(&mut self, id: Id) -> T
[src]
fn projection(&mut self, id: AppVec<Id>) -> T
[src]
fn builtin_type(&mut self, typ: BuiltinType) -> T
[src]
fn new_alias(
&mut self,
name: Id,
args: Vec<Generic<Id>>,
typ: T
) -> Alias<Id, T>
[src]
&mut self,
name: Id,
args: Vec<Generic<Id>>,
typ: T
) -> Alias<Id, T>
fn new_data_alias(&mut self, data: AliasData<Id, T>) -> Alias<Id, T>
[src]
fn alias_group(&mut self, group: Vec<AliasData<Id, T>>) -> Vec<Alias<Id, T>>
[src]
impl<Id, T> TypeContext<Id, T> for Interner<Id, T> where
T: TypeContextAlloc<Id = Id> + TypeExt<Id = Id> + Eq + Hash + Clone,
Id: Eq + Hash,
[src]
T: TypeContextAlloc<Id = Id> + TypeExt<Id = Id> + Eq + Hash + Clone,
Id: Eq + Hash,
fn intern(&mut self, typ: Type<Id, T>) -> T
[src]
fn hole(&mut self) -> T
[src]
fn opaque(&mut self) -> T
[src]
fn error(&mut self) -> T
[src]
fn int(&mut self) -> T
[src]
fn byte(&mut self) -> T
[src]
fn float(&mut self) -> T
[src]
fn string(&mut self) -> T
[src]
fn char(&mut self) -> T
[src]
fn function_builtin(&mut self) -> T
[src]
fn array_builtin(&mut self) -> T
[src]
fn unit(&mut self) -> T
[src]
fn empty_row(&mut self) -> T
[src]
fn builtin(&mut self, typ: BuiltinType) -> T
[src]
fn forall(&mut self, params: Vec<Generic<Id>>, typ: T) -> T
[src]
fn with_forall(&mut self, typ: T, from: &T) -> T where
Id: Clone + Eq + Hash,
T: TypeExt<Id = Id> + Clone,
[src]
Id: Clone + Eq + Hash,
T: TypeExt<Id = Id> + Clone,
fn array(&mut self, typ: T) -> T
[src]
fn app(&mut self, id: T, args: AppVec<T>) -> T
[src]
fn variant(&mut self, fields: Vec<Field<Id, T>>) -> T
[src]
fn poly_variant(&mut self, fields: Vec<Field<Id, T>>, rest: T) -> T
[src]
fn effect(&mut self, fields: Vec<Field<Id, T>>) -> T
[src]
fn poly_effect(&mut self, fields: Vec<Field<Id, T>>, rest: T) -> T
[src]
fn tuple<S: ?Sized, I>(&mut self, symbols: &mut S, elems: I) -> T where
S: IdentEnv<Ident = Id>,
I: IntoIterator<Item = T>,
[src]
S: IdentEnv<Ident = Id>,
I: IntoIterator<Item = T>,
fn tuple_<S: ?Sized, I>(&mut self, symbols: &mut S, elems: I) -> Type<Id, T> where
S: IdentEnv<Ident = Id>,
I: IntoIterator<Item = T>,
[src]
S: IdentEnv<Ident = Id>,
I: IntoIterator<Item = T>,
fn record(
&mut self,
types: Vec<Field<Id, Alias<Id, T>>>,
fields: Vec<Field<Id, T>>
) -> T
[src]
&mut self,
types: Vec<Field<Id, Alias<Id, T>>>,
fields: Vec<Field<Id, T>>
) -> T
fn poly_record(
&mut self,
types: Vec<Field<Id, Alias<Id, T>>>,
fields: Vec<Field<Id, T>>,
rest: T
) -> T
[src]
&mut self,
types: Vec<Field<Id, Alias<Id, T>>>,
fields: Vec<Field<Id, T>>,
rest: T
) -> T
fn extend_row(
&mut self,
types: Vec<Field<Id, Alias<Id, T>>>,
fields: Vec<Field<Id, T>>,
rest: T
) -> T
[src]
&mut self,
types: Vec<Field<Id, Alias<Id, T>>>,
fields: Vec<Field<Id, T>>,
rest: T
) -> T
fn function<I>(&mut self, args: I, ret: T) -> T where
T: Clone,
I: IntoIterator<Item = T>,
I::IntoIter: DoubleEndedIterator<Item = T>,
[src]
T: Clone,
I: IntoIterator<Item = T>,
I::IntoIter: DoubleEndedIterator<Item = T>,
fn function_implicit<I>(&mut self, args: I, ret: T) -> T where
I: IntoIterator<Item = T>,
I::IntoIter: DoubleEndedIterator<Item = T>,
[src]
I: IntoIterator<Item = T>,
I::IntoIter: DoubleEndedIterator<Item = T>,
fn function_type<I>(&mut self, arg_type: ArgType, args: I, ret: T) -> T where
I: IntoIterator<Item = T>,
I::IntoIter: DoubleEndedIterator<Item = T>,
[src]
I: IntoIterator<Item = T>,
I::IntoIter: DoubleEndedIterator<Item = T>,
fn generic(&mut self, typ: Generic<Id>) -> T
[src]
fn skolem(&mut self, typ: Skolem<Id>) -> T
[src]
fn variable(&mut self, typ: TypeVariable) -> T
[src]
fn alias(&mut self, name: Id, args: Vec<Generic<Id>>, typ: T) -> T
[src]
fn ident(&mut self, id: Id) -> T
[src]
fn projection(&mut self, id: AppVec<Id>) -> T
[src]
fn builtin_type(&mut self, typ: BuiltinType) -> T
[src]
fn new_alias(
&mut self,
name: Id,
args: Vec<Generic<Id>>,
typ: T
) -> Alias<Id, T>
[src]
&mut self,
name: Id,
args: Vec<Generic<Id>>,
typ: T
) -> Alias<Id, T>
fn new_data_alias(&mut self, data: AliasData<Id, T>) -> Alias<Id, T>
[src]
fn alias_group(&mut self, group: Vec<AliasData<Id, T>>) -> Vec<Alias<Id, T>>
[src]
impl<Id, T> TypeContext<Id, T> for NullInterner where
T: From<Type<Id, T>>,
[src]
T: From<Type<Id, T>>,
fn intern(&mut self, typ: Type<Id, T>) -> T
[src]
fn hole(&mut self) -> T
[src]
fn opaque(&mut self) -> T
[src]
fn error(&mut self) -> T
[src]
fn builtin(&mut self, typ: BuiltinType) -> T
[src]
fn forall(&mut self, params: Vec<Generic<Id>>, typ: T) -> T
[src]
fn with_forall(&mut self, typ: T, from: &T) -> T where
Id: Clone + Eq + Hash,
T: TypeExt<Id = Id> + Clone,
[src]
Id: Clone + Eq + Hash,
T: TypeExt<Id = Id> + Clone,
fn array(&mut self, typ: T) -> T
[src]
fn array_builtin(&mut self) -> T
[src]
fn app(&mut self, id: T, args: AppVec<T>) -> T
[src]
fn variant(&mut self, fields: Vec<Field<Id, T>>) -> T
[src]
fn poly_variant(&mut self, fields: Vec<Field<Id, T>>, rest: T) -> T
[src]
fn effect(&mut self, fields: Vec<Field<Id, T>>) -> T
[src]
fn poly_effect(&mut self, fields: Vec<Field<Id, T>>, rest: T) -> T
[src]
fn tuple<S: ?Sized, I>(&mut self, symbols: &mut S, elems: I) -> T where
S: IdentEnv<Ident = Id>,
I: IntoIterator<Item = T>,
[src]
S: IdentEnv<Ident = Id>,
I: IntoIterator<Item = T>,
fn tuple_<S: ?Sized, I>(&mut self, symbols: &mut S, elems: I) -> Type<Id, T> where
S: IdentEnv<Ident = Id>,
I: IntoIterator<Item = T>,
[src]
S: IdentEnv<Ident = Id>,
I: IntoIterator<Item = T>,
fn record(
&mut self,
types: Vec<Field<Id, Alias<Id, T>>>,
fields: Vec<Field<Id, T>>
) -> T
[src]
&mut self,
types: Vec<Field<Id, Alias<Id, T>>>,
fields: Vec<Field<Id, T>>
) -> T
fn poly_record(
&mut self,
types: Vec<Field<Id, Alias<Id, T>>>,
fields: Vec<Field<Id, T>>,
rest: T
) -> T
[src]
&mut self,
types: Vec<Field<Id, Alias<Id, T>>>,
fields: Vec<Field<Id, T>>,
rest: T
) -> T
fn extend_row(
&mut self,
types: Vec<Field<Id, Alias<Id, T>>>,
fields: Vec<Field<Id, T>>,
rest: T
) -> T
[src]
&mut self,
types: Vec<Field<Id, Alias<Id, T>>>,
fields: Vec<Field<Id, T>>,
rest: T
) -> T
fn empty_row(&mut self) -> T
[src]
fn function<I>(&mut self, args: I, ret: T) -> T where
T: Clone,
I: IntoIterator<Item = T>,
I::IntoIter: DoubleEndedIterator<Item = T>,
[src]
T: Clone,
I: IntoIterator<Item = T>,
I::IntoIter: DoubleEndedIterator<Item = T>,
fn function_implicit<I>(&mut self, args: I, ret: T) -> T where
I: IntoIterator<Item = T>,
I::IntoIter: DoubleEndedIterator<Item = T>,
[src]
I: IntoIterator<Item = T>,
I::IntoIter: DoubleEndedIterator<Item = T>,
fn function_type<I>(&mut self, arg_type: ArgType, args: I, ret: T) -> T where
I: IntoIterator<Item = T>,
I::IntoIter: DoubleEndedIterator<Item = T>,
[src]
I: IntoIterator<Item = T>,
I::IntoIter: DoubleEndedIterator<Item = T>,
fn generic(&mut self, typ: Generic<Id>) -> T
[src]
fn skolem(&mut self, typ: Skolem<Id>) -> T
[src]
fn variable(&mut self, typ: TypeVariable) -> T
[src]
fn alias(&mut self, name: Id, args: Vec<Generic<Id>>, typ: T) -> T
[src]
fn ident(&mut self, id: Id) -> T
[src]
fn projection(&mut self, id: AppVec<Id>) -> T
[src]
fn function_builtin(&mut self) -> T
[src]
fn string(&mut self) -> T
[src]
fn char(&mut self) -> T
[src]
fn byte(&mut self) -> T
[src]
fn int(&mut self) -> T
[src]
fn float(&mut self) -> T
[src]
fn unit(&mut self) -> T
[src]
fn builtin_type(&mut self, typ: BuiltinType) -> T
[src]
fn new_alias(
&mut self,
name: Id,
args: Vec<Generic<Id>>,
typ: T
) -> Alias<Id, T>
[src]
&mut self,
name: Id,
args: Vec<Generic<Id>>,
typ: T
) -> Alias<Id, T>
fn new_data_alias(&mut self, data: AliasData<Id, T>) -> Alias<Id, T>
[src]
fn alias_group(&mut self, group: Vec<AliasData<Id, T>>) -> Vec<Alias<Id, T>>
[src]
impl<Id, T> TypeContext<Id, T> for TypeCache<Id, T> where
T: From<Type<Id, T>> + Clone,
[src]
T: From<Type<Id, T>> + Clone,
fn intern(&mut self, typ: Type<Id, T>) -> T
[src]
fn hole(&mut self) -> T
[src]
fn opaque(&mut self) -> T
[src]
fn error(&mut self) -> T
[src]
fn int(&mut self) -> T
[src]
fn byte(&mut self) -> T
[src]
fn float(&mut self) -> T
[src]
fn string(&mut self) -> T
[src]
fn char(&mut self) -> T
[src]
fn function_builtin(&mut self) -> T
[src]
fn array_builtin(&mut self) -> T
[src]
fn unit(&mut self) -> T
[src]
fn empty_row(&mut self) -> T
[src]
fn builtin(&mut self, typ: BuiltinType) -> T
[src]
fn forall(&mut self, params: Vec<Generic<Id>>, typ: T) -> T
[src]
fn with_forall(&mut self, typ: T, from: &T) -> T where
Id: Clone + Eq + Hash,
T: TypeExt<Id = Id> + Clone,
[src]
Id: Clone + Eq + Hash,
T: TypeExt<Id = Id> + Clone,
fn array(&mut self, typ: T) -> T
[src]
fn app(&mut self, id: T, args: AppVec<T>) -> T
[src]
fn variant(&mut self, fields: Vec<Field<Id, T>>) -> T
[src]
fn poly_variant(&mut self, fields: Vec<Field<Id, T>>, rest: T) -> T
[src]
fn effect(&mut self, fields: Vec<Field<Id, T>>) -> T
[src]
fn poly_effect(&mut self, fields: Vec<Field<Id, T>>, rest: T) -> T
[src]
fn tuple<S: ?Sized, I>(&mut self, symbols: &mut S, elems: I) -> T where
S: IdentEnv<Ident = Id>,
I: IntoIterator<Item = T>,
[src]
S: IdentEnv<Ident = Id>,
I: IntoIterator<Item = T>,
fn tuple_<S: ?Sized, I>(&mut self, symbols: &mut S, elems: I) -> Type<Id, T> where
S: IdentEnv<Ident = Id>,
I: IntoIterator<Item = T>,
[src]
S: IdentEnv<Ident = Id>,
I: IntoIterator<Item = T>,
fn record(
&mut self,
types: Vec<Field<Id, Alias<Id, T>>>,
fields: Vec<Field<Id, T>>
) -> T
[src]
&mut self,
types: Vec<Field<Id, Alias<Id, T>>>,
fields: Vec<Field<Id, T>>
) -> T
fn poly_record(
&mut self,
types: Vec<Field<Id, Alias<Id, T>>>,
fields: Vec<Field<Id, T>>,
rest: T
) -> T
[src]
&mut self,
types: Vec<Field<Id, Alias<Id, T>>>,
fields: Vec<Field<Id, T>>,
rest: T
) -> T
fn extend_row(
&mut self,
types: Vec<Field<Id, Alias<Id, T>>>,
fields: Vec<Field<Id, T>>,
rest: T
) -> T
[src]
&mut self,
types: Vec<Field<Id, Alias<Id, T>>>,
fields: Vec<Field<Id, T>>,
rest: T
) -> T
fn function<I>(&mut self, args: I, ret: T) -> T where
T: Clone,
I: IntoIterator<Item = T>,
I::IntoIter: DoubleEndedIterator<Item = T>,
[src]
T: Clone,
I: IntoIterator<Item = T>,
I::IntoIter: DoubleEndedIterator<Item = T>,
fn function_implicit<I>(&mut self, args: I, ret: T) -> T where
I: IntoIterator<Item = T>,
I::IntoIter: DoubleEndedIterator<Item = T>,
[src]
I: IntoIterator<Item = T>,
I::IntoIter: DoubleEndedIterator<Item = T>,
fn function_type<I>(&mut self, arg_type: ArgType, args: I, ret: T) -> T where
I: IntoIterator<Item = T>,
I::IntoIter: DoubleEndedIterator<Item = T>,
[src]
I: IntoIterator<Item = T>,
I::IntoIter: DoubleEndedIterator<Item = T>,
fn generic(&mut self, typ: Generic<Id>) -> T
[src]
fn skolem(&mut self, typ: Skolem<Id>) -> T
[src]
fn variable(&mut self, typ: TypeVariable) -> T
[src]
fn alias(&mut self, name: Id, args: Vec<Generic<Id>>, typ: T) -> T
[src]
fn ident(&mut self, id: Id) -> T
[src]
fn projection(&mut self, id: AppVec<Id>) -> T
[src]
fn builtin_type(&mut self, typ: BuiltinType) -> T
[src]
fn new_alias(
&mut self,
name: Id,
args: Vec<Generic<Id>>,
typ: T
) -> Alias<Id, T>
[src]
&mut self,
name: Id,
args: Vec<Generic<Id>>,
typ: T
) -> Alias<Id, T>