Trait Types 

pub trait Types: Sized {
    // Required methods
    fn apply(&self, s: &Subst) -> Self;
    fn ftv(&self) -> HashSet<TypeVarId>;
}

Required Methods

fn apply(&self, s: &Subst) -> Self

fn ftv(&self) -> HashSet<TypeVarId>

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl<T: Types> Types for Vec<T>

fn apply(&self, s: &Subst) -> Self

fn ftv(&self) -> HashSet<TypeVarId>

Implementors

impl Types for Predicate

impl Types for Scheme

impl Types for Type

impl Types for TypeEnv