org.openquark.cal.module.Cal.Core
Class CAL_Prelude.Functions

java.lang.Object
  org.openquark.cal.module.Cal.Core.CAL_Prelude.Functions

Enclosing class:

CAL_Prelude

public static final class CAL_Prelude.Functions
extends Object

This inner class (Functions) contains constants and methods related to binding to CAL functions in the Cal.Core.Prelude module.

Field Summary

static QualifiedName	abs Name binding for function: abs.
static QualifiedName	add Name binding for function: add.
static QualifiedName	and Name binding for function: and.
static QualifiedName	append Name binding for function: append.
static QualifiedName	apply Name binding for function: apply.
static QualifiedName	assert_ Name binding for function: assert.
static QualifiedName	asTypeOf Name binding for function: asTypeOf.
static QualifiedName	cast Name binding for function: cast.
static QualifiedName	ceiling Name binding for function: ceiling.
static QualifiedName	combineComparators Name binding for function: combineComparators.
static QualifiedName	comparatorToEqualityFunction Name binding for function: comparatorToEqualityFunction.
static QualifiedName	compare Name binding for function: compare.
static QualifiedName	compose Name binding for function: compose.
static QualifiedName	concat Name binding for function: concat.
static QualifiedName	const_ Name binding for function: const.
static QualifiedName	curry Name binding for function: curry.
static QualifiedName	deepSeq Name binding for function: deepSeq.
static QualifiedName	deepStrict Name binding for function: deepStrict.
static QualifiedName	divide Name binding for function: divide.
static QualifiedName	divMod Name binding for function: divMod.
static QualifiedName	doubleToString Name binding for function: doubleToString.
static QualifiedName	downFrom Name binding for function: downFrom.
static QualifiedName	eager Name binding for function: eager.
static QualifiedName	either Name binding for function: either.
static QualifiedName	empty Name binding for function: empty.
static QualifiedName	enumToInt Name binding for function: enumToInt.
static QualifiedName	equals Name binding for function: equals.
static QualifiedName	error Name binding for function: error.
static QualifiedName	evaluateCalFunction Name binding for function: evaluateCalFunction.
static QualifiedName	field1 Name binding for function: field1.
static QualifiedName	field2 Name binding for function: field2.
static QualifiedName	field3 Name binding for function: field3.
static QualifiedName	field4 Name binding for function: field4.
static QualifiedName	field5 Name binding for function: field5.
static QualifiedName	field6 Name binding for function: field6.
static QualifiedName	field7 Name binding for function: field7.
static QualifiedName	flip Name binding for function: flip.
static QualifiedName	floor Name binding for function: floor.
static QualifiedName	fromByte Name binding for function: fromByte.
static QualifiedName	fromDecimal Name binding for function: fromDecimal.
static QualifiedName	fromDouble Name binding for function: fromDouble.
static QualifiedName	fromFloat Name binding for function: fromFloat.
static QualifiedName	fromInt Name binding for function: fromInt.
static QualifiedName	fromInteger Name binding for function: fromInteger.
static QualifiedName	fromJust Name binding for function: fromJust.
static QualifiedName	fromLeft Name binding for function: fromLeft.
static QualifiedName	fromLong Name binding for function: fromLong.
static QualifiedName	fromMaybe Name binding for function: fromMaybe.
static QualifiedName	fromRight Name binding for function: fromRight.
static QualifiedName	fromShort Name binding for function: fromShort.
static QualifiedName	fst Name binding for function: fst.
static QualifiedName	greaterThan Name binding for function: greaterThan.
static QualifiedName	greaterThanEquals Name binding for function: greaterThanEquals.
static QualifiedName	id Name binding for function: id.
static QualifiedName	iff Name binding for function: iff.
static QualifiedName	induceComparator Name binding for function: induceComparator.
static QualifiedName	induceEqualityFunction Name binding for function: induceEqualityFunction.
static QualifiedName	input Name binding for function: input.
static QualifiedName	integerToString Name binding for function: integerToString.
static QualifiedName	intToEnum Name binding for function: intToEnum.
static QualifiedName	intToEnumChecked Name binding for function: intToEnumChecked.
static QualifiedName	intToOrdering Name binding for function: intToOrdering.
static QualifiedName	intToString Name binding for function: intToString.
static QualifiedName	isBooleanType Name binding for function: isBooleanType.
static QualifiedName	isCharType Name binding for function: isCharType.
static QualifiedName	isDoubleType Name binding for function: isDoubleType.
static QualifiedName	isEmpty Name binding for function: isEmpty.
static QualifiedName	isEven Name binding for function: isEven.
static QualifiedName	isFunctionType Name binding for function: isFunctionType.
static QualifiedName	isIntType Name binding for function: isIntType.
static QualifiedName	isJust Name binding for function: isJust.
static QualifiedName	isLeft Name binding for function: isLeft.
static QualifiedName	isListType Name binding for function: isListType.
static QualifiedName	isMaybeType Name binding for function: isMaybeType.
static QualifiedName	isNotANumber Name binding for function: isNotANumber.
static QualifiedName	isNothing Name binding for function: isNothing.
static QualifiedName	isOdd Name binding for function: isOdd.
static QualifiedName	isPreludeNumType Name binding for function: isPreludeNumType.
static QualifiedName	isRecordType Name binding for function: isRecordType.
static QualifiedName	isRight Name binding for function: isRight.
static QualifiedName	isStringType Name binding for function: isStringType.
static QualifiedName	lessThan Name binding for function: lessThan.
static QualifiedName	lessThanEquals Name binding for function: lessThanEquals.
static QualifiedName	listToMaybe Name binding for function: listToMaybe.
static QualifiedName	longToString Name binding for function: longToString.
static QualifiedName	makeCalFunction Name binding for function: makeCalFunction.
static QualifiedName	makeQuery Name binding for function: makeQuery.
static QualifiedName	makeTransform Name binding for function: makeTransform.
static QualifiedName	max Name binding for function: max.
static QualifiedName	maxBound Name binding for function: maxBound.
static QualifiedName	maybeApply Name binding for function: maybeApply.
static QualifiedName	maybeToList Name binding for function: maybeToList.
static QualifiedName	min Name binding for function: min.
static QualifiedName	minBound Name binding for function: minBound.
static QualifiedName	mod Name binding for function: mod.
static QualifiedName	multiply Name binding for function: multiply.
static QualifiedName	negate Name binding for function: negate.
static QualifiedName	negativeInfinity Name binding for function: negativeInfinity.
static QualifiedName	not Name binding for function: not.
static QualifiedName	notANumber Name binding for function: notANumber.
static QualifiedName	notEquals Name binding for function: notEquals.
static QualifiedName	nTypeArguments Name binding for function: nTypeArguments.
static QualifiedName	or Name binding for function: or.
static QualifiedName	orderingToInt Name binding for function: orderingToInt.
static QualifiedName	output Name binding for function: output.
static QualifiedName	outputCalValueStrict Name binding for function: outputCalValueStrict.
static QualifiedName	pair Name binding for function: pair.
static QualifiedName	positiveInfinity Name binding for function: positiveInfinity.
static QualifiedName	powerInteger Name binding for function: powerInteger.
static QualifiedName	remainder Name binding for function: remainder.
static QualifiedName	reverseComparator Name binding for function: reverseComparator.
static QualifiedName	round Name binding for function: round.
static QualifiedName	sameRootType Name binding for function: sameRootType.
static QualifiedName	seq Name binding for function: seq.
static QualifiedName	signum Name binding for function: signum.
static QualifiedName	snd Name binding for function: snd.
static QualifiedName	strict Name binding for function: strict.
static QualifiedName	strictTuple2 Name binding for function: strictTuple2.
static QualifiedName	strictTuple3 Name binding for function: strictTuple3.
static QualifiedName	strictTuple4 Name binding for function: strictTuple4.
static QualifiedName	strictTuple5 Name binding for function: strictTuple5.
static QualifiedName	strictTuple6 Name binding for function: strictTuple6.
static QualifiedName	strictTuple7 Name binding for function: strictTuple7.
static QualifiedName	stringToDecimal Name binding for function: stringToDecimal.
static QualifiedName	stringToDouble Name binding for function: stringToDouble.
static QualifiedName	stringToInt Name binding for function: stringToInt.
static QualifiedName	stringToInteger Name binding for function: stringToInteger.
static QualifiedName	stringToIntRadix Name binding for function: stringToIntRadix.
static QualifiedName	stringToLong Name binding for function: stringToLong.
static QualifiedName	stringToLongRadix Name binding for function: stringToLongRadix.
static QualifiedName	subtract Name binding for function: subtract.
static QualifiedName	testPreludeModule Name binding for function: testPreludeModule.
static QualifiedName	toByte Name binding for function: toByte.
static QualifiedName	toCalValue Name binding for function: toCalValue.
static QualifiedName	toDecimal Name binding for function: toDecimal.
static QualifiedName	toDouble Name binding for function: toDouble.
static QualifiedName	toFloat Name binding for function: toFloat.
static QualifiedName	toInt Name binding for function: toInt.
static QualifiedName	toInteger Name binding for function: toInteger.
static QualifiedName	toLong Name binding for function: toLong.
static QualifiedName	toShort Name binding for function: toShort.
static QualifiedName	triple Name binding for function: triple.
static QualifiedName	truncate Name binding for function: truncate.
static QualifiedName	tuple2 Name binding for function: tuple2.
static QualifiedName	tuple3 Name binding for function: tuple3.
static QualifiedName	tuple4 Name binding for function: tuple4.
static QualifiedName	tuple5 Name binding for function: tuple5.
static QualifiedName	tuple6 Name binding for function: tuple6.
static QualifiedName	tuple7 Name binding for function: tuple7.
static QualifiedName	typeArguments Name binding for function: typeArguments.
static QualifiedName	typeOf Name binding for function: typeOf.
static QualifiedName	typeRepToString Name binding for function: typeRepToString.
static QualifiedName	uncurry Name binding for function: uncurry.
static QualifiedName	undefined Name binding for function: undefined.
static QualifiedName	unsafeCoerce Name binding for function: unsafeCoerce.
static QualifiedName	unsafeFromCalValue Name binding for function: unsafeFromCalValue.
static QualifiedName	until Name binding for function: until.
static QualifiedName	upFrom Name binding for function: upFrom.
static QualifiedName	upFromThen Name binding for function: upFromThen.
static QualifiedName	upFromThenTo Name binding for function: upFromThenTo.
static QualifiedName	upFromTo Name binding for function: upFromTo.

