Trait CanCompute

pub trait CanCompute<Code, Input> {
    type Output;

    // Required method
    fn compute(&self, _tag: PhantomData<Code>, input: Input) -> Self::Output;
}

Required Associated Types

type Output

Required Methods

fn compute(&self, _tag: PhantomData<Code>, input: Input) -> Self::Output

Implementors

impl<Context, Code, Input> CanCompute<Code, Input> for Context

where Context: HasCgpProvider, Context::CgpProvider: Computer<Context, Code, Input>,

type Output = <<Context as HasCgpProvider>::CgpProvider as Computer<Context, Code, Input>>::Output