Enum LegacyOCamlPhase 

pub enum LegacyOCamlPhase {
    AndMutDefsite,
    BundleCycles,
    CfIntoMonads,
    DirectAndMut,
    DropBlocks,
    DropMatchGuards,
    DropReferences,
    DropReturnBreakContinue,
    DropSizedTrait,
    ExplicitConversions,
    FunctionalizeLoops,
    HoistDisjunctivePatterns,
    LocalMutation,
    NewtypeAsRefinement,
    ReconstructAsserts,
    ReconstructForIndexLoops,
    ReconstructForLoops,
    ReconstructQuestionMarks,
    ReconstructWhileLoops,
    ReorderFields,
    RewriteControlFlow,
    RewriteLocalSelf,
    SimplifyHoisting,
    SimplifyMatchReturn,
    SimplifyQuestionMarks,
    SortItems,
    Specialize,
    TraitsSpecs,
    TransformHaxLibInline,
    TrivializeAssignLhs,
    RejectArbitraryLhs,
    RejectContinue,
    RejectQuestionMark,
    RejectRawOrMutPointer,
    RejectEarlyExit,
    RejectAsPattern,
    RejectDyn,
    RejectTraitItemDefault,
    RejectUnsafe,
    RejectImplTypeMethod,
    HoistSideEffects,
}

The list of exposed OCaml phases.

Variants

AndMutDefsite

The phase and_mut_defsite from the OCaml engine.

BundleCycles

The phase bundle_cycles from the OCaml engine.

CfIntoMonads

The phase cf_into_monads from the OCaml engine.

DirectAndMut

The phase direct_and_mut from the OCaml engine.

DropBlocks

The phase drop_blocks from the OCaml engine.

DropMatchGuards

The phase drop_match_guards from the OCaml engine.

DropReferences

The phase drop_references from the OCaml engine.

DropReturnBreakContinue

The phase drop_return_break_continue from the OCaml engine.

DropSizedTrait

The phase drop_sized_trait from the OCaml engine.

ExplicitConversions

The phase explicit_conversions from the OCaml engine.

FunctionalizeLoops

The phase functionalize_loops from the OCaml engine.

HoistDisjunctivePatterns

The phase hoist_disjunctive_patterns from the OCaml engine.

LocalMutation

The phase local_mutation from the OCaml engine.

NewtypeAsRefinement

The phase newtype_as_refinement from the OCaml engine.

ReconstructAsserts

The phase reconstruct_asserts from the OCaml engine.

ReconstructForIndexLoops

The phase reconstruct_for_index_loops from the OCaml engine.

ReconstructForLoops

The phase reconstruct_for_loops from the OCaml engine.

ReconstructQuestionMarks

The phase reconstruct_question_marks from the OCaml engine.

ReconstructWhileLoops

The phase reconstruct_while_loops from the OCaml engine.

ReorderFields

The phase reorder_fields from the OCaml engine.

RewriteControlFlow

The phase rewrite_control_flow from the OCaml engine.

RewriteLocalSelf

The phase rewrite_local_self from the OCaml engine.

SimplifyHoisting

The phase simplify_hoisting from the OCaml engine.

SimplifyMatchReturn

The phase simplify_match_return from the OCaml engine.

SimplifyQuestionMarks

The phase simplify_question_marks from the OCaml engine.

SortItems

The phase sort_items from the OCaml engine.

Specialize

The phase specialize from the OCaml engine.

TraitsSpecs

The phase traits_specs from the OCaml engine.

TransformHaxLibInline

The phase transform_hax_lib_inline from the OCaml engine.

TrivializeAssignLhs

The phase trivialize_assign_lhs from the OCaml engine.

RejectArbitraryLhs

The phase reject_arbitrary_lhs from the OCaml engine.

RejectContinue

The phase reject_continue from the OCaml engine.

RejectQuestionMark

The phase reject_question_mark from the OCaml engine.

RejectRawOrMutPointer

The phase reject_raw_or_mut_pointer from the OCaml engine.

RejectEarlyExit

The phase reject_early_exit from the OCaml engine.

RejectAsPattern

The phase reject_as_pattern from the OCaml engine.

RejectDyn

The phase reject_dyn from the OCaml engine.

RejectTraitItemDefault

The phase reject_trait_item_default from the OCaml engine.

RejectUnsafe

The phase reject_unsafe from the OCaml engine.

RejectImplTypeMethod

The phase reject_impl_type_method from the OCaml engine.

HoistSideEffects

The phase hoist_side_effects from the OCaml engine.

Trait Implementations

impl Clone for LegacyOCamlPhase

fn clone(&self) -> LegacyOCamlPhase

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for LegacyOCamlPhase

impl Debug for LegacyOCamlPhase

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for LegacyOCamlPhase

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for LegacyOCamlPhase

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

Formats the value using the given formatter.

impl From<LegacyOCamlPhase> for PhaseKind

fn from(legacy_phase: LegacyOCamlPhase) -> Self

Converts to this type from the input type.

impl Phase for LegacyOCamlPhase

fn apply(&self, items: &mut Vec<Item>)

Apply the phase on items. A phase may transform an item into zero, one or more items.

impl Serialize for LegacyOCamlPhase

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

where __S: Serializer,

Serialize this value into the given Serde serializer.