Trait Ty

pub trait Ty<'a>:
    Clone
    + Sealed
    + 'a {
    type Ctx<'b>: Ctx<'b>
       where Self: 'b;

    // Required methods
    fn int_ty(ctx: Self::Ctx<'a>, size: u32) -> Self;
    fn ptr_ty(ctx: Self::Ctx<'a>, address_space: u32) -> Self;
    fn fun_ty(self, params: impl Iterator<Item = Self>) -> Self;
}

Required Associated Types

type Ctx<'b>: Ctx<'b> where Self: 'b

Required Methods

fn int_ty(ctx: Self::Ctx<'a>, size: u32) -> Self

fn ptr_ty(ctx: Self::Ctx<'a>, address_space: u32) -> Self

fn fun_ty(self, params: impl Iterator<Item = Self>) -> Self

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.

Implementors