The type "Str8" is defined in /pliant/language/type/text/str8.pli module.


Field Type
content Str

Method name
Arguments
Result
characters
Name
s
  
Type
Str8
Address
Access
Ar
AwvR
len
Name
s
  
Type
Str8
Int
Access
Ar
AwvR
set
Name
s
adr
len
allocated
 
Type
Str8
Address
Int
CBool
Access
Arw
Arv
Arv
Arv

(Data Str8) -> Str8 implicit
Str -> Str8 reduction

Str8 -> Str extension