Struct hax_frontend_exporter::state::State

pub struct State<Base, Thir, Mir, OwnerId, Binder> {
    pub base: Base,
    pub thir: Thir,
    pub mir: Mir,
    pub owner_id: OwnerId,
    pub binder: Binder,
}

Fields

base: Base

thir: Thir

mir: Mir

owner_id: OwnerId

binder: Binder

Implementations

impl<'tcx> State<Base<'tcx>, (), (), (), ()>

pub fn new(tcx: TyCtxt<'tcx>, options: Options) -> Self

impl<'tcx> State<Base<'tcx>, (), (), DefId, ()>

pub fn new_from_state_and_id<S: BaseState<'tcx>>(s: &S, id: DefId) -> Self

impl<'tcx> State<Base<'tcx>, (), Rc<Body<'tcx>>, DefId, ()>

pub fn new_from_mir( tcx: TyCtxt<'tcx>, options: Options, mir: Body<'tcx>, owner_id: DefId, ) -> Self

impl<'tcx> State<Base<'tcx>, Rc<Thir<'tcx>>, (), DefId, ()>

pub fn from_thir(base: Base<'tcx>, owner_id: DefId, thir: RcThir<'tcx>) -> Self

impl<'tcx> State<Base<'tcx>, (), (), DefId, ()>

pub fn from_under_owner<S: UnderOwnerState<'tcx>>(s: &S) -> Self

Trait Implementations

impl<Base: Clone, Thir: Clone, Mir: Clone, OwnerId: Clone, Binder: Clone> Clone for State<Base, Thir, Mir, OwnerId, Binder>

fn clone(&self) -> State<Base, Thir, Mir, OwnerId, Binder>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'tcx, Thir, Mir, OwnerId, Binder> HasBase<'tcx> for State<Base<'tcx>, Thir, Mir, OwnerId, Binder>

fn base(&self) -> Base<'tcx>

impl<'tcx, Base, Thir, Mir, OwnerId, Binder> HasBaseSetter<'tcx> for State<Base, Thir, Mir, OwnerId, Binder>

type Out = State<Base<'tcx>, Thir, Mir, OwnerId, Binder>

fn with_base(self, base: Base<'tcx>) -> Self::Out

impl<'tcx, Base, Thir, Mir, OwnerId> HasBinder<'tcx> for State<Base, Thir, Mir, OwnerId, Binder<'tcx, ()>>

fn binder(&self) -> Binder<'tcx, ()>

impl<'tcx, Base, Thir, Mir, OwnerId, Binder> HasBinderSetter<'tcx> for State<Base, Thir, Mir, OwnerId, Binder>

type Out = State<Base, Thir, Mir, OwnerId, Binder<TyCtxt<'tcx>, ()>>

fn with_binder(self, binder: Binder<'tcx, ()>) -> Self::Out

impl<'tcx, Base, Thir, OwnerId, Binder> HasMir<'tcx> for State<Base, Thir, RcMir<'tcx>, OwnerId, Binder>

fn mir(&self) -> RcMir<'tcx>

impl<'tcx, Base, Thir, Mir, OwnerId, Binder> HasMirSetter<'tcx> for State<Base, Thir, Mir, OwnerId, Binder>

type Out = State<Base, Thir, Rc<Body<'tcx>>, OwnerId, Binder>

fn with_mir(self, mir: RcMir<'tcx>) -> Self::Out

impl<Base, Thir, Mir, Binder> HasOwnerId for State<Base, Thir, Mir, DefId, Binder>

fn owner_id(&self) -> DefId

impl<Base, Thir, Mir, OwnerId, Binder> HasOwnerIdSetter for State<Base, Thir, Mir, OwnerId, Binder>

type Out = State<Base, Thir, Mir, DefId, Binder>

fn with_owner_id(self, owner_id: DefId) -> Self::Out

impl<'tcx, Base, Mir, OwnerId, Binder> HasThir<'tcx> for State<Base, RcThir<'tcx>, Mir, OwnerId, Binder>

fn thir(&self) -> RcThir<'tcx>

impl<'tcx, Base, Thir, Mir, OwnerId, Binder> HasThirSetter<'tcx> for State<Base, Thir, Mir, OwnerId, Binder>

type Out = State<Base, Rc<Thir<'tcx>>, Mir, OwnerId, Binder>

fn with_thir(self, thir: RcThir<'tcx>) -> Self::Out