Enum ControlFlow

pub enum ControlFlow {
    Continue(Value),
    Break(Value),
}

Used to tell an operation whether it should exit early or go on as usual.

This acts as the basis of the TRY protocol in Rune.

Examples

use std::ops::ControlFlow;

let c = ControlFlow::Continue(42);
assert_eq!(c.0, 42);
assert_eq!(c, ControlFlow::Continue(42));

Variants

Continue(Value)

Move on to the next phase of the operation as normal.

Break(Value)

Exit the operation without running subsequent phases.

Trait Implementations

impl Any for ControlFlow

const ANY_TYPE_INFO: AnyTypeInfo = _

The compile-time type information know for the type.

impl Clone for ControlFlow

fn clone(&self) -> ControlFlow

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ControlFlow

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

Formats the value using the given formatter.

impl InstallWith for ControlFlow

fn install_with(module: &mut Module) -> Result<(), ContextError>

Hook to install more things into the module.

impl IntoOutput for ControlFlow

fn into_output(self) -> Result<Value, RuntimeError>

Coerce the current value into an output.

impl MaybeTypeOf for ControlFlow

fn maybe_type_of() -> Result<DocType>

Type information for the given type.

impl Named for ControlFlow

const ITEM: &'static Item = _

The name item.

fn full_name(f: &mut Formatter<'_>) -> Result

The exact type name

fn display() -> impl Display

Return a display wrapper for the named type.

impl TryClone for ControlFlow

fn try_clone(&self) -> Result<Self>

Try to clone the current value, raising an allocation error if it’s unsuccessful.

fn try_clone_from(&mut self, source: &Self) -> Result<(), Error>

Performs copy-assignment from source.

impl TryFrom<ControlFlow> for Value

type Error = Error

The type returned in the event of a conversion error.

fn try_from(value: ControlFlow) -> Result<Self, Self::Error>

Performs the conversion.

impl TypeHash for ControlFlow

const HASH: Hash = _

The complete type hash of the type including type parameters which uniquely identifiers a given type.

impl TypeOf for ControlFlow

const PARAMETERS: Hash = _

Type parameters for the type.

const STATIC_TYPE_INFO: AnyTypeInfo = <Self as rune::Any>::ANY_TYPE_INFO

Access diagnostical type information for the current type.

fn type_info() -> TypeInfo

Get type info associated with the current type.

impl UnsafeToMut for ControlFlow

type Guard = RawValueGuard

The raw guard returned.

unsafe fn unsafe_to_mut<'a>( value: Value, ) -> Result<(&'a mut Self, Self::Guard), RuntimeError>

Safety

impl UnsafeToRef for ControlFlow

type Guard = RawValueGuard

The raw guard returned.

unsafe fn unsafe_to_ref<'a>( value: Value, ) -> Result<(&'a Self, Self::Guard), RuntimeError>

Safety

impl UnsafeToValue for &ControlFlow

type Guard = ValueRefGuard

The type used to guard the unsafe value conversion.

unsafe fn unsafe_to_value(self) -> Result<(Value, Self::Guard), RuntimeError>

Convert into a value.

impl UnsafeToValue for &mut ControlFlow

type Guard = ValueMutGuard

The type used to guard the unsafe value conversion.

unsafe fn unsafe_to_value(self) -> Result<(Value, Self::Guard), RuntimeError>

Convert into a value.