Example List morph 002

 

 

Description

This example shows macro substitution using an alternative rule function {altRule} and alternative failure {altFailure} options.

 

Details

(defun foo(x) (cond ((and (= (length x) 2) (= x[0] add1:) (isNumber x[1])) (+ x[1] 1)) ((and (= (length x) 3) (= x[0] +:) (isNumber x[1]) (isNumber x[2])) (+ x[1] x[2])) (else _failure:))) (morph '(divi (+ (add1 34) 5) n) foo _failure:) Returns: #<Pair 123456>
(display #<Pair 123456>) Returns: (divi 40 n)

Notes and Hints

First morph sends the innermost proper sublist to foo => (foo '(add1 34))

The result of (foo '(add1 34)) => 35, is not the altFailure value _failure, so morph substitutes.

After substitution, the list appears as follows: '(divi (+ 35 5) n)

Next morph sends the next innermost proper sublist to foo => (foo '(+ 35 5))

The result of (foo '(+ 35 5) => 40, is not the altFailure value _failure, so morph substitutes.

After substitution, the list appears as follows: '(divi 40 n)

Next morph sends the next innermost proper sublist to foo => (foo '(divi 40 n))

The result of (foo '(divi 40 n) => _failure:, is the altFailure value _failure.

There are no more proper sublists, so the final morphed list appears as follows: '(divi 40 n)

 

Related Examples

Here are examples of the morph function at work.

List morph 001 List morph 002

 

Function Links

Here is the link to the current function used in this example.

morph

Here are a number of links to other related functions.

compile(#void) eval(#void) lisp(#void)

 

Argument Types

Here are the links to the data types of the arguments used in this example.

Pair List

Here are a number of links to examples having similar argument types.

BitVector isAtom 010 Dictionary isAtom 002 Directory isAtom 003 FltVector isAtom 005
IntVector isAtom 006 List associate 001 List c..r 001 List c..r 002
List car 001 List cdr 009 List compare 020 List compareEQ 020
List compareGE 020 List compareGT 020 List compareLE 020 List compareLT 020
List compareNE 020 List comparison 020 List compile 002 List copy 010
List count 007 List count 008 List eval 002 List eval 003
List inside 008 List isAtom 011 List isEqual 019 List isIdentical 018
List isInside 010 List isMember 009 List isObject 015 List isPair 002
List last 001 List length 015 List list 001 List makeQuotedList 001
List mapc 009 List member 009 List morph 001 List morph 002
List objectToList 001 List quote 001 List quote 002 List quote 003
List ref 028 List reverse 003 List setCar 002 List setCdr 011
List setLastCdr 011 List setq 025 List setq 026 List sizeof 022
List sort 018 List sort 019 Matrix isAtom 005 NumMatrix isAtom 012
NumVector isAtom 007 ObjVector isAtom 008 ObjectRepository isType 022 Pair append 011
Pair apply 009 Pair apply 010 Pair associate 001 Pair car 001
Pair compare 019 Pair compareEQ 019 Pair compareGE 019 Pair compareGT 019
Pair compareLE 019 Pair compareLT 019 Pair compareNE 019 Pair comparison 019
Pair cons 001 Pair copy 009 Pair count 006 Pair isAtom 010
Pair isEqual 018 Pair isIdentical 017 Pair isInside 009 Pair isMember 008
Pair isObject 014 Pair isPair 001 Pair isType 021 Pair length 014
Pair map 008 Pair mapc 008 Pair pair 001 Pair setCar 001
Pair sizeof 021 Pair type 023 PcodeVector isAtom 009 ShortVector isAtom 007
Structure isAtom 001 Vector isAtom 004

Analytic Information Server (AIS)

AIS Component Systems

  • Smartbase Engine
  • QT C++ Libraries
  • MySQL Relational Database
  • AIS Lisp Libraries
  • Rapid Analytic Demo IDE