Skip to main content

MontyType

Enum MontyType

pub enum MontyType {
Show 69 variants    Ellipsis,
    Type,
    NoneType,
    Bool,
    Int,
    Float,
    Range,
    Slice,
    Date,
    DateTime,
    TimeDelta,
    TimeZone,
    Str,
    Bytes,
    List,
    Deque,
    ListIterator,
    CallableIterator,
    Tuple,
    NamedTuple,
    Dict,
    DictKeys,
    DictItems,
    DictValues,
    Set,
    FrozenSet,
    Instance(Box<MontyClassType>),
    Exception(ExcType),
    Function,
    BuiltinFunction,
    Cell,
    Iterator,
    Coroutine,
    Module,
    TextIOWrapper,
    BufferedReader,
    BufferedWriter,
    BufferedRandom,
    SpecialForm,
    Path,
    Property,
    RePattern,
    ReMatch,
    TupleIterator,
    StrAsciiIterator,
    StrIterator,
    BytesIterator,
    RangeIterator,
    DictKeyIterator,
    DictItemIterator,
    DictValueIterator,
    SetIterator,
    ItertoolsCount,
    ItertoolsRepeat,
    Field,
    ItertoolsPairwise,
    ItertoolsCompress,
    ItertoolsIslice,
    ItertoolsChain,
    ItertoolsCycle,
    NotImplementedType,
    DataclassParams,
    ItertoolsTakeWhile,
    ItertoolsDropWhile,
    ItertoolsFilterFalse,
    ItertoolsStarMap,
    Object,
    Time,
    Partial,
}

Expand description

The Python type of a value at the host boundary — the public mirror of the internal runtime Type enum.

Where the runtime Type::Instance carries a transient heap id, the public MontyType::Instance carries the resolved MontyClassType (name, uuid, flags), so a MontyType is always self-contained: it can be serialized, sent over the subprocess wire protocol, and displayed without heap access.

A sandbox class type is output-only: its class binding cannot be reconstructed host-side, so passing one back as an input is rejected with an InvalidInputError. Host class types round-trip.

Variants§

Ellipsis

Type

NoneType

Bool

Int

Float

Range

Slice

Date

The four datetime classes carry the qualified names the runtime Type uses (datetime.date, …) rather than bare date, so a type object keeps one name either side of the boundary.

DateTime

TimeDelta

TimeZone

Str

Bytes

List

Deque

collections.deque. Qualified like datetime.datetime so the host-boundary name matches the runtime Type::Deque (collections.deque) rather than a bare deque.

ListIterator

CallableIterator

Tuple

NamedTuple

Dict

DictKeys

DictItems

DictValues

Set

FrozenSet

Instance(Box<MontyClassType>)

A non-builtin class type object — a sandbox-defined or host-defined class, carrying the resolved MontyClassType (name, uuid, flags). Sandbox class types are output-only (rejected as inputs); host class types round-trip.

#[strum(disabled)]: excluded from EnumIter (no meaningful default name; the name round-trip tests iterate the nameable variants only).

Exception(ExcType)

Exception types render/parse via ExcType’s own strum name ("ValueError", "json.JSONDecodeError", …), so this variant is #[strum(disabled)]: name and from_type_name peel Exception off explicitly.

Function

BuiltinFunction

Cell

Iterator

Coroutine

Module

TextIOWrapper

BufferedReader

BufferedWriter

BufferedRandom

SpecialForm

Path

Property

RePattern

ReMatch

TupleIterator

StrAsciiIterator

StrIterator

BytesIterator

RangeIterator

DictKeyIterator

DictItemIterator

DictValueIterator

SetIterator

ItertoolsCount

ItertoolsRepeat

Field

A dataclasses.Field describing one field of a sandbox @dataclass, as found in a class’s __dataclass_fields__.

ItertoolsPairwise

ItertoolsCompress

ItertoolsIslice

ItertoolsChain

ItertoolsCycle

NotImplementedType

