14.5.41  Symbol_Path

The compiler Symbol_Path api defines access to functionality for manipulating lists of Symbol instances representing access chains like a::b::c.

The Symbol_Path api is implemented by the symbol_path package.

The Symbol_Path api source code is in src/lib/compiler/front/typer-stuff/basics/symbol-path.api.

The above information is manually maintained and may contain errors.

api {
    Symbol_Path  = SYMBOL_PATH List(symbol::Symbol );
    empty : Symbol_Path;
    null : Symbol_Path -> Bool;
    extend : (Symbol_Path , symbol::Symbol) -> Symbol_Path;
    prepend : (symbol::Symbol , Symbol_Path) -> Symbol_Path;
    append : (Symbol_Path , Symbol_Path) -> Symbol_Path;
    first : Symbol_Path -> symbol::Symbol;
    last : Symbol_Path -> symbol::Symbol;
    rest : Symbol_Path -> Symbol_Path;
    length : Symbol_Path -> Int;
    equal : (Symbol_Path , Symbol_Path) -> Bool;
    to_string : Symbol_Path -> String;};