Struct OcamlEffect 

pub struct OcamlEffect {
    pub name: String,
    pub params: Vec<OcamlType>,
    pub ret: OcamlType,
}

An OCaml 5.x effect declaration.

Fields

name: String

Effect name (e.g. “State”, “Async”, “Fail”).

params: Vec<OcamlType>

Effect continuation type.

ret: OcamlType

Return type of the effect continuation.

Implementations

impl OcamlEffect

pub fn new(name: &str, params: Vec<OcamlType>, ret: OcamlType) -> Self

Create a new effect declaration.

pub fn emit_decl(&self) -> String

Emit the effect type declaration.

pub fn emit_perform(&self, args: &[&str]) -> String

Emit an Effect.perform call.

pub fn emit_handler_arm(&self, handler_body: &str) -> String

Emit a handler for this effect.

Trait Implementations

impl Clone for OcamlEffect

fn clone(&self) -> OcamlEffect

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for OcamlEffect

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

Formats the value using the given formatter.