The type "List_" is defined in /pliant/language/type/set/list.pli module.


Field Type
first (Pointer ListNode_)
last (Pointer ListNode_)

Method name
Arguments
Result
append
Name
l
n
  
Type
List_
ListNode_
Access
Arw
Arw
check
Name
l
  
Type
List_
Access
Ar
first
(/pliant/language/type/set/list.pli)
Name
 
  
Type
List_
(Pointer ListNode_)
Access
Arv
AwmC
insert_after
Name
l
p
n
 
Type
List_
ListNode_
ListNode_
Access
Arw
Arw
Arw
insert_before
Name
l
p
n
 
Type
List_
ListNode_
ListNode_
Access
Arw
Arw
Arw
last
(/pliant/language/type/set/list.pli)
Name
 
  
Type
List_
(Pointer ListNode_)
Access
Ar
AwmC
remove
Name
l
n
  
Type
List_
ListNode_
ListNode_
Access
Arw
Arw
AwmRW
reset
Name
l
valuetype
  
Type
List_
Type
Access
Aw
Ar
size
Name
l
  
Type
List_
Int
Access
Ar
AwvR

(Pointer List_) -> List_
(/pliant/language/basic/safe.pli)
implicit