Struct ShallowHandler 

pub struct ShallowHandler<A, B> {
    pub effect_name: String,
    pub val_clause: Box<dyn Fn(A) -> B>,
    pub op_clause: Box<dyn Fn(String, String, Box<dyn FnOnce(String) -> Free<A>>) -> B>,
}

A shallow handler: handles only the first operation encountered.

Fields

effect_name: String

The effect this handler covers.

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

Return clause.

op_clause: Box<dyn Fn(String, String, Box<dyn FnOnce(String) -> Free<A>>) -> B>

Operation clause: (op, arg, raw_continuation) → B.

Implementations

impl<A, B> ShallowHandler<A, B>

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

Create a new shallow handler.

pub fn handle(self, comp: Free<A>) -> B

Apply the shallow handler to a computation.