Constructor Summary

CAL_Prelude.Functions()

Method Summary

static SourceModel.Expr	abs(SourceModel.Expr x) Returns the absolute value of the given number.
static SourceModel.Expr	add(SourceModel.Expr x, SourceModel.Expr y) Returns the sum of two numbers.
static SourceModel.Expr	and(boolean a, boolean b)
static SourceModel.Expr	and(SourceModel.Expr a, SourceModel.Expr b) Returns the result of a logical AND operation on the two arguments.
static SourceModel.Expr	append(SourceModel.Expr x, SourceModel.Expr y) Returns the concatenation of the two values.
static SourceModel.Expr	apply(SourceModel.Expr functionToApply, SourceModel.Expr argument) A function application function.
static SourceModel.Expr	assert_(boolean expr)
static SourceModel.Expr	assert_(SourceModel.Expr expr) Cal.Core.Prelude.assert evaluates the given expression.
static SourceModel.Expr	asTypeOf(SourceModel.Expr valueToReturn, SourceModel.Expr valueToIgnore) Cal.Core.Prelude.asTypeOf is a type-restricted version of Cal.Core.Prelude.const.
static SourceModel.Expr	cast(SourceModel.Expr x) Casts the argument value to the desired return type in a type-safe fashion.
static SourceModel.Expr	ceiling(double x)
static SourceModel.Expr	ceiling(SourceModel.Expr x) Returns the smallest integer greater than or equal to x.
static SourceModel.Expr	combineComparators(SourceModel.Expr comparator1, SourceModel.Expr comparator2, SourceModel.Expr x, SourceModel.Expr y) Combines two comparators to form a new comparator.
static SourceModel.Expr	comparatorToEqualityFunction(SourceModel.Expr comparator, SourceModel.Expr x, SourceModel.Expr y) Converts a comparator to an equality function.
static SourceModel.Expr	compare(SourceModel.Expr x, SourceModel.Expr y) Returns an Cal.Core.Prelude.Ordering based on how the first argument compares to the second argument.
static SourceModel.Expr	compose(SourceModel.Expr f, SourceModel.Expr g, SourceModel.Expr x) (compose f g) is the function composition of f with g.
static SourceModel.Expr	concat(SourceModel.Expr listOfValues) Returns the concatenation of the values in the specified list.
static SourceModel.Expr	const_(SourceModel.Expr valueToReturn, SourceModel.Expr valueToIgnore) A constant function.
static SourceModel.Expr	curry(SourceModel.Expr f, SourceModel.Expr x, SourceModel.Expr y) Converts a function of a single pair argument to a function accepting 2 input arguments.
static SourceModel.Expr	deepSeq(SourceModel.Expr arg_1, SourceModel.Expr arg_2) The Cal.Core.Prelude.deepSeq function is similar to the Cal.Core.Prelude.seq function, except that deepSeq x y evaluates the argument x to normal form (instead of weak head normal form).
static SourceModel.Expr	deepStrict(SourceModel.Expr f, SourceModel.Expr x) Strict function application.
static SourceModel.Expr	divide(SourceModel.Expr x, SourceModel.Expr y) Returns the result of dividing the first number by the second number.
static SourceModel.Expr	divMod(int x, int y)
static SourceModel.Expr	divMod(SourceModel.Expr x, SourceModel.Expr y) Simultaneous Cal.Core.Prelude.divide and Cal.Core.Prelude.remainder (or modulus) on Cal.Core.Prelude.Int values.
static SourceModel.Expr	doubleToString(double value)
static SourceModel.Expr	doubleToString(SourceModel.Expr value) Converts a Cal.Core.Prelude.Double value to its string representation.
static SourceModel.Expr	downFrom(SourceModel.Expr start) downFrom start creates the infinite list [start, start - 1, start - 2, ...]
static SourceModel.Expr	eager(SourceModel.Expr value) Cal.Core.Prelude.eager is used to force a strict evaluation of its argument to weak-head normal form.
static SourceModel.Expr	either(SourceModel.Expr leftFunction, SourceModel.Expr rightFunction, SourceModel.Expr eitherValue) Applies one of the two specified functions to a value encapsulated by an Cal.Core.Prelude.Either type.
static SourceModel.Expr	empty() Returns the empty value of the instance type.
static SourceModel.Expr	enumToInt(SourceModel.Expr enumValue) Converts a value of type Cal.Core.Prelude.IntEnum a => a to its canonical underlying representation as an Cal.Core.Prelude.Int.
static SourceModel.Expr	equals(SourceModel.Expr x, SourceModel.Expr y) Returns whether the two arguments are equal.
static SourceModel.Expr	error(SourceModel.Expr message) The Cal.Core.Prelude.error function will cause execution to stop immediately.
static SourceModel.Expr	error(String message)
static SourceModel.Expr	evaluateCalFunction(SourceModel.Expr func, SourceModel.Expr arg) evaluateCalFunction func arg evaluates the CAL function represented by func at the value arg.
static SourceModel.Expr	field1(SourceModel.Expr r) Extracts the first field of the specified tuple / the ordinal field #1 of the specified record.
static SourceModel.Expr	field2(SourceModel.Expr r) Extracts the second field of the specified tuple / the ordinal field #2 of the specified record.
static SourceModel.Expr	field3(SourceModel.Expr r) Extracts the third field of the specified tuple / the ordinal field #3 of the specified record.
static SourceModel.Expr	field4(SourceModel.Expr r) Extracts the fourth field of the specified tuple / the ordinal field #4 of the specified record.
static SourceModel.Expr	field5(SourceModel.Expr r) Extracts the fifth field of the specified tuple / the ordinal field #5 of the specified record.
static SourceModel.Expr	field6(SourceModel.Expr r) Extracts the sixth field of the specified tuple / the ordinal field #6 of the specified record.
static SourceModel.Expr	field7(SourceModel.Expr r) Extracts the seventh field of the specified tuple / the ordinal field #7 of the specified record.
static SourceModel.Expr	flip(SourceModel.Expr f, SourceModel.Expr x, SourceModel.Expr y) Cal.Core.Prelude.flip converts a function of 2 arguments to another function of 2 arguments that accepts its arguments in the opposite order.
static SourceModel.Expr