DataclassParams

The __dataclass_params__ of a sandbox @dataclass: the options it was decorated with, named as CPython’s private class reports itself.

ItertoolsTakeWhile

ItertoolsDropWhile

ItertoolsFilterFalse

ItertoolsStarMap

Object

The builtin object, which the sandbox exposes as a name only — it is not a base class and cannot be constructed.

Time

Partial

functools.partial, qualified the way CPython’s tp_name is.

Implementations§

impl MontyType

pub fn name(&self) -> &str

The Python-visible name of this type ("int", "datetime.datetime", "ValueError", or the class name for Instance).

pub fn from_type_name(name: &str) -> Option<MontyType>

Parses a name produced by Display/name back to the MontyType — the wire-protocol decode path for builtin type names. Never yields Instance: class names return None (the wire carries instance types in a dedicated field instead), and "object" parses to the builtin Object.

EnumString parses via the same strum serialize attributes that IntoStaticStr renders with, so the two stay in lockstep by construction. Exception types display as their exception name (“ValueError”, “json.JSONDecodeError”, …) — fall back to the ExcType parser.

Trait Implementations§

impl Clone for MontyType

fn clone(&self) -> MontyType

Returns a duplicate of the value. Read more

1.0.0 (const: unstable) · Source§

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

Performs copy-assignment from source. Read more

impl Debug for MontyType

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

Formats the value using the given formatter. Read more

impl<'de> Deserialize<'de> for MontyType

fn deserialize<D>( deserializer: D, ) -> Result<MontyType, <D as Deserializer<'de>>::Error>
where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer. Read more

impl Display for MontyType

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

Formats the value using the given formatter. Read more

impl Eq for MontyType

impl FromStr for MontyType

type Err = ParseError

The associated error which can be returned from parsing.

fn from_str(s: &str) -> Result<MontyType, <MontyType as FromStr>::Err>

Parses a string s to return a value of this type. Read more

impl IntoEnumIterator for MontyType

type Iterator = MontyTypeIter

fn iter() -> MontyTypeIter

impl PartialEq for MontyType

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

Equality operator ==. Read more

1.0.0 (const: unstable) · Source§

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

Inequality operator !=. Read more

impl Serialize for MontyType

fn serialize<S>( &self, serializer: S, ) -> Result<<S as Serializer>::Ok, <S as Serializer>::Error>
where S: Serializer,

Serialize this value into the given Serde serializer. Read more

impl StructuralPartialEq for MontyType

impl TryFrom<&str> for MontyType

type Error = ParseError

The type returned in the event of a conversion error.

fn try_from(s: &str) -> Result<MontyType, <MontyType as TryFrom<&str>>::Error>

Performs the conversion.

impl VariantNames for MontyType

const VARIANTS: &'static [&'static str]

Names of the variants of this enum

Auto Trait Implementations§

impl Freeze for MontyType

impl RefUnwindSafe for MontyType

impl Send for MontyType

impl Sync for MontyType

impl Unpin for MontyType

impl UnsafeUnpin for MontyType

impl UnwindSafe for MontyType

Blanket Implementations§

impl<T> Any for T
where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T
where T: ?Sized,

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T
where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
where ST: ?Sized, DT: ?Sized,

impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
where ST: ?Sized, DT: ?Sized,

impl<T> CloneToUninit for T
where T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)

Performs copy-assignment from self to dest. Read more

impl<T> Conv for T

fn conv<T>(self) -> T
where Self: Into<T>,

Converts self into T using Into<T>. Read more

impl<T> DeserializeOwned for T
where T: for<'de> Deserialize<'de>,

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

fn equivalent(&self, key: &K) -> bool

Compare self to key and return true if they are equal.

impl<T> FmtForward for T

fn fmt_binary(self) -> FmtBinary<Self>
where Self: Binary,

Causes self to use its Binary implementation when Debug-formatted.

fn fmt_display(self) -> FmtDisplay<Self>
where Self: Display,

