64345 |
SubMetaOb
|
( meta #start #end → meta' )
Gets a sub-meta. Does range checks.
|
643BD |
SubMetaOb1
|
( ob1..obi..obn #n #i #n #i → ob1..obi #n #i )
This function can be used to take the first i
objects of a meta, if you follow it with
SWAPDROP. Example:
:: %1 %2 %3 %4 %5 BINT5
BINT3 BINT5 BINT3
SubMetaOb1 ;
results in:
%1 %2 %3 #5 #3 |
5F996 |
(tailpsh)
|
( meta #n → meta1 meta2 )
Pushes n-1 last objects in meta to meta1.
|
28296 |
metatail
|
( ob1..obn-i..obn #i #n+1 → ob1..ob..obn-i #n-i obn-i+1..obn #i )
#n is the count of the objects in meta. Takes
the last #i elements of meta and creates a
new one. Example:
:: %1 %2 %3 %4 %5
BINT2 BINT6 metatail ;
Results:
%1 %2 %3 #3 %4 %5 #2 |
584B2 |
(MEQU?)
|
( meta1 meta2 → meta1 meta2 flag )
If the metas are equal (i.e., same count and
equal objects) returns TRUE.
|
5768A |
(ObInMeta?)
|
( meta ob → meta ob flag )
Returns TRUE if ob is equal to some ob in
meta.
|
55314 |
(?addinver:)
|
( meta&Nob → meta )
( meta → meta&1LAM )
If next object in the runstream is equal to
first object of meta, drops that object.
Otherwise, adds 1LAM to meta.
|
5540E |
(?addrever)
|
( meta&1LAM → meta&1LAM )
( meta → meta&1LAM )
Adds 1LAM to meta, if not already there.
|
5613D |
(?addsimir)
|
( meta meta → meta )
|
58715 |
(NoIdsInMeta?)
|
( meta → meta flag )
If meta has any ids, lams or secondaries
starting with CK0, returns FALSE.
|
5AD08 |
(dvars?)
|
( meta → meta flag )
Returns TRUE if meta contains any LAM dvar.
|
5670F |
(>dvars)
|
( meta1 meta2 → meta1&meta2' )
All ids in meta2 matching lam 'dvar contents
are changed to LAM_'dvar. (meta1 can be #0).
|
5AC86 |
(dvars>)
|
( meta → meta' )
Lam 'dvars: are changed to 1LAM)
|
50F60 |
(dropDROPf)
|
( ob meta → F )
|
57419 |
(DROP2dropf)
|
( meta1 meta2 ob → F )
|
57405 |
(2DROP2dropf)
|
( meta1 meta2 ob1 ob2 → F )
|
5551C |
(Repl0)
|
( meta → %0 #0 )
|
55535 |
(Repl1)
|
( meta → %1 #1 )
|
5554E |
(Repl-1)
|
( meta → %-1 #1 )
|
56183 |
(2Repl0)
|
( meta1 meta2 → %0 #1 )
|
561D8 |
(2Repl-1)
|
( meta1 meta2 → %-1 #1 )
|
5643A |
(DropRepl0)
|
( meta ob → %0 #1 )
|
5499F |
(Repl0ABND)
|
( meta → %0 )
|