thaw-grammar/dist/types/languages/lambda-calculus/operators.d.ts

Implementations of the grammars of several programming languages, including LISP, Scheme, Prolog, and the Lambda Calculus.

import { ILCExpression } from './domain-object-model/interfaces/expression';
import { LCVariable } from './domain-object-model/variable';
export declare function createValueTrue(options?: {
    x?: string;
    y?: string;
}): ILCExpression;
export declare function createValueFalse(options?: {
    x?: string;
    y?: string;
}): ILCExpression;
export declare function createStatementLetUsage(vv: LCVariable, e1: ILCExpression, e2: ILCExpression): ILCExpression;
export declare function createOperatorIfUsage(condition: ILCExpression, thenPart: ILCExpression, elsePart: ILCExpression): ILCExpression;
export declare function createOperatorIf(options?: {
    b?: string;
    x?: string;
    y?: string;
}): ILCExpression;
export declare function createOperatorAndUsage(expr1: ILCExpression, expr2: ILCExpression): ILCExpression;
export declare function createOperatorAnd(options?: {
    p?: string;
    q?: string;
}): ILCExpression;
export declare function createOperatorOrUsage(expr1: ILCExpression, expr2: ILCExpression): ILCExpression;
export declare function createOperatorOr(options?: {
    p?: string;
    q?: string;
}): ILCExpression;
export declare function createOperatorIsZeroUsage(expr: ILCExpression, options?: {
    x?: string;
}): ILCExpression;
export declare function createOperatorIsZero(options?: {
    n?: string;
    x?: string;
}): ILCExpression;
export declare function createOperatorIncrementUsage(expr: ILCExpression, options?: {
    f?: string;
    x?: string;
}): ILCExpression;
export declare function createOperatorIncrement(options?: {
    n?: string;
    f?: string;
    x?: string;
}): ILCExpression;
export declare function createOperatorDecrementUsage(expr: ILCExpression, options?: {
    f?: string;
    x?: string;
}): ILCExpression;
export declare function createOperatorDecrement(options?: {
    n?: string;
    f?: string;
    x?: string;
}): ILCExpression;
export declare function createOperatorAddUsage(expr1: ILCExpression, expr2: ILCExpression, options?: {
    f?: string;
    x?: string;
}): ILCExpression;
export declare function createOperatorAdd(options?: {
    m?: string;
    n?: string;
    f?: string;
    x?: string;
}): ILCExpression;
export declare function createOperatorMultiplyUsage(expr1: ILCExpression, expr2: ILCExpression, options?: {
    f?: string;
}): ILCExpression;
export declare function createOperatorMultiply(options?: {
    m?: string;
    n?: string;
    f?: string;
}): ILCExpression;
export declare function createPairUsage(first: ILCExpression, second: ILCExpression, options?: {
    f?: string;
}): ILCExpression;
export declare function createFunctionCreatePair(options?: {
    f?: string;
    a?: string;
    b?: string;
}): ILCExpression;
export declare function createFunctionGetFirstOfPair(options?: {
    x?: string;
    y?: string;
}): ILCExpression;
export declare function createFunctionGetSecondOfPair(options?: {
    x?: string;
    y?: string;
}): ILCExpression;
export declare function lcaConsUsage(h: ILCExpression, t: ILCExpression, options?: {
    f?: string;
}): ILCExpression;
export declare function lcaCons(options?: {
    h?: string;
    t?: string;
    f?: string;
}): ILCExpression;
export declare function lcaCreateNil(options?: {
    f?: string;
    x?: string;
    y?: string;
}): ILCExpression;
export declare function booleanToLCBoolean(b: boolean): ILCExpression;
export declare function lcaIsNullUsage(ll: ILCExpression, options?: {
    h?: string;
    t?: string;
    x?: string;
    y?: string;
}): ILCExpression;
export declare function lcaIsNull(options?: {
    l?: string;
    h?: string;
    t?: string;
    x?: string;
    y?: string;
}): ILCExpression;
export declare function lcaHeadUsage(ll: ILCExpression, options?: {
    h?: string;
    t?: string;
}): ILCExpression;
export declare function lcaHead(options?: {
    l?: string;
    h?: string;
    t?: string;
}): ILCExpression;
export declare function lcaTailUsage(ll: ILCExpression, options?: {
    h?: string;
    t?: string;
}): ILCExpression;
export declare function lcaTail(options?: {
    l?: string;
    h?: string;
    t?: string;
}): ILCExpression;
export declare function lcaIsListUsage(ll: ILCExpression): ILCExpression;
export declare function lcaIsList(options?: {
    l?: string;
}): ILCExpression;
export declare function createCombinator(name: string): ILCExpression;
export declare function reducesToTrue(expr: ILCExpression): boolean;
export declare function reducesToFalse(expr: ILCExpression): boolean;
export declare function isList(expr: ILCExpression): boolean;
export declare function exprToString(l: ILCExpression): string;
export declare function listToString(l: ILCExpression): string;
//# sourceMappingURL=operators.d.ts.map