RDF.XSD.Facet behaviour (RDF.ex v0.8.2) View Source

A behaviour for XSD restriction facets.

Here's a list of all the RDF.XSD.Facets RDF.ex implements out-of-the-box:

XSD facetRDF.XSD.Facet
lengthRDF.XSD.Facets.Length
minLengthRDF.XSD.Facets.MinLength
maxLengthRDF.XSD.Facets.MaxLength
maxInclusiveRDF.XSD.Facets.MaxInclusive
maxExclusiveRDF.XSD.Facets.MaxExclusive
minInclusiveRDF.XSD.Facets.MinInclusive
minExclusiveRDF.XSD.Facets.MinExclusive
totalDigitsRDF.XSD.Facets.TotalDigits
fractionDigitsRDF.XSD.Facets.FractionDigits
explicitTimezoneRDF.XSD.Facets.ExplicitTimezone
patternRDF.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:

Primitive datatypeApplicable facets
stringRDF.XSD.Facets.Length, RDF.XSD.Facets.MaxLength, RDF.XSD.Facets.MinLength, RDF.XSD.Facets.Pattern
booleanRDF.XSD.Facets.Pattern
floatRDF.XSD.Facets.MaxExclusive, RDF.XSD.Facets.MaxInclusive, RDF.XSD.Facets.MinExclusive, RDF.XSD.Facets.MinInclusive, RDF.XSD.Facets.Pattern
doubleRDF.XSD.Facets.MaxExclusive, RDF.XSD.Facets.MaxInclusive, RDF.XSD.Facets.MinExclusive, RDF.XSD.Facets.MinInclusive, RDF.XSD.Facets.Pattern
decimalRDF.XSD.Facets.MaxExclusive, RDF.XSD.Facets.MaxInclusive, RDF.XSD.Facets.MinExclusive, RDF.XSD.Facets.MinInclusive, RDF.XSD.Facets.Pattern, RDF.XSD.Facets.TotalDigits, RDF.XSD.Facets.FractionDigits
decimalRDF.XSD.Facets.MaxExclusive, RDF.XSD.Facets.MaxInclusive, RDF.XSD.Facets.MinExclusive, RDF.XSD.Facets.MinInclusive, RDF.XSD.Facets.Pattern, RDF.XSD.Facets.TotalDigits
durationRDF.XSD.Facets.MaxExclusive, RDF.XSD.Facets.MaxInclusive, RDF.XSD.Facets.MinExclusive, RDF.XSD.Facets.MinInclusive, RDF.XSD.Facets.Pattern
dateTimeRDF.XSD.Facets.ExplicitTimezone, RDF.XSD.Facets.MaxExclusive, RDF.XSD.Facets.MaxInclusive, RDF.XSD.Facets.MinExclusive, RDF.XSD.Facets.MinInclusive, RDF.XSD.Facets.Pattern
timeRDF.XSD.Facets.ExplicitTimezone, RDF.XSD.Facets.MaxExclusive, RDF.XSD.Facets.MaxInclusive, RDF.XSD.Facets.MinExclusive, RDF.XSD.Facets.MinInclusive, RDF.XSD.Facets.Pattern
dateRDF.XSD.Facets.ExplicitTimezone, RDF.XSD.Facets.MaxExclusive, RDF.XSD.Facets.MaxInclusive, RDF.XSD.Facets.MinExclusive, RDF.XSD.Facets.MinInclusive, RDF.XSD.Facets.Pattern
anyURIRDF.XSD.Facets.Length, RDF.XSD.Facets.MaxLength, RDF.XSD.Facets.MinLength, RDF.XSD.Facets.Pattern

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

Link to this section Functions

Link to this macro

def_facet_constraint(facet, value)

View Source (macro)

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.