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 struct_ty(
        ctx: Self::Ctx<'a>,
        fields: impl Iterator<Item = Self>,
        packed: bool,
    ) -> 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 struct_ty( ctx: Self::Ctx<'a>, fields: impl Iterator<Item = Self>, packed: bool, ) -> 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