Enum aquascope::interpreter::MValue

pub enum MValue {
    Bool(bool),
    Char(usize),
    Uint(u64),
    Int(i64),
    Float(f64),
    Tuple(Vec<MValue>),
    Array(Abbreviated<MValue>),
    Adt {
        name: String,
        variant: Option<String>,
        fields: Vec<(String, MValue)>,
        alloc_kind: Option<MHeapAllocKind>,
    },
    Pointer {
        path: MPath,
        range: Option<u64>,
    },
    Unallocated {
        alloc_id: Option<usize>,
    },
}

Variants

Bool(bool)

Char(usize)

Uint(u64)

Int(i64)

Float(f64)

Tuple(Vec<MValue>)

Array(Abbreviated<MValue>)

Adt

Fields

name: String

variant: Option<String>

fields: Vec<(String, MValue)>

alloc_kind: Option<MHeapAllocKind>

Pointer

Fields

path: MPath

range: Option<u64>

Unallocated

Fields

alloc_id: Option<usize>

Trait Implementations

impl Debug for MValue

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for MValue

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq<MValue> for MValue

fn eq(&self, other: &MValue) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for MValue

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>where __S: Serializer,

Serialize this value into the given Serde serializer.

impl TS for MValue

const EXPORT_TO: Option<&'static str> = _

fn decl() -> String

Declaration of this type, e.g. interface User { user_id: number, ... }. This function will panic if the type has no declaration.

fn name() -> String

Name of this type in TypeScript.

fn inline() -> String

Formats this types definition in TypeScript, e.g { user_id: number }. This function will panic if the type cannot be inlined.

fn dependencies() -> Vec<Dependency>

Information about types this type depends on. This is used for resolving imports when exporting to a file.

fn transparent() -> bool

true if this is a transparent type, e.g tuples or a list.
This is used for resolving imports when using the export! macro.

fn name_with_type_args(args: Vec<String, Global>) -> String

Name of this type in TypeScript, with type arguments.

fn inline_flattened() -> String

Flatten an type declaration.
This function will panic if the type cannot be flattened.

fn export() -> Result<(), ExportError>

Manually export this type to a file. The output file can be specified by annotating the type with #[ts(export_to = ".."]. By default, the filename will be derived from the types name.

fn export_to(path: impl AsRef<Path>) -> Result<(), ExportError>

Manually export this type to a file with a file with the specified path. This function will ignore the #[ts(export_to = "..)] attribute.

fn export_to_string() -> Result<String, ExportError>

Manually generate bindings for this type, returning a String.
This function does not format the output, even if the format feature is enabled.

impl StructuralPartialEq for MValue