InputFormFunctions1 R

mkfunc.spad line 191 [edit on github]

• R: Type

Tools for manipulating input forms.

atType: InputForm -> InputForm

atType(f) returns the input form corresponding to f@R

coerceToType: InputForm -> InputForm

coerceToType(f) returns the input form corresponding to f::R

getType: () -> InputForm

getType() returns the input form corresponding to R

interpret: InputForm -> R

interpret(f) passes f to the interpreter, and transforms the result into an object of type R.

packageCall: (Symbol, List InputForm) -> InputForm

packageCall(f, l) returns the input form corresponding to f(l.1, l.2, …)$R.

packageCall: Symbol -> InputForm

packageCall(f) returns the input form corresponding to f$R.

pretendOfType: InputForm -> InputForm

pretendOfType(f) returns the input form corresponding to f pretend R