# Trait miri::interpret::Readable

source ·

    pub trait Readable<'tcx, Prov>: Projectable<'tcx, Prov>where
        Prov: Provenance,{
        // Required method
        fn as_mplace_or_imm(
            &self
        ) -> Either<MPlaceTy<'tcx, Prov>, ImmTy<'tcx, Prov>>;
    }

Expand description

The `Readable` trait describes interpreter values that one can read from.

## Required Methods§

source

#### fn as_mplace_or_imm(&self) -> Either<MPlaceTy<'tcx, Prov>, ImmTy<'tcx, Prov>>

## Object Safety§

This trait is not object safe.

## Implementors§

source§

### impl<'tcx, Prov> Readable<'tcx, Prov> for ImmTy<'tcx, Prov>
where Prov: Provenance,

source§

### impl<'tcx, Prov> Readable<'tcx, Prov> for MPlaceTy<'tcx, Prov>
where Prov: Provenance,

source§

### impl<'tcx, Prov> Readable<'tcx, Prov> for OpTy<'tcx, Prov>
where Prov: Provenance,