assignment.rs
1 // Copyright (c) 2019-2025 Alpha-Delta Network Inc. 2 // This file is part of the deltavm library. 3 4 // Licensed under the Apache License, Version 2.0 (the "License"); 5 // you may not use this file except in compliance with the License. 6 // You may obtain a copy of the License at: 7 8 // http://www.apache.org/licenses/LICENSE-2.0 9 10 // Unless required by applicable law or agreed to in writing, software 11 // distributed under the License is distributed on an "AS IS" BASIS, 12 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 13 // See the License for the specific language governing permissions and 14 // limitations under the License. 15 16 use crate::r1cs::errors::SynthesisError; 17 18 pub trait Assignment<T> { 19 fn get(self) -> Result<T, SynthesisError>; 20 21 fn get_ref(&self) -> Result<&T, SynthesisError>; 22 } 23 24 impl<T> Assignment<T> for Option<T> { 25 fn get(self) -> Result<T, SynthesisError> { 26 match self { 27 Some(v) => Ok(v), 28 None => Err(SynthesisError::AssignmentMissing), 29 } 30 } 31 32 fn get_ref(&self) -> Result<&T, SynthesisError> { 33 match *self { 34 Some(ref v) => Ok(v), 35 None => Err(SynthesisError::AssignmentMissing), 36 } 37 } 38 }