Struct EffPoly 

pub struct EffPoly<A> { /* private fields */ }

An effect-polymorphic computation: parameterized by an effect row variable.

At the Rust level, we represent this as a computation that can be “instantiated” at a specific effect row.

Implementations

impl<A> EffPoly<A>

pub fn new(f: impl Fn(&EffRow) -> A + 'static) -> Self

Create an effect-polymorphic computation.

pub fn instantiate(&self, row: &EffRow) -> A

Instantiate at a specific effect row.