RDF.XSD.Facets.TotalDigits behaviour (RDF.ex v2.1.0)
View SourceRDF.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.
@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.