Std.Intern
7 public declarations
- empty
Std.Intern.PoolA pool holding no text.
- intern
&Std.Intern.Pool -> Str -> (Std.Intern.Pool, Int)Preserve an existing ID or append the spelling and return the updated pool.
- internAll
&Std.Intern.Pool -> &Array[Str] -> (Std.Intern.Pool, Array[Int])Intern in input order, preserving one ID per input occurrence.
- lookup
&Std.Intern.Pool -> Str -> Option[Int]Look up a spelling and check that the indexed ID still names that spelling.
- Pool
A persistent, session-local spelling table. Thread returned pools forward.
- resolve
&Std.Intern.Pool -> Int -> Option[Str]Resolve a pool-local ID, refusing negative and out-of-range values.
- size
&Std.Intern.Pool -> IntHow many distinct pieces of text the pool holds.