Causes self to use its Display implementation when Debug-formatted.

fn fmt_lower_exp(self) -> FmtLowerExp<Self>
where Self: LowerExp,

Causes self to use its LowerExp implementation when Debug-formatted.

fn fmt_lower_hex(self) -> FmtLowerHex<Self>
where Self: LowerHex,

Causes self to use its LowerHex implementation when Debug-formatted.

fn fmt_octal(self) -> FmtOctal<Self>
where Self: Octal,

Causes self to use its Octal implementation when Debug-formatted.

fn fmt_pointer(self) -> FmtPointer<Self>
where Self: Pointer,

Causes self to use its Pointer implementation when Debug-formatted.

fn fmt_upper_exp(self) -> FmtUpperExp<Self>
where Self: UpperExp,

Causes self to use its UpperExp implementation when Debug-formatted.

fn fmt_upper_hex(self) -> FmtUpperHex<Self>
where Self: UpperHex,

Causes self to use its UpperHex implementation when Debug-formatted.

fn fmt_list(self) -> FmtList<Self>
where &'a Self: for<'a> IntoIterator,

Formats each item in a sequence. Read more

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T, U> Into<U> for T
where U: From<T>,

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T> IntoEither for T

fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more

impl<T> Pipe for T
where T: ?Sized,

fn pipe<R>(self, func: impl FnOnce(Self) -> R) -> R
where Self: Sized,

Pipes by value. This is generally the method you want to use. Read more

