RDF.XSD.Facet behaviour (RDF.ex v0.9.0) View Source
A behaviour for XSD restriction facets.
Here's a list of all the RDF.XSD.Facet
s RDF.ex implements out-of-the-box:
XSD facet | RDF.XSD.Facet |
---|---|
length | RDF.XSD.Facets.Length |
minLength | RDF.XSD.Facets.MinLength |
maxLength | RDF.XSD.Facets.MaxLength |
maxInclusive | RDF.XSD.Facets.MaxInclusive |
maxExclusive | RDF.XSD.Facets.MaxExclusive |
minInclusive | RDF.XSD.Facets.MinInclusive |
minExclusive | RDF.XSD.Facets.MinExclusive |
totalDigits | RDF.XSD.Facets.TotalDigits |
fractionDigits | RDF.XSD.Facets.FractionDigits |
explicitTimezone | RDF.XSD.Facets.ExplicitTimezone |
pattern | RDF.XSD.Facets.Pattern |
whiteSpace | ❌ |
enumeration | ❌ |
assertions | ❌ |
Every RDF.XSD.Datatype.Primitive
defines a set of applicable constraining facets which are can
be used on derivations of this primitive or any of its existing derivations:
https://www.w3.org/TR/xmlschema11-2/datatypes.html#rf-facets
Link to this section Summary
Functions
Macro for the definition of concrete constraining value
for a RDF.XSD.Facet
on a RDF.XSD.Datatype
.
Callbacks
The name of a RDF.XSD.Facet
.
Link to this section Types
Specs
t() :: module()
Link to this section Functions
Macro for the definition of concrete constraining value
for a RDF.XSD.Facet
on a RDF.XSD.Datatype
.
Link to this section Callbacks
Specs
name() :: String.t()
The name of a RDF.XSD.Facet
.