hax_lib::int

Trait Abstraction

Source 
pub trait Abstraction {
    type AbstractType;

    // Required method
    fn lift(self) -> Self::AbstractType;
}

Required Associated Types§

Source

type AbstractType

Required Methods§

Source

fn lift(self) -> Self::AbstractType

Implementations on Foreign Types§

Source§

impl Abstraction for i8

Source§

type AbstractType = Int

Source§

fn lift(self) -> Self::AbstractType

Source§

impl Abstraction for i16

Source§

type AbstractType = Int

Source§

fn lift(self) -> Self::AbstractType

Source§

impl Abstraction for i32

Source§

type AbstractType = Int

Source§

fn lift(self) -> Self::AbstractType

Source§

impl Abstraction for i64

Source§

type AbstractType = Int

Source§

fn lift(self) -> Self::AbstractType

Source§

impl Abstraction for i128

Source§

type AbstractType = Int

Source§

fn lift(self) -> Self::AbstractType

Source§

impl Abstraction for isize

Source§

type AbstractType = Int

Source§

fn lift(self) -> Self::AbstractType

Source§

impl Abstraction for u8

Source§

type AbstractType = Int

Source§

fn lift(self) -> Self::AbstractType

Source§

impl Abstraction for u16

Source§

type AbstractType = Int

Source§

fn lift(self) -> Self::AbstractType

Source§

impl Abstraction for u32

Source§

type AbstractType = Int

Source§

fn lift(self) -> Self::AbstractType

Source§

impl Abstraction for u64

Source§

type AbstractType = Int

Source§

fn lift(self) -> Self::AbstractType

Source§

impl Abstraction for u128

Source§

type AbstractType = Int

Source§

fn lift(self) -> Self::AbstractType

Source§

impl Abstraction for usize

Source§

type AbstractType = Int

Source§

fn lift(self) -> Self::AbstractType

Implementors§