Struct DeepHandler 

pub struct DeepHandler<A, B> {
    pub effect_name: String,
    pub val_clause: Box<dyn Fn(A) -> B>,
    pub op_clauses: HashMap<String, Box<dyn Fn(String, Box<dyn Fn(String) -> B>) -> B>>,
}

A deep effect handler for a specific effect.

A deep handler handles every operation of the effect recursively, re-interpreting the continuation in the handled context.

Fields

effect_name: String

The name of the handled effect.

val_clause: Box<dyn Fn(A) -> B>

Return clause: val_clause(a) handles the final value.

op_clauses: HashMap<String, Box<dyn Fn(String, Box<dyn Fn(String) -> B>) -> B>>

Operation clauses: map (op_name, arg, k) to B where k : String → B.

Implementations

impl<A, B: 'static> DeepHandler<A, B>

pub fn new( effect_name: impl Into<String>, val_clause: impl Fn(A) -> B + 'static, ) -> Self

Create a new deep handler.

pub fn with_op( self, op_name: impl Into<String>, clause: impl Fn(String, Box<dyn Fn(String) -> B>) -> B + 'static, ) -> Self

Register an operation clause for operation op_name.