[−][src]Trait gluon_base::types::TypeContext

pub trait TypeContext<Id, T> {
    fn intern(&mut self, typ: Type<Id, T>) -> T;

    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,
    { ... }

    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>,
    { ... }

    fn tuple_<S: ?Sized, I>(&mut self, symbols: &mut S, elems: I) -> Type<Id, T>
    where
        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 { ... }

    fn poly_record(
        &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 { ... }

    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>,
    { ... }

    fn function_implicit<I>(&mut self, args: I, ret: T) -> T
    where
        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>,
    { ... }

    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> { ... }

    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>> { ... }
}

Required methods

fn intern(&mut self, typ: Type<Id, T>) -> T

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, 

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>, 

fn tuple_<S: ?Sized, I>(&mut self, symbols: &mut S, elems: I) -> Type<Id, T> where
    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

fn poly_record(
    &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

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>, 

fn function_implicit<I>(&mut self, args: I, ret: T) -> T where
    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>, 

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>

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>>

Loading content...

Implementations on Foreign Types

impl<'b, Id, T, V> TypeContext<Id, T> for &'b Rc<V> where
    &'a V: TypeContext<Id, 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]

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]

fn function<I>(&mut self, args: I, ret: T) -> T where
    T: Clone,
    I: IntoIterator<Item = T>,
    I::IntoIter: DoubleEndedIterator<Item = T>, [src]

fn function_implicit<I>(&mut self, args: I, ret: T) -> T where
    I: IntoIterator<Item = T>,
    I::IntoIter: DoubleEndedIterator<Item = T>, [src]

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]

impl<Id, T, V> TypeContext<Id, T> for Rc<V> where
    &'a V: TypeContext<Id, 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]

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]

fn function<I>(&mut self, args: I, ret: T) -> T where
    T: Clone,
    I: IntoIterator<Item = T>,
    I::IntoIter: DoubleEndedIterator<Item = T>, [src]

fn function_implicit<I>(&mut self, args: I, ret: T) -> T where
    I: IntoIterator<Item = T>,
    I::IntoIter: DoubleEndedIterator<Item = T>, [src]

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]

impl<'a, Id, T, V> TypeContext<Id, T> for &'a RefCell<V> where
    V: TypeContext<Id, 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]

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]

fn function<I>(&mut self, args: I, ret: T) -> T where
    T: Clone,
    I: IntoIterator<Item = T>,
    I::IntoIter: DoubleEndedIterator<Item = T>, [src]

fn function_implicit<I>(&mut self, args: I, ret: T) -> T where
    I: IntoIterator<Item = T>,
    I::IntoIter: DoubleEndedIterator<Item = T>, [src]

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]

Loading content...

Implementors

impl<'a, Id, T> TypeContext<Id, T> for &'a TypeCache<Id, T> where
    T: From<Type<Id, T>> + Clone, [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]

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]

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]

fn record(
    &mut self,
    types: Vec<Field<Id, Alias<Id, T>>>,
    fields: Vec<Field<Id, T>>
) -> T[src]

fn poly_record(
    &mut self,
    types: Vec<Field<Id, Alias<Id, T>>>,
    fields: Vec<Field<Id, T>>,
    rest: T
) -> T[src]

fn extend_row(
    &mut self,
    types: Vec<Field<Id, Alias<Id, T>>>,
    fields: Vec<Field<Id, T>>,
    rest: T
) -> 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]

fn function_implicit<I>(&mut self, args: I, ret: T) -> T where
    I: IntoIterator<Item = T>,
    I::IntoIter: DoubleEndedIterator<Item = T>, [src]

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]

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]

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]

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]

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]

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]

fn record(
    &mut self,
    types: Vec<Field<Id, Alias<Id, T>>>,
    fields: Vec<Field<Id, T>>
) -> T[src]

fn poly_record(
    &mut self,
    types: Vec<Field<Id, Alias<Id, T>>>,
    fields: Vec<Field<Id, T>>,
    rest: T
) -> T[src]

fn extend_row(
    &mut self,
    types: Vec<Field<Id, Alias<Id, T>>>,
    fields: Vec<Field<Id, T>>,
    rest: T
) -> 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]

fn function_implicit<I>(&mut self, args: I, ret: T) -> T where
    I: IntoIterator<Item = T>,
    I::IntoIter: DoubleEndedIterator<Item = T>, [src]

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]

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]

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]

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]

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]

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]

fn record(
    &mut self,
    types: Vec<Field<Id, Alias<Id, T>>>,
    fields: Vec<Field<Id, T>>
) -> T[src]

fn poly_record(
    &mut self,
    types: Vec<Field<Id, Alias<Id, T>>>,
    fields: Vec<Field<Id, T>>,
    rest: T
) -> T[src]

fn extend_row(
    &mut self,
    types: Vec<Field<Id, Alias<Id, T>>>,
    fields: Vec<Field<Id, T>>,
    rest: T
) -> T[src]

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]

fn function_implicit<I>(&mut self, args: I, ret: T) -> T where
    I: IntoIterator<Item = T>,
    I::IntoIter: DoubleEndedIterator<Item = T>, [src]

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]

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]

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]

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]

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]

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]

fn record(
    &mut self,
    types: Vec<Field<Id, Alias<Id, T>>>,
    fields: Vec<Field<Id, T>>
) -> T[src]

fn poly_record(
    &mut self,
    types: Vec<Field<Id, Alias<Id, T>>>,
    fields: Vec<Field<Id, T>>,
    rest: T
) -> T[src]

fn extend_row(
    &mut self,
    types: Vec<Field<Id, Alias<Id, T>>>,
    fields: Vec<Field<Id, T>>,
    rest: T
) -> 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]

fn function_implicit<I>(&mut self, args: I, ret: T) -> T where
    I: IntoIterator<Item = T>,
    I::IntoIter: DoubleEndedIterator<Item = T>, [src]

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]

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]

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]

Loading content...