Type Alias Df

pub type Df<A, B, C> = Arc<dyn for<'a> Fn(&'a mut C, A) -> BorrowRec<'a, Result<B>> + Send + Sync + 'static>;

Aliased Type

struct Df<A, B, C> { /* private fields */ }

Trait Implementations

impl<C: CtxSpec + 'static, A: CoeVec<C> + 'static, B: CoeVec<C> + 'static> Coe<C> for Df<A, B, C>

fn coe(self) -> Value<C>

fn uncoe(x: Value<C>) -> Result<Self>