Define 'apply_parameter' method on 'Project'

This commit is contained in:
KtorZ
2023-02-04 10:44:33 +01:00
parent 12f4768008
commit 592d3d7a1c
3 changed files with 42 additions and 8 deletions

View File

@@ -122,7 +122,12 @@ impl Validator<Schema> {
.unwrap(),
})
}
}
impl<T> Validator<T>
where
T: Clone,
{
pub fn apply(&mut self, arg: &Term<DeBruijn>) -> Result<(), Error> {
match self.parameters.split_first() {
None => Err(Error::NoParametersToApply),