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

pub trait TypeContext<Id, T> where
    T: TypePtr<Id = Id>, {

Show 47 methods    fn intern_flags(&mut self, typ: Type<Id, T>, flags: Flags) -> T;

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

    fn intern_types(&mut self, types: impl IntoIterator<Item = T>) -> T::Types;

    fn intern_generics(
        &mut self, 
        types: impl IntoIterator<Item = Generic<Id>>
    ) -> T::Generics;

    fn intern_fields(
        &mut self, 
        types: impl IntoIterator<Item = Field<T::SpannedId, T>>
    ) -> T::Fields;

    fn intern_type_fields(
        &mut self, 
        types: impl IntoIterator<Item = Field<T::SpannedId, Alias<Id, T>>>
    ) -> T::TypeFields;

    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: T::Generics, typ: T) -> T { ... }

    fn with_forall(&mut self, typ: T, from: &T) -> T
    where
        Id: Clone + Eq + Hash,
        T: TypeExt<Id = Id> + Clone,
        T::Generics: FromIterator<Generic<Id>> + Clone,
    { ... }

    fn array(&mut self, typ: T) -> T { ... }

    fn array_builtin(&mut self) -> T { ... }

    fn app(&mut self, id: T, args: T::Types) -> T { ... }

    fn variant(&mut self, fields: T::Fields) -> T { ... }

    fn poly_variant(&mut self, fields: T::Fields, rest: T) -> T { ... }

    fn effect(&mut self, fields: T::Fields) -> T { ... }

    fn poly_effect(&mut self, fields: T::Fields, rest: T) -> T { ... }

    fn tuple<S, I>(&mut self, symbols: &mut S, elems: I) -> T
    where
        S: ?Sized + IdentEnv<Ident = Id>,
        T::SpannedId: From<(Id, Span<BytePos>)>,
        I: IntoIterator<Item = T>,
        T: HasSpan,
    { ... }

    fn tuple_<S, I>(&mut self, symbols: &mut S, elems: I) -> Type<Id, T>
    where
        S: ?Sized + IdentEnv<Ident = Id>,
        T::SpannedId: From<(Id, Span<BytePos>)>,
        T: HasSpan,
        I: IntoIterator<Item = T>,
    { ... }

    fn record(&mut self, types: T::TypeFields, fields: T::Fields) -> T { ... }

    fn poly_record(
        &mut self, 
        types: T::TypeFields, 
        fields: T::Fields, 
        rest: T
    ) -> T { ... }

    fn extend_full_row(
        &mut self, 
        types: T::TypeFields, 
        fields: T::Fields, 
        rest: T
    ) -> T { ... }

    fn extend_row(&mut self, fields: T::Fields, rest: T) -> T { ... }

    fn extend_type_row(&mut self, types: T::TypeFields, rest: T) -> T { ... }

    fn empty_row(&mut self) -> T { ... }

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

    fn ident(&mut self, id: KindedIdent<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: T::Generics, 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>>
    where
        T: TypeExt<Id = Id>,
        Id: PartialEq,
    { ... }

}

Required methods

Provided methods

[src]

fn tuple_<S, I>(&mut self, symbols: &mut S, elems: I) -> Type<Id, T> where
    S: ?Sized + IdentEnv<Ident = Id>,
    T::SpannedId: From<(Id, Span<BytePos>)>,
    T: HasSpan,
    I: IntoIterator<Item = T>, 

Implementations on Foreign Types

Implementors