Interface LangPrimitives

Language Primitives are particular identifiers used for the definition of basic language primitives. As different versions of Gobstones may use different sets of primitives, a field LanguageVariant provide a name that allows programs to indicate which variant to use for them.

It constitutes one of the elements of the WordsDef interface.

Language primitives are organized in three groups, Types, Data Constructors by Type, and Operations, following the categories of the Gobstones language.

  • Types give the particular identifiers to use for the name of primitive types. The definition of version 3.20 of the Gobstones Language prescribes seven primitive types, but only six of them require special keywords, and the last one, Event, is used only for organization of interactive programs and it is not a first class type.

  • DataConstructorsByType list the keywords used as constructors for the elements of variant types. For each of the types given in the previous group that have constructors, a group of keywords for them is given in this one. The constructors for events requires further explanation, as they have special organization.

    • Events are a mechanism to allow a program to react to some external situations -- precisely, external events. In Gobstones they can be used in interactive programs, where the event keywords are bound to particular fragments of code. The lists given here establish the particular identifiers used for these bindings. The standard Gobstones events are time related events for initialization and time passing and key press events. Key press events are treated a bit differently, and thus, provided as a separate group, in KeyEventElements.

  • Operations provide the keywords for primitive procedures, functions and operators, and are thus organized in those groups (with two groups for operators: regular symbolic operators and identifier operators). Primitive procedures and functions are expected to be identifiers (sequences of regular characters different from keywords), and they will be parsed as procedure or function calls in the language. Operators are expected to be symbolic identifiers (sequences of punctuation chars not containing punctuation symbolic keywords), and they will be parsed acording to the fixity declaration given in the declaration (infix or prefix, and with the corresponding association). The operators NOT, DIV, and MOD must be declared in some fixity level (NOT as Prefix, DIV and MOD as InfixL.

interface LangPrimitives {
    DataConstructorsByType: {
        Bool: {
            FALSE: string;
            TRUE: string;
        };
        Event: {
            KeyEventElements: KeyEventElements;
            TimedEvents: {
                TIMEIN: string;
                TIMEOUT: string;
            };
        };
    };
    LanguageVersion: string;
    Operations: {
        Functions: {
            BOOMFUNC: string;
            HEAD: string;
            HEADLOCAL: string;
            HEADLOCALALT: string;
            INIT: string;
            INITLOCAL: string;
            INITLOCALALT: string;
            ISEMPTY: string;
            ISEMPTYLOCAL: string;
            LAST: string;
            LASTLOCAL: string;
            LASTLOCALALT: string;
            LENGTH: string;
            LENGTHLOCAL: string;
            LENGTHLOCALALT: string;
            MAXBOOL: string;
            MINBOOL: string;
            NEXT: string;
            OPPOSITE: string;
            PREV: string;
            TAIL: string;
            TAILLOCAL: string;
            TAILLOCALALT: string;
        };
        IdOperators: {
            AND: string;
            DIV: string;
            MOD: string;
            NOT: string;
            OR: string;
        };
        Operators: [{
            fixity: "InfixR";
            ops: {
                OR: string;
            };
        }, {
            fixity: "InfixR";
            ops: {
                AND: string;
            };
        }, {
            fixity: "Prefix";
            ops: {
                NOT: string;
            };
        }, {
            fixity: "Infix";
            ops: {
                EQ: string;
                GE: string;
                GT: string;
                LE: string;
                LT: string;
                NE: string;
            };
        }, {
            fixity: "InfixR";
            ops: {
                CONCAT: string;
            };
        }, {
            fixity: "InfixL";
            ops: {
                MINUS: string;
                PLUS: string;
            };
        }];
        Procedures: {
            BOOMPROC: string;
            TYPECHECK: string;
        };
    };
    Types: {
        BOOL: string;
        EVENT: string;
        LIST: string;
        NUMBER: string;
        STRING: string;
        TUPLE: string;
    };
}

Properties

DataConstructorsByType LanguageVersion Operations Types

Properties

DataConstructorsByType

DataConstructorsByType: {
    Bool: {
        FALSE: string;
        TRUE: string;
    };
    Event: {
        KeyEventElements: KeyEventElements;
        TimedEvents: {
            TIMEIN: string;
            TIMEOUT: string;
        };
    };
}

Type declaration

  • Bool: {
        FALSE: string;
        TRUE: string;
    }
    • FALSE: string
    • TRUE: string
  • Event: {
        KeyEventElements: KeyEventElements;
        TimedEvents: {
            TIMEIN: string;
            TIMEOUT: string;
        };
    }
    • KeyEventElements: KeyEventElements
    • TimedEvents: {
          TIMEIN: string;
          TIMEOUT: string;
      }
      • TIMEIN: string
      • TIMEOUT: string

LanguageVersion

LanguageVersion: string

Operations

Operations: {
    Functions: {
        BOOMFUNC: string;
        HEAD: string;
        HEADLOCAL: string;
        HEADLOCALALT: string;
        INIT: string;
        INITLOCAL: string;
        INITLOCALALT: string;
        ISEMPTY: string;
        ISEMPTYLOCAL: string;
        LAST: string;
        LASTLOCAL: string;
        LASTLOCALALT: string;
        LENGTH: string;
        LENGTHLOCAL: string;
        LENGTHLOCALALT: string;
        MAXBOOL: string;
        MINBOOL: string;
        NEXT: string;
        OPPOSITE: string;
        PREV: string;
        TAIL: string;
        TAILLOCAL: string;
        TAILLOCALALT: string;
    };
    IdOperators: {
        AND: string;
        DIV: string;
        MOD: string;
        NOT: string;
        OR: string;
    };
    Operators: [{
        fixity: "InfixR";
        ops: {
            OR: string;
        };
    }, {
        fixity: "InfixR";
        ops: {
            AND: string;
        };
    }, {
        fixity: "Prefix";
        ops: {
            NOT: string;
        };
    }, {
        fixity: "Infix";
        ops: {
            EQ: string;
            GE: string;
            GT: string;
            LE: string;
            LT: string;
            NE: string;
        };
    }, {
        fixity: "InfixR";
        ops: {
            CONCAT: string;
        };
    }, {
        fixity: "InfixL";
        ops: {
            MINUS: string;
            PLUS: string;
        };
    }];
    Procedures: {
        BOOMPROC: string;
        TYPECHECK: string;
    };
}

Type declaration

  • Functions: {
        BOOMFUNC: string;
        HEAD: string;
        HEADLOCAL: string;
        HEADLOCALALT: string;
        INIT: string;
        INITLOCAL: string;
        INITLOCALALT: string;
        ISEMPTY: string;
        ISEMPTYLOCAL: string;
        LAST: string;
        LASTLOCAL: string;
        LASTLOCALALT: string;
        LENGTH: string;
        LENGTHLOCAL: string;
        LENGTHLOCALALT: string;
        MAXBOOL: string;
        MINBOOL: string;
        NEXT: string;
        OPPOSITE: string;
        PREV: string;
        TAIL: string;
        TAILLOCAL: string;
        TAILLOCALALT: string;
    }
    • BOOMFUNC: string
    • HEAD: string
    • HEADLOCAL: string
    • HEADLOCALALT: string
    • INIT: string
    • INITLOCAL: string
    • INITLOCALALT: string
    • ISEMPTY: string
    • ISEMPTYLOCAL: string
    • LAST: string
    • LASTLOCAL: string
    • LASTLOCALALT: string
    • LENGTH: string
    • LENGTHLOCAL: string
    • LENGTHLOCALALT: string
    • MAXBOOL: string
    • MINBOOL: string
    • NEXT: string
    • OPPOSITE: string
    • PREV: string
    • TAIL: string
    • TAILLOCAL: string
    • TAILLOCALALT: string
  • IdOperators: {
        AND: string;
        DIV: string;
        MOD: string;
        NOT: string;
        OR: string;
    }
    • AND: string
    • DIV: string
    • MOD: string
    • NOT: string
    • OR: string
  • Operators: [{
        fixity: "InfixR";
        ops: {
            OR: string;
        };
    }, {
        fixity: "InfixR";
        ops: {
            AND: string;
        };
    }, {
        fixity: "Prefix";
        ops: {
            NOT: string;
        };
    }, {
        fixity: "Infix";
        ops: {
            EQ: string;
            GE: string;
            GT: string;
            LE: string;
            LT: string;
            NE: string;
        };
    }, {
        fixity: "InfixR";
        ops: {
            CONCAT: string;
        };
    }, {
        fixity: "InfixL";
        ops: {
            MINUS: string;
            PLUS: string;
        };
    }]
  • Procedures: {
        BOOMPROC: string;
        TYPECHECK: string;
    }
    • BOOMPROC: string
    • TYPECHECK: string

Types

Types: {
    BOOL: string;
    EVENT: string;
    LIST: string;
    NUMBER: string;
    STRING: string;
    TUPLE: string;
}

Type declaration

  • BOOL: string
  • EVENT: string
  • LIST: string
  • NUMBER: string
  • STRING: string
  • TUPLE: string

Settings

Member Visibility

Theme

On This Page

DataConstructorsByTypeLanguageVersionOperationsTypes