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 -> InputForm

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

packageCall : (Symbol, List(InputForm)) -> InputForm

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

pretendOfType : InputForm -> InputForm

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