ModuleApply - Maple Help
For the best experience, we recommend viewing online help using Google Chrome or Microsoft Edge.

Online Help

All Products    Maple    MapleSim


ModuleApply

function to apply when calling a module as if it were a command

 

Calling Sequence

Description

Examples

Calling Sequence

module() local ModuleApply, ...; ... end module;

module() export ModuleApply, ...; ... end module;

Description

• 

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".

Examples

Example (1)

m := module() local ModuleApply;
    ModuleApply := proc()
        print("m called with args: ", [args]);
    end proc;
end module;

mmodulelocalModuleApply;end module

(1)

m1,2

m called with args: ,1,2

(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;

MyEvalfprocfiftypef,functionandtypeop0,f,moduleEvalfthenop0,f:-Evalfopfelseerrorcannot evaluate %1,fend ifend proc

(3)

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;

SinemodulelocalModuleApply;exportEvalf;end module

(4)

With floating-point data, a number is returned, otherwise Sine returns unevaluated.  This is achieved by calling the ModuleApply.

Sine0.3

0.2955202067

(5)

Sine3

Sine3

(6)

Applying MyEvalf to the unevaluated response causes MyEvalf to dispatch to the object itself to compute the value.

MyEvalfSine3

0.1411200081

(7)

The Cache module implements a ModuleApply function. Using Cache as a command creates a new cache table. For example:

Cache128

Cache128

(8)

See Also

evalapply

module

procedure