Trait snarkvm_wasm::AllocGadget[−][src]

pub trait AllocGadget<V, F> where
    F: Field,
    V: ?Sized, {
    fn alloc<Fn, T, CS>(cs: CS, f: Fn) -> Result<Self, SynthesisError>
    where
        Fn: FnOnce() -> Result<T, SynthesisError>,
        CS: ConstraintSystem<F>,
        T: Borrow<V>;

    fn alloc_input<Fn, T, CS>(cs: CS, f: Fn) -> Result<Self, SynthesisError>
    where
        Fn: FnOnce() -> Result<T, SynthesisError>,
        CS: ConstraintSystem<F>,
        T: Borrow<V>;

    fn alloc_constant<Fn, T, CS>(
        _cs: CS, 
        _f: Fn
    ) -> Result<Self, SynthesisError>
    where
        Fn: FnOnce() -> Result<T, SynthesisError>,
        CS: ConstraintSystem<F>,
        T: Borrow<V>,
    { ... }

    fn alloc_checked<Fn, T, CS>(cs: CS, f: Fn) -> Result<Self, SynthesisError>
    where
        Fn: FnOnce() -> Result<T, SynthesisError>,
        CS: ConstraintSystem<F>,
        T: Borrow<V>,
    { ... }

    fn alloc_input_checked<Fn, T, CS>(
        cs: CS, 
        f: Fn
    ) -> Result<Self, SynthesisError>
    where
        Fn: FnOnce() -> Result<T, SynthesisError>,
        CS: ConstraintSystem<F>,
        T: Borrow<V>,
    { ... }
}

Required methods

Provided methods

Implementations on Foreign Types

Implementors