"use strict";
var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
    if (k2 === undefined) k2 = k;
    Object.defineProperty(o, k2, { enumerable: true, get: function() { return m[k]; } });
}) : (function(o, m, k, k2) {
    if (k2 === undefined) k2 = k;
    o[k2] = m[k];
}));
var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
    Object.defineProperty(o, "default", { enumerable: true, value: v });
}) : function(o, v) {
    o["default"] = v;
});
var __importStar = (this && this.__importStar) || function (mod) {
    if (mod && mod.__esModule) return mod;
    var result = {};
    if (mod != null) for (var k in mod) if (k !== "default" && Object.prototype.hasOwnProperty.call(mod, k)) __createBinding(result, mod, k);
    __setModuleDefault(result, mod);
    return result;
};
Object.defineProperty(exports, "__esModule", { value: true });
exports.Infix = exports.InfixTypeId = exports.Function_ = exports.FunctionTypeId = exports.Value = exports.ValueTypeId = exports.AssertionM = exports.AssertionMTypeId = void 0;
const tracing_1 = __importStar(require("../../Tracing"));
const fileName_1 = "(@effect-ts/system): _src/Testing/Render/definition.ts";
const L = __importStar(require("../../Collections/Immutable/List"));
exports.AssertionMTypeId = Symbol();
class AssertionM {
    constructor(assertion) {
        this.assertion = assertion;
        this._typeId = exports.AssertionMTypeId;
    }
    toString() {
        return this.assertion.toString();
    }
}
exports.AssertionM = AssertionM;
exports.ValueTypeId = Symbol();
class Value {
    constructor(value) {
        this.value = value;
        this._typeId = exports.ValueTypeId;
    }
    toString() {
        return this.value.toString();
    }
}
exports.Value = Value;
exports.FunctionTypeId = Symbol();
class Function_ {
    constructor(name, paramLists) {
        this.name = name;
        this.paramLists = paramLists;
        this._typeId = exports.FunctionTypeId;
    }
    toString() {
        const params = L.join_(L.map_(this.paramLists, (l) => L.join_(L.map_(l, (x) => x.toString()), ", ")), ", ");
        return `${this.name}(${params})`;
    }
}
exports.Function_ = Function_;
exports.InfixTypeId = Symbol();
class Infix {
    constructor(left, op, right) {
        this.left = left;
        this.op = op;
        this.right = right;
        this._typeId = exports.InfixTypeId;
    }
    toString() {
        return `(${this.left.toString()} ${this.op} ${this.right.toString()})`;
    }
}
exports.Infix = Infix;
//# sourceMappingURL=definition.js.map