View Source RDF.XSD.Facets.MaxInclusive behaviour (RDF.ex v1.2.0)
RDF.XSD.Facet for maxInclusive.
maxInclusive is the inclusive upper bound of the value space for a datatype
with the ordered property.
The value of maxInclusive must be equal to some value in the value space of
the base type.
see https://www.w3.org/TR/xmlschema11-2/datatypes.html#rf-maxInclusive
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 max_inclusive_conform?/3 implementation on the datatype RDF.XSD.Datatype.
Callbacks
@callback max_inclusive() :: integer() | nil
Returns the value of this RDF.XSD.Facet on specific RDF.XSD.Datatype.
max_inclusive_conform?(facet_constraint_value, value, uncanonical_lexical)
View Source@callback max_inclusive_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 max_inclusive_conform?/3 implementation on the datatype RDF.XSD.Datatype.