Struct gluon_check::substitution::Substitution

pub fn clear_from(&mut self, level: u32)

Assumes that no variables unified with anything (but variables < level may exist)

pub fn new_var(&self) -> T
where T: Clone + Display,

Creates a new variable

pub fn new_var_fn<F>(&self, f: F) -> T
where T: Clone, F: FnOnce(u32) -> T,

pub fn real<'r>(&'r self, typ: &'r T) -> &'r T

If typ is a variable this returns the real unified value of that variable. Otherwise it just returns the type itself. Note that the returned type may contain terms which also need to have real called on them.

pub fn get_var(&self, var: u32) -> Option<&T>

pub fn find_type_for_var(&self, var: u32) -> Option<&T>

pub fn get_level(&self, var: u32) -> u32

pub fn replace_variable(&self, typ: &T) -> Option<T>
where T: Clone,

impl<T: Substitutable + Clone> Substitution<T>

pub fn make_real(&self, typ: &mut T)

impl<T: Substitutable + PartialEq + Clone> Substitution<T>

pub fn union(&self, variable: &T, typ: &T) -> Result<(), Error<T>>
where T::Variable: Clone, T: Display,

Takes id and updates the substitution to say that it should have the same type as typ

impl Substitution<RcType>

pub fn new_skolem(&self, name: Symbol, kind: ArcKind) -> RcType

pub fn zonk(&self, typ: &RcType) -> RcType

pub fn bind_arc(&self, typ: &RcType) -> ArcType

Trait Implementations§

impl<T> Debug for Substitution<T>
where T: Debug + Substitutable,

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more

impl<T> Default for Substitution<T>
where T: Substitutable, T::Factory: Default, T::Interner: Default,

fn default() -> Substitution<T>

Returns the “default value” for a type. Read more

impl<'a> Substitution<Symbol, ArcType> for &'a Substitution<RcType>

fn new_var(&mut self) -> RcType

fn new_skolem(&mut self, name: Symbol, kind: ArcKind) -> RcType

impl<'a, T> TypeContext<Symbol, T> for &'a Substitution<T>
where T: Substitutable + TypePtr<Id = Symbol> + From<Type<Symbol, T>>, &'a T::Interner: TypeContext<Symbol, T>,

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

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

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

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

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

fn intern_flags(&mut self, typ: Type<Symbol, T>, flags: Flags) -> T

fn builtin(&mut self, typ: BuiltinType) -> T

fn forall(&mut self, params: <T as TypePtr>::Generics, typ: T) -> T

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

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

fn app(&mut self, id: T, args: <T as TypePtr>::Types) -> T

fn variant(&mut self, fields: <T as TypePtr>::Fields) -> T

fn poly_variant(&mut self, fields: <T as TypePtr>::Fields, rest: T) -> T

fn effect(&mut self, fields: <T as TypePtr>::Fields) -> T

fn poly_effect(&mut self, fields: <T as TypePtr>::Fields, rest: T) -> T

fn record( &mut self, types: <T as TypePtr>::TypeFields, fields: <T as TypePtr>::Fields ) -> T

fn poly_record( &mut self, types: <T as TypePtr>::TypeFields, fields: <T as TypePtr>::Fields, rest: T ) -> T

fn extend_full_row( &mut self, types: <T as TypePtr>::TypeFields, fields: <T as TypePtr>::Fields, rest: T ) -> T

fn extend_row(&mut self, fields: <T as TypePtr>::Fields, rest: T) -> T

fn extend_type_row(&mut self, types: <T as TypePtr>::TypeFields, rest: T) -> T

fn generic(&mut self, typ: Generic<Symbol>) -> T

fn skolem(&mut self, typ: Skolem<Symbol>) -> T

fn variable(&mut self, typ: TypeVariable) -> T

fn alias(&mut self, name: Symbol, args: <T as TypePtr>::Generics, typ: T) -> T

fn ident(&mut self, id: KindedIdent<Symbol>) -> T

fn projection(&mut self, id: AppVec<Symbol>) -> T

fn builtin_type(&mut self, typ: BuiltinType) -> T

fn new_alias( &mut self, name: Symbol, args: <T as TypePtr>::Generics, typ: T ) -> Alias<Symbol, T>

fn new_data_alias(&mut self, data: AliasData<Symbol, T>) -> Alias<Symbol, T>

fn alias_group( &mut self, group: Vec<AliasData<Symbol, T>> ) -> Vec<Alias<Symbol, T>>
where T: TypeExt<Id = Symbol>, Symbol: PartialEq,

fn hole(&mut self) -> T

fn opaque(&mut self) -> T

fn error(&mut self) -> T

fn array_builtin(&mut self) -> T

