View Source RDF.XSD.Facets.MaxInclusive behaviour (RDF.ex v2.0.1)
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
.