Vesta SDL Primitive Functions

Function Index by Category

• Functions on integers:
• _div(i1: int, i2: int): int
• _mod(i1: int, i2: int): int
• _min(i1: int, i2: int): int
• _max(i1: int, i2: int): int
• Functions on text:
• _length(t: text): int
• _elem(t: text, i: int): text
• _sub(t: text, start: int = 0, len: int = _length(t)): text
• _find(t: text, p: text, start: int = 0): int
• _findr(t: text, p: text, start: int = 0): int
• _findre(haystack: text, needle: text, start: int = 0): list(list(int)) [New]
• Functions on lists:
• _list1(v: any): list
• _head(l: list): any
• _tail(l: list): list
• _length(l: list): int
• _elem(l: list, i: int): any
• _append(l1: list, l2: list): list
• _sub(l: list, start: int = 0, len: int = _length(l)): list
• _map(f: function, l: list): list
• _par_map(f: function, l: list): list
• Functions on bindings:
• _bind1(n: text, v: any): binding
• _head(b: binding): binding
• _tail(b: binding): binding
• _length(b: binding): int
• _elem(b: binding, i: int): binding
• _n(b: binding): text
• _v(b: binding): any
• _defined(b: binding, name: text): bool
• _lookup(b: binding, name: text): any
• _append(b1: binding, b2: binding): binding
• _sub(b: binding, start: int = 0, len: int = _length(b)): binding
• _map(f: function, b: binding): binding
• _par_map(f: function, b: binding): binding
• Type manipulation functions:
• _type_of(v: any): text
• _same_type(v1: any, v2: any): bool
• _is_bool(v: any): bool
• _is_int(v:any): bool
• _is_text(v:any): bool
• _is_err(v:any): bool
• _is_list(v:any): bool
• _is_binding(v:any): bool
• _is_closure(v:any): bool
• Diagnostic functions:
• _assert(cond: bool, msg: any): bool
• _print(v: any, dependencies: int = 0, verbose: bool = FALSE): any
• Tool invocation function:

• _run_tool(
    platform:          text,
    command:           list(text),
    stdin:             text = "",
    stdout_treatment:  text = "report",
    stderr_treatment:  text = "report",
    status_treatment:  text = "report_nocache",
    signal_treatment:  text = "report_nocache",
    fp_content              = -2,
    wd:                text = ".WD",
    existing_writable: bool = FALSE): binding

• Special purpose functions:
• _model_name(m: function): text
• _fingerprint(v: any): text

Alphabetic Index

• _append(l1: list, l2: list): list
• _append(b1: binding, b2: binding): binding
• _assert(cond: bool, msg: any): bool
• _bind1(n: text, v: any): binding
• _defined(b: binding, name: text): bool
• _div(i1: int, i2: int): int
• _elem(t: text, i: int): text
• _elem(l: list, i: int): any
• _elem(b: binding, i: int): binding
• _find(t: text, p: text, start: int = 0): int
• _findr(t: text, p: text, start: int = 0): int
• _fingerprint(v: any): text
• _head(l: list): any
• _head(b: binding): binding
• _is_binding(v:any): bool
• _is_bool(v: any): bool
• _is_closure(v:any): bool
• _is_err(v:any): bool
• _is_int(v:any): bool
• _is_list(v:any): bool
• _is_text(v:any): bool
• _length(t: text): int
• _length(l: list): int
• _length(b: binding): int
• _list1(v: any): list
• _lookup(b: binding, name: text): any
• _map(f: function, l: list): list
• _map(f: function, b: binding): binding
• _max(i1: int, i2: int): int
• _min(i1: int, i2: int): int
• _mod(i1: int, i2: int): int
• _model_name(m: function): text
• _n(b: binding): text
• _par_map(f: function, l: list): list
• _par_map(f: function, b: binding): binding
• _print(v: any, dependencies: int = 0, verbose: bool = FALSE): any

• _run_tool(
    platform:          text,
    command:           list(text),
    stdin:             text = "",
    stdout_treatment:  text = "report",
    stderr_treatment:  text = "report",
    status_treatment:  text = "report_nocache",
    signal_treatment:  text = "report_nocache",
    fp_content              = -2,
    wd:                text = ".WD",
    existing_writable: bool = FALSE): binding

• _same_type(v1: any, v2: any): bool
• _sub(t: text, start: int = 0, len: int = _length(t)): text
• _sub(l: list, start: int = 0, len: int = _length(l)): list
• _sub(b: binding, start: int = 0, len: int = _length(b)): binding
• _tail(l: list): list
• _tail(b: binding): binding
• _type_of(v: any): text
• _v(b: binding): any