fn empty_row(&mut self) -> 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 function(&mut self, args: I, ret: T) -> T
where I: IntoIterator<Item = T>, ::IntoIter: DoubleEndedIterator<Item = T>,

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

fn function_type(&mut self, arg_type: ArgType, args: I, ret: T) -> T
where I: IntoIterator<Item = T>, ::IntoIter: DoubleEndedIterator<Item = T>,

impl<T> TypeContext<Symbol, T> for Substitution<T>
where T: Substitutable + TypePtr<Id = Symbol> + From<Type<Symbol, T>>, for<'a> &'a T::Interner: TypeContext<Symbol, T>,

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

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

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

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

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

fn intern_flags(&mut self, typ: Type<Symbol, T>, flags: Flags) -> T

fn builtin(&mut self, typ: BuiltinType) -> T

fn forall(&mut self, params: <T as TypePtr>::Generics, typ: T) -> T

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

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

fn app(&mut self, id: T, args: <T as TypePtr>::Types) -> T

fn variant(&mut self, fields: <T as TypePtr>::Fields) -> T

fn poly_variant(&mut self, fields: <T as TypePtr>::Fields, rest: T) -> T

fn effect(&mut self, fields: <T as TypePtr>::Fields) -> T

fn poly_effect(&mut self, fields: <T as TypePtr>::Fields, rest: T) -> T

fn record( &mut self, types: <T as TypePtr>::TypeFields, fields: <T as TypePtr>::Fields ) -> T

fn poly_record( &mut self, types: <T as TypePtr>::TypeFields, fields: <T as TypePtr>::Fields, rest: T ) -> T

fn extend_full_row( &mut self, types: <T as TypePtr>::TypeFields, fields: <T as TypePtr>::Fields, rest: T ) -> T

fn extend_row(&mut self, fields: <T as TypePtr>::Fields, rest: T) -> T

fn extend_type_row(&mut self, types: <T as TypePtr>::TypeFields, rest: T) -> T

fn generic(&mut self, typ: Generic<Symbol>) -> T

fn skolem(&mut self, typ: Skolem<Symbol>) -> T

fn variable(&mut self, typ: TypeVariable) -> T

fn alias(&mut self, name: Symbol, args: <T as TypePtr>::Generics, typ: T) -> T

fn ident(&mut self, id: KindedIdent<Symbol>) -> T

fn projection(&mut self, id: AppVec<Symbol>) -> T

fn builtin_type(&mut self, typ: BuiltinType) -> T

fn new_alias( &mut self, name: Symbol, args: <T as TypePtr>::Generics, typ: T ) -> Alias<Symbol, T>

fn new_data_alias(&mut self, data: AliasData<Symbol, T>) -> Alias<Symbol, T>

fn alias_group( &mut self, group: Vec<AliasData<Symbol, T>> ) -> Vec<Alias<Symbol, T>>
where T: TypeExt<Id = Symbol>, Symbol: PartialEq,

fn hole(&mut self) -> T

fn opaque(&mut self) -> T

fn error(&mut self) -> T

fn array_builtin(&mut self) -> T

fn empty_row(&mut self) -> 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 function(&mut self, args: I, ret: T) -> T
where I: IntoIterator<Item = T>, ::IntoIter: DoubleEndedIterator<Item = T>,

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

fn function_type(&mut self, arg_type: ArgType, args: I, ret: T) -> T
where I: IntoIterator<Item = T>, ::IntoIter: DoubleEndedIterator<Item = T>,

Auto Trait Implementations§

impl<T> !RefUnwindSafe for Substitution<T>

impl<T> Send for Substitution<T>
where T: Send, <T as Substitutable>::Factory: Send, <T as Substitutable>::Interner: Send,

impl<T> !Sync for Substitution<T>

impl<T> Unpin for Substitution<T>
where T: Unpin, <T as Substitutable>::Factory: Unpin, <T as Substitutable>::Interner: Unpin,

impl<T> UnwindSafe for Substitution<T>
where T: UnwindSafe, <T as Substitutable>::Factory: UnwindSafe, <T as Substitutable>::Interner: UnwindSafe,

Blanket Implementations§

impl<T> Any for T
where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<Id> AsId<Id> for Id
where Id: ?Sized,

fn as_id(&self) -> &Id

impl<T> Borrow<T> for T
where T: ?Sized,

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T
where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T, U> Into for T
where U: From<T>,

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T, U> TryFrom for T
where U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>

Performs the conversion.

impl<T, U> TryInto for T
where U: TryFrom<T>,

type Error = >::Error

The type returned in the event of a conversion error.

fn try_into(self) -> Result<U, >::Error>

Performs the conversion.