Trait Abstraction

pub trait Abstraction {
    type AbstractType;

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

Marks a type as abstractable: its values can be mapped to an idealized version of the type. For instance, machine integers, which have bounds, can be mapped to mathematical integers.

Each type can have only one abstraction.

Required Associated Types

type AbstractType

What is the ideal type values should be mapped to?

Required Methods

fn lift(self) -> Self::AbstractType

Maps a concrete value to its abstract counterpart

Implementations on Foreign Types

impl Abstraction for bool

type AbstractType = Prop

fn lift(self) -> Self::AbstractType

Implementors