Property following functions to ontology SCL modules
The following functions should be automatically generated in all ontology SCL modules:
If R is a relation that is a subrelation of HasProperty and has either RequiredValueType T or HasRange is a Property with asserted HasValueType T:
R.value :: Browsable a => a -> <ReadGraph> T R.possibleValue :: Browsable a => a -> <ReadGraph> Maybe T R.setValue :: Browsable a => a -> T -> ()
The implementation should work also with types T that don't have bindings, but if the binding can be inferred, it should be given.
Any of these functions should not be generated if there is similarly named resource in the ontology.
Note that this ticket requires also some extensions to Browsable type class.
Rationale for this ticket is to improve type safety when working with literals either using Variable interface or direct access to Resources.
Edited by Hannu Niemistö