@helios-lang/compiler
Version:
Helios is a Domain Specific Language that compiles to Plutus-Core (i.e. Cardano on-chain validator scripts). Helios is a non-Haskell alternative to Plutus. With this library you can compile Helios scripts and build Cardano transactions, all you need to bu
51 lines • 1.52 kB
TypeScript
/**
* @typedef {import("@helios-lang/compiler-utils").Site} Site
* @typedef {import("@helios-lang/ir").SourceMappedStringI} SourceMappedStringI
* @typedef {import("../typecheck/index.js").DataType} DataType
* @typedef {import("../typecheck/index.js").EvalEntity} EvalEntity
*/
/**
* Map[...]...{... : ...} expression
* @internal
*/
export class MapLiteralExpr extends Expr {
/**
* @param {Site} site
* @param {Expr} keyTypeExpr
* @param {Expr} valueTypeExpr
* @param {[Expr, Expr][]} pairExprs
*/
constructor(site: Site, keyTypeExpr: Expr, valueTypeExpr: Expr, pairExprs: [Expr, Expr][]);
/**
* @private
* @readonly
* @type {Expr}
*/
private readonly _keyTypeExpr;
/**
* @private
* @readonly
* @type {Expr}
*/
private readonly _valueTypeExpr;
/**
* @private
* @readonly
* @type {[Expr, Expr][]}
*/
private readonly _pairExprs;
/**
* @type {DataType}
*/
get keyType(): import("../typecheck/common.js").DataType;
/**
* @type {DataType}
*/
get valueType(): import("../typecheck/common.js").DataType;
}
export type Site = import("@helios-lang/compiler-utils").Site;
export type SourceMappedStringI = import("@helios-lang/ir").SourceMappedStringI;
export type DataType = import("../typecheck/index.js").DataType;
export type EvalEntity = import("../typecheck/index.js").EvalEntity;
import { Expr } from "./Expr.js";
//# sourceMappingURL=MapLiteralExpr.d.ts.map