next node: MethodEnvCompose,
prev node: ReflectionBuild,
up to node: User Subsystem : Reflections


MethodCompose

Signature of MethodCompose

List of Import References :
See Method

SIGNATURE MethodCompose[general, result]

SORT general result
/$ DYNAMIC [general] $/

IMPORT Method[general, result] ONLY method : SORT

The expression m :: n yields an expression that passes n to m as its only argument, which is expected to mean a default method. It is equivalent to straight application and is provided here only for the sake of uniformity.

FUN :: : (method -> method) ** method -> method

The expression (test, m) :: n yields a method that will invoke m(x) if test(x) is true, and n(x) else.

FUN :: : (general -> bool) ** (method -> general -> result) **
          method -> method


next node: MethodEnvCompose,
prev node: ReflectionBuild,
up to node: User Subsystem : Reflections