View Source RDF.XSD.Facets.TotalDigits behaviour (RDF.ex v1.2.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.
see https://www.w3.org/TR/xmlschema11-2/datatypes.html#rf-totalDigits
Summary
Callbacks
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.
Functions
Checks if a value and lexical conforms with the total_digits_conform?/3 implementation on the datatype RDF.XSD.Datatype.
Callbacks
@callback total_digits() :: pos_integer() | nil
Returns the value of this RDF.XSD.Facet on specific RDF.XSD.Datatype.
total_digits_conform?(facet_constraint_value, value, uncanonical_lexical)
View Source@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.
Functions
@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.