@dallaylaen/ski-interpreter
    Preparing search index...

    Class Quest

    A combinator problem with a set of test cases for the proposed solution.

    const quest = new Quest({
       input: 'identity',
       cases: [
         ['identity x', 'x'],
       ],
       allow: 'SK',
       intro: 'Find a combinator that behaves like the identity function.',
    });
    quest.check('S K K'); // { pass: true, details: [...], ... }
    quest.check('K S');   // { pass: false, details: [...], ... }
    quest.check('K x');   // fail! internal variable x is not equal to free variable x,
                          //     despite having the same name.
    quest.check('I');     // fail! I not in the allowed list.
    Index

    Constructors

    constructor

    Properties

    cases engine engineFull env envFull id? input intro? meta? name? restrict Case Group

    Methods

    add addInput allowed check prepare show verify verifyMeta verifySolutions

    Constructors

    Properties

    cases: Case[]
    engine: Parser
    engineFull: Parser
    env: { [key: string]: Expr }
    envFull: { [key: string]: Expr }
    id?: string | number
    input: (InputSpec & { placeholder: FreeVar })[]
    intro?: string
    meta?: Record<string, unknown>
    name?: string
    restrict: { allow?: string; lambdas?: boolean; numbers?: boolean }
    Case: new (input: FreeVar[], options: AddCaseOptions) => Case
    Group: new (
        options: {
            content?: (QuestSpec | Quest)[];
            id?: string | number;
            intro?: string | string[];
            name?: string;
        },
    ) => {
        verify: (
            options: { date?: boolean; seen?: Set<string | number> },
        ) => { [key: string]: unknown };
    }

    Methods

    • Display allowed terms based on what engine thinks of this.env + this.restrict.allow

      Returns string

    • Statefully parse a list of strings into expressions or fancy aliases thereof.

      Parameters

      • ...input: string[]

      Returns { prepared: (FreeVar | Alias)[]; weight: number }

    • Parameters

      • options: {
            date?: boolean;
            seen?: Set<string | number>;
            solutions?: SelfCheck | { [key: string | number]: SelfCheck };
        }

      Returns { [key: string]: unknown } | null

    • Parameters

      • options: { date?: boolean } = {}

      Returns { [key: string]: unknown }

    Settings

    Member Visibility

    On This Page

    Constructors
    Properties
    Methods