RDF.XSD.Facets.TotalDigits behaviour (RDF.ex v2.1.0)

RDF.XSD.Facet for totalDigits.

totalDigits restricts the magnitude and arithmetic precision of values in the value spaces of decimal and datatypes derived from it.

Summary

total_digits()

Returns the value of this RDF.XSD.Facet on specific RDF.XSD.Datatype.

Validates if a value and lexical conforms with a concrete facet_constraint_value for this RDF.XSD.Facet.

Checks if a value and lexical conforms with the total_digits_conform?/3 implementation on the datatype RDF.XSD.Datatype.

@callback total_digits() :: pos_integer() | nil

Returns the value of this RDF.XSD.Facet on specific RDF.XSD.Datatype.

@callback total_digits_conform?(
  facet_constraint_value :: any(),
  value :: any(),
  RDF.XSD.Datatype.uncanonical_lexical()
) :: boolean()

Validates if a value and lexical conforms with a concrete facet_constraint_value for this RDF.XSD.Facet.

This function must be implemented on a RDF.XSD.Datatype using this RDF.XSD.Facet.

@spec conform?(RDF.XSD.Datatype.t(), any(), RDF.XSD.Datatype.uncanonical_lexical()) ::
  boolean()

Checks if a value and lexical conforms with the total_digits_conform?/3 implementation on the datatype RDF.XSD.Datatype.