js-slang/dist/tracer/builtins/lists.d.ts

Javascript-based implementations of Source, written in Typescript

import { StepperExpression } from '../nodes';
import { StepperFunctionApplication } from '../nodes/Expression/FunctionApplication';
import { StepperLiteral } from '../nodes/Expression/Literal';
export declare const listBuiltinFunctions: {
    pair: {
        definition: (args: StepperExpression[]) => StepperExpression;
        arity: number;
    };
    is_pair: {
        definition: (arg: StepperExpression[]) => StepperExpression;
        arity: number;
    };
    head: {
        definition: (args: StepperExpression[]) => StepperExpression;
        arity: number;
    };
    tail: {
        definition: (args: StepperExpression[]) => StepperExpression;
        arity: number;
    };
    is_null: {
        definition: (arg: StepperExpression[]) => StepperLiteral;
        arity: number;
    };
    is_list: {
        definition: (arg: StepperExpression[]) => StepperLiteral;
        arity: number;
    };
    draw_data: {
        definition: (args: StepperExpression[]) => StepperExpression;
        arity: number;
    };
    equal: {
        definition: (args: StepperExpression[]) => StepperFunctionApplication;
        arity: number;
    };
    list: {
        definition: (args: StepperExpression[]) => StepperExpression;
        arity: number;
    };
    length: {
        definition: (args: StepperExpression[]) => StepperExpression;
        arity: number;
    };
    $length: {
        definition: (args: StepperExpression[]) => StepperFunctionApplication;
        arity: number;
    };
    build_list: {
        definition: (args: StepperExpression[]) => StepperExpression;
        arity: number;
    };
    $build_list: {
        definition: (args: StepperExpression[]) => StepperExpression;
        arity: number;
    };
    for_each: {
        definition: (args: StepperExpression[]) => StepperExpression;
        arity: number;
    };
    list_to_string: {
        definition: (args: StepperExpression[]) => StepperExpression;
        arity: number;
    };
    $list_to_string: {
        definition: (args: StepperExpression[]) => StepperExpression;
        arity: number;
    };
    append: {
        definition: (args: StepperExpression[]) => StepperExpression;
        arity: number;
    };
    $append: {
        definition: (args: StepperExpression[]) => StepperExpression;
        arity: number;
    };
    reverse: {
        definition: (args: StepperExpression[]) => StepperExpression;
        arity: number;
    };
    $reverse: {
        definition: (args: StepperExpression[]) => StepperExpression;
        arity: number;
    };
    member: {
        definition: (args: StepperExpression[]) => StepperExpression;
        arity: number;
    };
    remove: {
        definition: (args: StepperExpression[]) => StepperExpression;
        arity: number;
    };
    $remove: {
        definition: (args: StepperExpression[]) => StepperExpression;
        arity: number;
    };
    remove_all: {
        definition: (args: StepperExpression[]) => StepperExpression;
        arity: number;
    };
    $remove_all: {
        definition: (args: StepperExpression[]) => StepperExpression;
        arity: number;
    };
    enum_list: {
        definition: (args: StepperExpression[]) => StepperExpression;
        arity: number;
    };
    $enum_list: {
        definition: (args: StepperExpression[]) => StepperExpression;
        arity: number;
    };
    list_ref: {
        definition: (args: StepperExpression[]) => StepperExpression;
        arity: number;
    };
    map: {
        definition: (args: StepperExpression[]) => StepperExpression;
        arity: number;
    };
    $map: {
        definition: (args: StepperExpression[]) => StepperExpression;
        arity: number;
    };
    filter: {
        definition: (args: StepperExpression[]) => StepperExpression;
        arity: number;
    };
    $filter: {
        definition: (args: StepperExpression[]) => StepperExpression;
        arity: number;
    };
    accumulate: {
        definition: (args: StepperExpression[]) => StepperExpression;
        arity: number;
    };
    $accumulate: {
        definition: (args: StepperExpression[]) => StepperExpression;
        arity: number;
    };
    display_list: {
        definition: (args: StepperExpression[]) => StepperExpression;
        arity: number;
    };
};