Trait NewCoeffect

pub trait NewCoeffect {
    type Instance: Coeffect;

    // Required method
    fn new_coeffect(&self) -> Self::Instance;
}

Required Associated Types

type Instance: Coeffect

Required Methods

fn new_coeffect(&self) -> Self::Instance

Implementors

impl<E: 'static> NewCoeffect for Dispatcher<E>

type Instance = Dispatcher<E>

impl<S: 'static> NewCoeffect for Db<S>

type Instance = Db<S>