Trait snarkvm_gadgets::traits::alloc::AllocGadget[−][src]

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

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

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

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

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

Required methods

Provided methods

Implementations on Foreign Types

Implementors