fn pipe_ref<'a, R>(&'a self, func: impl FnOnce(&'a Self) -> R) -> R
where R: 'a,

Borrows self and passes that borrow into the pipe function. Read more

fn pipe_ref_mut<'a, R>(&'a mut self, func: impl FnOnce(&'a mut Self) -> R) -> R
where R: 'a,

Mutably borrows self and passes that borrow into the pipe function. Read more

fn pipe_borrow<'a, B, R>(&'a self, func: impl FnOnce(&'a B) -> R) -> R
where Self: Borrow<B>, B: 'a + ?Sized, R: 'a,

Borrows self, then passes self.borrow() into the pipe function. Read more

fn pipe_borrow_mut<'a, B, R>( &'a mut self, func: impl FnOnce(&'a mut B) -> R, ) -> R
where Self: BorrowMut<B>, B: 'a + ?Sized, R: 'a,

Mutably borrows self, then passes self.borrow_mut() into the pipe function. Read more

fn pipe_as_ref<'a, U, R>(&'a self, func: impl FnOnce(&'a U) -> R) -> R
where Self: AsRef<U>, U: 'a + ?Sized, R: 'a,

Borrows self, then passes self.as_ref() into the pipe function.

fn pipe_as_mut<'a, U, R>(&'a mut self, func: impl FnOnce(&'a mut U) -> R) -> R
where Self: AsMut<U>, U: 'a + ?Sized, R: 'a,

Mutably borrows self, then passes self.as_mut() into the pipe function.

fn pipe_deref<'a, T, R>(&'a self, func: impl FnOnce(&'a T) -> R) -> R
where Self: Deref<Target = T>, T: 'a + ?Sized, R: 'a,

Borrows self, then passes self.deref() into the pipe function.

fn pipe_deref_mut<'a, T, R>( &'a mut self, func: impl FnOnce(&'a mut T) -> R, ) -> R
where Self: DerefMut<Target = T> + Deref, T: 'a + ?Sized, R: 'a,

Mutably borrows self, then passes self.deref_mut() into the pipe function.

impl<T> Read<Exclusive, BecauseExclusive> for T
where T: ?Sized,

impl<T> Tap for T

fn tap(self, func: impl FnOnce(&Self)) -> Self

Immutable access to a value. Read more

fn tap_mut(self, func: impl FnOnce(&mut Self)) -> Self

Mutable access to a value. Read more

fn tap_borrow<B>(self, func: impl FnOnce(&B)) -> Self
where Self: Borrow<B>, B: ?Sized,

Immutable access to the Borrow<B> of a value. Read more

fn tap_borrow_mut<B>(self, func: impl FnOnce(&mut B)) -> Self
where Self: BorrowMut<B>, B: ?Sized,

Mutable access to the BorrowMut<B> of a value. Read more

fn tap_ref<R>(self, func: impl FnOnce(&R)) -> Self
where Self: AsRef<R>, R: ?Sized,

Immutable access to the AsRef<R> view of a value. Read more

fn tap_ref_mut<R>(self, func: impl FnOnce(&mut R)) -> Self
where Self: AsMut<R>, R: ?Sized,

Mutable access to the AsMut<R> view of a value. Read more

fn tap_deref<T>(self, func: impl FnOnce(&T)) -> Self
where Self: Deref<Target = T>, T: ?Sized,

Immutable access to the Deref::Target of a value. Read more

fn tap_deref_mut<T>(self, func: impl FnOnce(&mut T)) -> Self
where Self: DerefMut<Target = T> + Deref, T: ?Sized,

Mutable access to the Deref::Target of a value. Read more

fn tap_dbg(self, func: impl FnOnce(&Self)) -> Self

Calls .tap() only in debug builds, and is erased in release builds.

fn tap_mut_dbg(self, func: impl FnOnce(&mut Self)) -> Self

Calls .tap_mut() only in debug builds, and is erased in release builds.

fn tap_borrow_dbg<B>(self, func: impl FnOnce(&B)) -> Self
where Self: Borrow<B>, B: ?Sized,

Calls .tap_borrow() only in debug builds, and is erased in release builds.

fn tap_borrow_mut_dbg<B>(self, func: impl FnOnce(&mut B)) -> Self
where Self: BorrowMut<B>, B: ?Sized,

Calls .tap_borrow_mut() only in debug builds, and is erased in release builds.

fn tap_ref_dbg<R>(self, func: impl FnOnce(&R)) -> Self
where Self: AsRef<R>, R: ?Sized,

Calls .tap_ref() only in debug builds, and is erased in release builds.

fn tap_ref_mut_dbg<R>(self, func: impl FnOnce(&mut R)) -> Self
where Self: AsMut<R>, R: ?Sized,

Calls .tap_ref_mut() only in debug builds, and is erased in release builds.

fn tap_deref_dbg<T>(self, func: impl FnOnce(&T)) -> Self
where Self: Deref<Target = T>, T: ?Sized,

Calls .tap_deref() only in debug builds, and is erased in release builds.

fn tap_deref_mut_dbg<T>(self, func: impl FnOnce(&mut T)) -> Self
where Self: DerefMut<Target = T> + Deref, T: ?Sized,

Calls .tap_deref_mut() only in debug builds, and is erased in release builds.

impl<T> ToCharString for T
where T: Display,

fn try_to_char_string(&self) -> Result<CharString, ToCharStringError>

Attempts to convert the value to a CharString. Read more

fn to_char_string(&self) -> CharString

Converts the value to a CharString. Read more

impl<T> ToCompactString for T
where T: Display,

fn try_to_compact_string(&self) -> Result<CompactString, ToCompactStringError>

Fallible version of ToCompactString::to_compact_string() Read more

fn to_compact_string(&self) -> CompactString

Converts the given value to a CompactString. Read more

impl<T> ToOwned for T
where T: Clone,

type Owned = T

The resulting type after obtaining ownership.

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more

impl<T> ToString for T
where T: Display + ?Sized,

fn to_string(&self) -> String

Converts the given value to a String. Read more

impl<T> TryConv for T

fn try_conv<T>(self) -> Result<T, Self::Error>
where Self: TryInto<T>,

Attempts to convert self into T using TryInto<T>. Read more

impl<T, U> TryFrom<U> for T
where U: Into<T>,

type Error = !

The type returned in the event of a conversion error.

fn try_from(value: U) -> Result<T, !>

Performs the conversion.

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.