The type "Index" is defined in /pliant/language/type/set/old_index.pli module.


Field Type
root (Pointer IndexNode)

Method name
Arguments
Result
balance
Name
index
  
Type
Index
Access
Arw
check
Name
index
  
Type
Index
Access
Ar
check
Name
index
node
  
Type
Index
IndexNode
Access
Ar
Ar
display_tree
Name
index
  
Type
Index
Access
Ar
first
Name
index
sample
  
Type
Index
Str
(Pointer Arrow)
Access
Ar
Ar
AwvR
first
Name
index
  
Type
Index
(Pointer Arrow)
Access
Ar
AwvR
from
Name
index
sample
  
Type
Index
Str
(Pointer Arrow)
Access
Ar
Ar
AwvR
insert
Name
index
key
data
  
Type
Index
Str
Address
(Pointer Arrow)
Access
Arw
Ar
Arv
AwvR
insert
Name
index
key
ahead
data
 
Type
Index
Str
CBool
Address
(Pointer Arrow)
Access
Arw
Ar
Arv
Arv
AwvR
last
Name
index
  
Type
Index
(Pointer Arrow)
Access
Ar
AwvR
move
Name
index
old
new
  
Type
Index
IndexNode
IndexNode
Access
Arw
Arw
Arw
next
Name
index
sample
cursor
  
Type
Index
Str
(Pointer Arrow)
(Pointer Arrow)
Access
Ar
Ar
Arv
AwvR
next
Name
index
cursor
  
Type
Index
(Pointer Arrow)
(Pointer Arrow)
Access
Ar
Arv
AwvR
previous
Name
index
cursor
  
Type
Index
(Pointer Arrow)
(Pointer Arrow)
Access
Ar
Arv
AwvR
remove
Name
index
label
data
  
Type
Index
Str
Address
Access
Arw
Ar
Arv
remove
Name
index
cursor
  
Type
Index
(Pointer Arrow)
(Pointer Arrow)
Access
Arw
Arv
AwvR
to
Name
index
sample
  
Type
Index
Str
(Pointer Arrow)
Access
Ar
Ar
AwvR