L0 = <http://www.simantics.org/Layer0-1.1>

L0.Functions : L0.Library

// The logic of functionApplication assumes that the function is actually ExternalValue
// but it is not since it would prevent it from being converted with functionApplication
L0.Function <T L0.Value
    @L0.assert L0.ConvertsToValueWith L0.Functions.functionApplication

// External values
L0.Functions.entityLabel : L0.ExternalValue
L0.Functions.listResources : L0.ExternalValue    
L0.Functions.resourceAsValue : L0.ExternalValue    
L0.Functions.functionApplication : L0.ExternalValue
L0.Functions.computeExpression : L0.ExternalValue
L0.Functions.composedPropertyValue : L0.ExternalValue

L0.Functions.standardValueAccessor : L0.ExternalValue
  L0.HasValueType "ValueAccessor"
L0.Functions.standardChildDomainProperties : L0.ExternalValue
  L0.HasValueType "VariableMap"
L0.Functions.standardPropertyDomainProperties : L0.ExternalValue
  L0.HasValueType "VariableMap"
L0.Functions.standardChildDomainChildren : L0.ExternalValue
  L0.HasValueType "VariableMap"
L0.Functions.standardPropertyDomainChildren : L0.ExternalValue
  L0.HasValueType "VariableMap"
L0.Functions.methodsPropertyDomainProperties : L0.ExternalValue
  L0.HasValueType "VariableMap"
L0.Functions.standardClassifications : L0.Function
  L0.HasValueType "[String]"

L0.Functions.hasStandardResource : L0.Function
  L0.HasValueType "Resource"

L0.Functions.standardValidValue : L0.Function
  L0.HasValueType "Boolean"
L0.Functions.standardRequiredValue : L0.Function
  L0.HasValueType "Boolean"
L0.Functions.standardDefaultValue : L0.Function
  L0.HasValueType "Boolean"
L0.Functions.standardReadOnlyValue : L0.Function
  L0.HasValueType "Boolean"
L0.Functions.standardValidator : L0.Function
  L0.HasValueType "StringInputValidator"

// External values applied as functions
L0.Functions.numberInputValidator : L0.Function
L0.Functions.booleanInputValidator : L0.Function

// Validators
L0.Functions.relationValidator : L0.Function
L0.Functions.propertyValidator : L0.Function
L0.Functions.valueValidator : L0.Function
L0.Functions.uriValidator : L0.Function
L0.Functions.clusterValidator : L0.Function

L0.SCLModule <T L0.Entity
    >-- L0.SCLModule.definition --> L0.String <R L0.HasProperty : L0.TotalFunction
    @L0.assert L0.SCLModule.definition ""

L0.SCLScript <T L0.Entity
    >-- L0.SCLScript.definition --> L0.String <R L0.HasProperty : L0.TotalFunction
    @L0.assert L0.SCLScript.definition ""

L0.Ontology
    >-- L0.Ontology.defaultLocalName --> L0.String <R L0.HasProperty : L0.TotalFunction
    @L0.assert L0.Ontology.defaultLocalName ""

L0.entityReplacer ==> "Resource -> Resource -> <WriteGraph> ()" <R L0.HasProperty : L0.FunctionalRelation
    L0.HasDescription """Used for defining an SCL function that knows how to copy the contents from one entity instance to another when both instances are known to be of the same type.
The first resource parameter is the source entity that will be used to replace the target entity which is defined by the second resource parameter."""

L0.Functions.defaultInstantiateUnder : L0.Function
    L0.HasValueType "Resource -> Resource -> <WriteGraph> Resource"