Module Simantics/Layer0
This module is undocumented. This is a list of its definitions.
clusterValidator :: Resource -> <ReadGraph> [Resource]
Reports an issue if the cluster of the resource does not belong to a cluster
set, or belongs to a different one than its nearest owning cluster set.
This check only runs in a development build; in an ordinary one it always
reports nothing. Non-persistent, immutable and built-in resources are skipped.
propertyValidator :: Resource -> <ReadGraph> [Resource]
Reports an issue for each property of the resource whose value does not match
the value type the property requires.
relationValidator :: Resource -> <ReadGraph> [Resource]
Checks the statements made about the resource: that each predicate really is a
relation, that a functional relation is stated only once, and that the subject
and the object are instances of the domain and the range of the relation.
Reports one issue per violation.
uriValidator :: Resource -> <ReadGraph> [Resource]
Reports an issue if the resource is part of something that has a URI but does
not have a name of its own, which leaves it without a URI.
valueValidator :: Resource -> <ReadGraph> [Resource]
Reports an issue if the resource has a value without being a literal, or is a
literal without a value.
|