View Source RDF.XSD.Facets.TotalDigits behaviour (RDF.ex v1.0.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

Link to this section 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_constaint_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.

Link to this section Callbacks

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

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

Link to this callback

total_digits_conform?(facet_constaint_value, value, uncanonical_lexical)

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

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

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

Link to this section Functions

Link to this function

conform?(datatype, value, lexical)

View Source

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