ModuleApply
function to apply when calling a module as if it were a command
Calling Sequence
Description
Examples
module() local ModuleApply, ...; ... end module;
module() export ModuleApply, ...; ... end module;
If a module has a member named ModuleApply, the module name can be used as if it were a procedure name. Calling M(args) invokes M:-ModuleApply(args).
There is no difference between making ModuleApply a local or export of the module when calling the procedure as M(args). It often makes more sense to make ModuleApply a local: that reinforces to the user of the module that they should use the M(args) rather than the M:-ModuleApply(args) calling sequence. This, in turn, leaves the programmer free to later change M back into a plain procedure without changing its user-facing behavior.
Maple's module data structure is close to the "class" concept in object oriented programming. Due to the dynamic nature of Maple, modules can also be used to represent "objects". One major difference between classes and objects are constructors. Constructors can be nicely emulated using generated modules. ModuleApply provides the ability to treat a module as a function and make it "apply-able".
Example (1)
m := module() local ModuleApply; ModuleApply := proc() print("m called with args: ", [args]); end proc; end module;
m ≔ modulelocalModuleApply;end module
m⁡1,2
m called with args: ,1,2
Example (2)
In this example, we create a generic function that can deal with objects that export an Evalf function.
MyEvalf := proc(f) if type(f,function) and type(op(0,f),`module`(Evalf)) then op(0,f):-Evalf(op(f)); else error "cannot evaluate %1", f; end if; end proc;
MyEvalf ≔ procfiftype⁡f,functionandtype⁡op⁡0,f,module⁡Evalfthenop⁡0,f:-Evalf⁡op⁡felseerrorcannot evaluate %1,fend ifend proc
Now, create an object that returns unevaluated under certain conditions. Teach the object how to behave in specific environments (like the environment of MyEvalf).
Sine := module() local ModuleApply; export Evalf; ModuleApply := proc(x) if type(x,float) then sin(x); else 'Sine'(x); end if; end proc; Evalf := proc(x) `evalf/sin`(x); end proc; end module;
Sine ≔ modulelocalModuleApply;exportEvalf;end module
With floating-point data, a number is returned, otherwise Sine returns unevaluated. This is achieved by calling the ModuleApply.
Sine⁡0.3
0.2955202067
Sine⁡3
Applying MyEvalf to the unevaluated response causes MyEvalf to dispatch to the object itself to compute the value.
MyEvalf⁡Sine⁡3
0.1411200081
The Cache module implements a ModuleApply function. Using Cache as a command creates a new cache table. For example:
Cache⁡128
See Also
evalapply
module
procedure
Download Help Document