FUNCTIONS.json

{
	"http://ns.nuke24.net/TOGVM/Functions/BooleanNegate": {},
	"http://ns.nuke24.net/TOGVM/Functions/Exponentiate": {},
	"http://ns.nuke24.net/TOGVM/Functions/Multiply": {
		"argumentsAreHomogeneous": true,
		"notes": [
			"argumentsAreHomogeneous' means:",
			"- takes an arbitrarily long (0..*) list of arguments",
			"- each argument has the same role",
			"it does not necessarily mean commutative or associative"
		],
		"isCommutative": true,
		"isAssociative": true
	},
	"http://ns.nuke24.net/TOGVM/Functions/Divide": {},
	"http://ns.nuke24.net/TOGVM/Functions/FlooredDivisionModulo": {
		"arguments": [
			{
				"name": "dividend",
				"description": "value to be moduloed"
			},
			{
				"name": "divisor"
			}
		],
		"notes": [
			"Reduces the dividend modulo the divisor.",
			"'modulo' is not a verb, but programmers treat it like one,",
			"and 'FlooredDivisionReduceModulo' felt excessively wordy."
		]
	},
	"http://ns.nuke24.net/TOGVM/Functions/Add": {
		"argumentsAreHomogeneous": true,
		"isCommutative": true,
		"isAssociative": true
	},
	"http://ns.nuke24.net/TOGVM/Functions/Clamp": {
		"arguments": [
			{
				"description": "value to be clamped"
			},
			{
				"description": "minimum"
			},
			{
				"description": "maximum"
			}
		]
	},
	"http://ns.nuke24.net/TOGVM/Functions/Min": {
		"notes": [
			"Returns the lowest-value argument, or +infinity if no arguments are given",
			"Defined for numbers, or any other type that defines order."
		]
	},
	"http://ns.nuke24.net/TOGVM/Functions/Max": {
		"notes": [
			"Returns the highest-value argument, or -infinity if no arguments are given.",
			"Defined for numbers, or any other type that defines order."
		]
	},
	"http://ns.nuke24.net/TOGVM/Functions/Subtract": {},
	"http://ns.nuke24.net/TOGVM/Functions/ConstructArray": {
		"argumentsAreHomogeneous": true,
		"arguments": {
			"item": {
				"description": "An item to be included in the resulting array ('list', 'finite sequence', whatever)."
			}
		},
		"notes": {
			"Creates a sequence of items of any type."
		}
	},
	"http://ns.nuke24.net/TOGVM/Functions/Concatenate": {
		"argumentsAreHomogeneous": true,
		"notes": [
			"Concatenates several sequences of the same or compatible item types.",
			"e.g. strings, byte arrays, arrays of objects.",
			"Concatenating character and byte sequences results in a byte sequence.",
			"",
			"May (and should) be lazy to the point that a program that concatenates",
			"a bunch of strings and then outputs them would actually just output",
			"directly rather than actually build up anything in memory,",
			"and concatenating infinite sequences should not block."
		],
		"isAssociative": true
	},
	"http://ns.nuke24.net/TOGVM/Functions/IsGreaterThanOrEqualTo": {},
	"http://ns.nuke24.net/TOGVM/Functions/IsLesserThanOrEqualTo": {},
	"http://ns.nuke24.net/TOGVM/Functions/IsGreaterThan": {},
	"http://ns.nuke24.net/TOGVM/Functions/IsLesserThan": {},
	"http://ns.nuke24.net/TOGVM/Functions/AreNotEqual": {},
	"http://ns.nuke24.net/TOGVM/Functions/AreEqual": {},
	"http://ns.nuke24.net/TOGVM/Functions/IsNull": {},
	"http://ns.nuke24.net/TOGVM/Functions/And": {
		"argumentsAreHomogeneous": true,
		"isAssociative": true,
		"notes": [
			"Logical and.",
			"Arguments and return values are booleans."
		]
	},
	"http://ns.nuke24.net/TOGVM/Functions/Or": {
		"argumentsAreHomogeneous": true,
		"isAssociative": true
	},
	"http://ns.nuke24.net/TOGVM/Functions/Coalesce": {
		"argumentsAreHomogeneous": true,
		"isAssociative": true,
		"notes": [
			"Returns the value of the first non-null argument.",
			"Should be lazy."
		]
	},
	
	"http://ns.nuke24.net/TOGVM/Functions/InterpretData": {
		"arguments": [
			{
				"name": "data",
				"description": "The data that is to be interpreted somehow, to produce a conceptual value"
			},
			{
				"name": "datatype",
				"description": "The datatype, which is probably a URI reference, e.g. to http://www.w3.org/2001/XMLSchema#decimal"
			},
			{
				"name": "Datatypes",
				"description": "A list of datatypes, in decode order.  Alternative to 'datatype'"
			},
			{
				"name": "fragmentId",
				"description": "Optional (default is empty string) fragment identifier"
			}
		],
		"notes": [
			"Returns the a value based on the given 'lexical representation' ('data') and RDF (which borrows the concept from XML) 'datatype'.",
			"This is equivalent to an http://ns.nuke24.net/TOGVM/Expression/DataInterpretation expression",
			"or a TS34Encoded string,",
			"but is here for use in contexts (like active URIs) where function applications are representable",
			"but arbitrary TOGVM expressions are not.",
			"",
			"In contexts where multiple same-named arguments can be provided and have defined order,",
			"multiple 'datatype' arguments can be provided as an alternative to constructing a list,",
			"and passing it as 'datatypes', and in those cases it may even be acceptable for both",
			"'datatype' and 'datatypes' arguments to be provided -- the lists will simply be concatenated together.",
			"It is probably better not to rely on this, and certainly best to throw an error in cases",
			"where the order is at all ambiguous.",
			"",
			"For info on the 'datatype' concept, see:",
			"- http://infolab.stanford.edu/~melnik/rdf/datatyping/#s-p",
			"- https://www.w3.org/TR/rdf-primer/#rdfvalue"
		]
	}
}