rdf_fusion_functions/scalar/terms/
is_numeric.rs

1use crate::scalar::dispatch::dispatch_unary_typed_value;
2use crate::scalar::sparql_op_impl::{
3    ScalarSparqlOpImpl, create_typed_value_sparql_op_impl,
4};
5use crate::scalar::{ScalarSparqlOp, ScalarSparqlOpSignature, SparqlOpArity};
6use rdf_fusion_encoding::typed_value::TypedValueEncoding;
7use rdf_fusion_extensions::functions::BuiltinName;
8use rdf_fusion_extensions::functions::FunctionName;
9use rdf_fusion_model::{ThinError, TypedValueRef};
10
11#[derive(Debug, Hash, PartialEq, Eq)]
12pub struct IsNumericSparqlOp;
13
14impl Default for IsNumericSparqlOp {
15    fn default() -> Self {
16        Self::new()
17    }
18}
19
20impl IsNumericSparqlOp {
21    const NAME: FunctionName = FunctionName::Builtin(BuiltinName::IsNumeric);
22
23    pub fn new() -> Self {
24        Self {}
25    }
26}
27
28impl ScalarSparqlOp for IsNumericSparqlOp {
29    fn name(&self) -> &FunctionName {
30        &Self::NAME
31    }
32
33    fn signature(&self) -> ScalarSparqlOpSignature {
34        ScalarSparqlOpSignature::default_with_arity(SparqlOpArity::Fixed(1))
35    }
36
37    fn typed_value_encoding_op(
38        &self,
39    ) -> Option<Box<dyn ScalarSparqlOpImpl<TypedValueEncoding>>> {
40        Some(create_typed_value_sparql_op_impl(|args| {
41            dispatch_unary_typed_value(
42                &args.args[0],
43                |value| {
44                    Ok(TypedValueRef::BooleanLiteral(
45                        matches!(value, TypedValueRef::NumericLiteral(_)).into(),
46                    ))
47                },
48                ThinError::expected,
49            )
50        }))
51    }
52}