@helios-lang/effect 0.1.14 → 0.2.0

package/types/Cardano/Uplc/Cost.d.ts

@@ -0,0 +1,93 @@
+import { Schema } from "effect";
+import * as Bytes from "../../Codecs/Bytes.js";
+import * as Cbor from "../../Codecs/Cbor.js";
+import type { Builtin } from "./Builtins.js";
+export declare const Cost: Schema.Struct<{
+    cpu: typeof Schema.BigIntFromSelf;
+    mem: typeof Schema.BigIntFromSelf;
+}>;
+export type Cost = Schema.Schema.Type<typeof Cost>;
+export declare const decode: (bytes: Bytes.BytesLike) => Cbor.DecodeResult<Cost>;
+export declare function encode(cost: Cost): number[];
+export type Breakdown = {
+    [name: string]: Cost & {
+        count: number;
+    };
+};
+/**
+ * V1 has 166 cost-params, V2 has 175 cost-params, V3 has 251 cost-params
+ */
+declare const Params: Schema.filter<Schema.Array$<Schema.filter<Schema.filter<typeof Schema.Number>>>>;
+type Params = Schema.Schema.Type<typeof Params>;
+export interface Model {
+    readonly applyTerm: Cost;
+    readonly builtinTerm: Cost;
+    readonly caseTerm: Cost;
+    readonly constTerm: Cost;
+    readonly constrTerm: Cost;
+    readonly delayTerm: Cost;
+    readonly forceTerm: Cost;
+    readonly lambdaTerm: Cost;
+    readonly startupCost: Cost;
+    readonly varTerm: Cost;
+    readonly builtins: Record<string, (argSizes: number[]) => Cost>;
+}
+export declare function makeModel(params: Params, builtins: readonly Builtin[]): Model;
+type Function$ = (params: Params) => (argSizes: number[]) => bigint;
+export declare const Max: Function$;
+export declare const Min: Function$;
+export declare const Sum: Function$;
+export declare const Prod: Function$;
+export declare const Diff: (_params: Params) => (argSizes: number[]) => bigint;
+export declare const Constant: (constantId: number) => Function$;
+export declare const ConstantOffDiag: (constantId: number) => (makeOnDiag: Function$) => Function$;
+export declare const ConstantBelowDiag: (constantId: number) => (makeOnAboveDiag: Function$) => Function$;
+export declare const First: Function$;
+export declare const Second: Function$;
+export declare const Third: Function$;
+export declare const AtLeast: (minimumId: number) => (makeX: Function$) => Function$;
+export declare const Linear: (interceptId: number, slopeId: number) => (makeX: Function$) => Function$;
+export declare const QuadXY: (coefIds: {
+    c00: number;
+    c10: number;
+    c01: number;
+    c20: number;
+    c11: number;
+    c02: number;
+}) => Function$;
+export { type Function$ as Function };
+export declare class Tracker {
+    readonly model: Model;
+    cpu: bigint;
+    mem: bigint;
+    readonly breakdown: Breakdown;
+    /**
+     * @param model
+     */
+    constructor(model: Model);
+    /**
+     * @param key
+     * @param d
+     */
+    private incrCost;
+    incrApplyCost(): void;
+    incrBuiltinCost(): void;
+    incrCaseCost(): void;
+    incrConstCost(): void;
+    incrConstrCost(): void;
+    incrDelayCost(): void;
+    incrForceCost(): void;
+    incrLambdaCost(): void;
+    incrStartupCost(): void;
+    incrVarCost(): void;
+    /**
+     * @param name
+     * @param argSizes
+     */
+    incrArgSizesCost(name: string, argSizes: number[]): void;
+}
+export declare const PARAMS_V1_BABBAGE: number[];
+export declare const PARAMS_V1_CONWAY: number[];
+export declare const PARAMS_V2_BABBAGE: number[];
+export declare const PARAMS_V2_CONWAY: number[];
+//# sourceMappingURL=Cost.d.ts.map

package/types/Cardano/Uplc/Cost.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Cost.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Uplc/Cost.ts"],"names":[],"mappings":"AAAA,OAAO,EAAkB,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC/C,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAC5C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAA;AAE5C,eAAO,MAAM,IAAI;;;EAGf,CAAA;AAEF,MAAM,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,IAAI,CAAC,CAAA;AAElD,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,CAAC,SAAS,KAAG,IAAI,CAAC,YAAY,CAAC,IAAI,CAGnE,CAAA;AAEH,wBAAgB,MAAM,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM,EAAE,CAE3C;AAED,MAAM,MAAM,SAAS,GAAG;IACtB,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,GAAG;QAAE,KAAK,EAAE,MAAM,CAAA;KAAE,CAAA;CACzC,CAAA;AAID;;GAEG;AACH,QAAA,MAAM,MAAM,kFAAiD,CAAA;AAE7D,KAAK,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,MAAM,CAAC,CAAA;AAE/C,MAAM,WAAW,KAAK;IACpB,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAA;IACxB,QAAQ,CAAC,WAAW,EAAE,IAAI,CAAA;IAC1B,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAA;IACvB,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAA;IACxB,QAAQ,CAAC,UAAU,EAAE,IAAI,CAAA;IACzB,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAA;IACxB,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAA;IACxB,QAAQ,CAAC,UAAU,EAAE,IAAI,CAAA;IACzB,QAAQ,CAAC,WAAW,EAAE,IAAI,CAAA;IAC1B,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAA;IACtB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,IAAI,CAAC,CAAA;CAChE;AAMD,wBAAgB,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,OAAO,EAAE,GAAG,KAAK,CAwD7E;AAED,KAAK,SAAS,GAAG,CAAC,MAAM,EAAE,MAAM,KAAK,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,MAAM,CAAA;AAEnE,eAAO,MAAM,GAAG,EAAE,SAIjB,CAAA;AAED,eAAO,MAAM,GAAG,EAAE,SAMjB,CAAA;AAED,eAAO,MAAM,GAAG,EAAE,SAIjB,CAAA;AAED,eAAO,MAAM,IAAI,EAAE,SAIlB,CAAA;AAED,eAAO,MAAM,IAAI,GAAI,SAAS,MAAM,MAC1B,UAAU,MAAM,EAAE,WAY3B,CAAA;AAED,eAAO,MAAM,QAAQ,GAClB,YAAY,MAAM,KAAG,SAKrB,CAAA;AAEH,eAAO,MAAM,eAAe,GACzB,YAAY,MAAM,MAClB,YAAY,SAAS,KAAG,SAoBxB,CAAA;AAEH,eAAO,MAAM,iBAAiB,GAC3B,YAAY,MAAM,MAClB,iBAAiB,SAAS,KAAG,SAoB7B,CAAA;AAEH,eAAO,MAAM,KAAK,EAAE,SAUnB,CAAA;AAED,eAAO,MAAM,MAAM,EAAE,SAUpB,CAAA;AAED,eAAO,MAAM,KAAK,EAAE,SAUnB,CAAA;AAED,eAAO,MAAM,OAAO,GACjB,WAAW,MAAM,MACjB,OAAO,SAAS,KAAG,SAUnB,CAAA;AAEH,eAAO,MAAM,MAAM,GAChB,aAAa,MAAM,EAAE,SAAS,MAAM,MACpC,OAAO,SAAS,KAAG,SAYnB,CAAA;AAEH,eAAO,MAAM,MAAM,GAChB,SAAS;IACR,GAAG,EAAE,MAAM,CAAA;IACX,GAAG,EAAE,MAAM,CAAA;IACX,GAAG,EAAE,MAAM,CAAA;IACX,GAAG,EAAE,MAAM,CAAA;IACX,GAAG,EAAE,MAAM,CAAA;IACX,GAAG,EAAE,MAAM,CAAA;CACZ,KAAG,SAqBH,CAAA;AAEH,OAAO,EAAE,KAAK,SAAS,IAAI,QAAQ,EAAE,CAAA;AAErC,qBAAa,OAAO;IAClB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;IACrB,GAAG,EAAE,MAAM,CAAA;IACX,GAAG,EAAE,MAAM,CAAA;IACX,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAA;IAE7B;;OAEG;gBACS,KAAK,EAAE,KAAK;IAOxB;;;OAGG;IACH,OAAO,CAAC,QAAQ;IAiBhB,aAAa,IAAI,IAAI;IAIrB,eAAe,IAAI,IAAI;IAIvB,YAAY,IAAI,IAAI;IAIpB,aAAa,IAAI,IAAI;IAIrB,cAAc,IAAI,IAAI;IAItB,aAAa,IAAI,IAAI;IAIrB,aAAa,IAAI,IAAI;IAIrB,cAAc,IAAI,IAAI;IAItB,eAAe,IAAI,IAAI;IAIvB,WAAW,IAAI,IAAI;IAInB;;;OAGG;IACH,gBAAgB,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE;CAGlD;AAED,eAAO,MAAM,iBAAiB,EAAE,MAAM,EAuKrC,CAAA;AAED,eAAO,MAAM,gBAAgB,EAAE,MAAM,EAuKpC,CAAA;AAED,eAAO,MAAM,iBAAiB,EAAE,MAAM,EAgLrC,CAAA;AAED,eAAO,MAAM,gBAAgB,EAAE,MAAM,EAgLpC,CAAA"}

package/types/{Uplc → Cardano/Uplc}/Data.d.ts

@@ -1,6 +1,6 @@
 import { Schema } from "effect";
-import * as Bytes from "../internal/Bytes.js";
-import * as Cbor from "../Cbor.js";
+import * as Bytes from "../../Codecs/Bytes.js";
+import * as Cbor from "../../Codecs/Cbor.js";
 export declare const ByteArrayDataFromJSON: Schema.Struct<{
     bytes: Schema.Schema<Uint8Array<ArrayBufferLike>, string, never>;
 }>;
@@ -30,7 +30,7 @@ export type ListData = {
 export type ListDataJSON = {
     readonly list: ReadonlyArray<DataJSON>;
 };
-export declare function makeListData(items: Data[]): ListData;
+export declare function makeListData(items: readonly Data[]): ListData;
 export declare const MapDataFromJSON: Schema.Struct<{
     map: Schema.Array$<Schema.Struct<{
         k: Schema.suspend<Data, DataJSON, never>;
@@ -123,13 +123,14 @@ export type DataJSON = ByteArrayDataJSON | ConstrDataJSON | IntDataJSON | ListDa
  * @param bytes
  * @returns
  */
-export declare const decode: (bytes: Bytes.BytesLike) => Cbor.DecodeEffect<Data>;
+export declare const decode: (bytes: Bytes.BytesLike) => Cbor.DecodeResult<Data>;
 /**
  * Simple recursive CBOR encoder
  * @param data
  * @returns
  */
 export declare function encode(data: Data): number[];
+export declare function equals(a: Data, b: Data): boolean;
 export declare const NODE_MEM_SIZE = 4;
 /**
  * Simple recursive algorithm
@@ -142,13 +143,13 @@ export declare function memSize(data: Data): number;
  * @param bytes
  * @returns
  */
-export declare function calcBytesMemSize(bytes: string | readonly number[] | Uint8Array): number;
+export declare function memSizeOfByteArray(bytes: string | readonly number[] | Uint8Array): number;
 /**
  * Calculate the mem size of a integer (without the DATA_NODE overhead)
  * @param value
  * @returns
  */
-export declare function calcIntMemSize(value: bigint): number;
+export declare function memSizeOfInt(value: bigint): number;
 /**
  * Math.log2 truncates, but we need a rounding down version
  * @param x positive number
@@ -403,7 +404,7 @@ export declare const LiteralString: <T extends string>(value: T) => Schema.trans
     readonly fields: readonly Data[];
     readonly constructor: number;
 }, never>, Schema.Literal<[T]>, never>;
-declare const Array$: <ItemType>(itemSchema: Schema.Schema<ItemType, Schema.Schema.Encoded<typeof Data>>) => Schema.transformOrFail<Schema.SchemaClass<{
+declare const Array$: <ItemType, ContextType>(itemSchema: Schema.Schema<ItemType, Schema.Schema.Encoded<typeof Data>, ContextType>) => Schema.transformOrFail<Schema.SchemaClass<{
     readonly bytes: Uint8Array<ArrayBufferLike>;
 } | {
     readonly int: bigint;
@@ -445,9 +446,9 @@ declare const Array$: <ItemType>(itemSchema: Schema.Schema<ItemType, Schema.Sche
 } | {
     readonly fields: readonly Data[];
     readonly constructor: number;
-}, never>>, never>;
+}, ContextType>>, never>;
 export { Array$ as Array };
-export declare const PairArray: <KeyType, ValueType>(keySchema: Schema.Schema<KeyType, Schema.Schema.Encoded<typeof Data>>, valueSchema: Schema.Schema<ValueType, Schema.Schema.Encoded<typeof Data>>) => Schema.transformOrFail<Schema.SchemaClass<{
+export declare const PairArray: <KeyType, ValueType, KeyContextType, ValueContextType>(keySchema: Schema.Schema<KeyType, Schema.Schema.Encoded<typeof Data>, KeyContextType>, valueSchema: Schema.Schema<ValueType, Schema.Schema.Encoded<typeof Data>, ValueContextType>) => Schema.transformOrFail<Schema.SchemaClass<{
     readonly bytes: Uint8Array<ArrayBufferLike>;
 } | {
     readonly int: bigint;
@@ -489,7 +490,7 @@ export declare const PairArray: <KeyType, ValueType>(keySchema: Schema.Schema<Ke
 } | {
     readonly fields: readonly Data[];
     readonly constructor: number;
-}, never>, Schema.Schema<ValueType, {
+}, KeyContextType>, Schema.Schema<ValueType, {
     readonly bytes: Uint8Array<ArrayBufferLike>;
 } | {
     readonly int: bigint;
@@ -503,7 +504,7 @@ export declare const PairArray: <KeyType, ValueType>(keySchema: Schema.Schema<Ke
 } | {
     readonly fields: readonly Data[];
     readonly constructor: number;
-}, never>>>, never>;
+}, ValueContextType>>>, never>;
 export declare const Struct: <FieldTypes extends {
     [fieldName: string]: Schema.Schema<any, Data>;
 }>(fields: FieldTypes) => Schema.transformOrFail<Schema.SchemaClass<{
@@ -567,7 +568,7 @@ export declare const StructFromMap: <FieldTypes extends {
     readonly constructor: number;
 }, never>, Schema.Struct<FieldTypes>, never>;
 export declare const EnumVariant: <FieldTypes extends {
-    [fieldName: string]: Schema.Schema<any, Data>;
+    [fieldName: string]: Schema.Schema<any, Data, any>;
 }>(tag: number | bigint, fields: FieldTypes) => Schema.transformOrFail<Schema.SchemaClass<{
     readonly bytes: Uint8Array<ArrayBufferLike>;
 } | {
@@ -599,7 +600,7 @@ export declare const EnumVariant: <FieldTypes extends {
 }, never>, Schema.Struct<FieldTypes>, never>;
 type EnumUnionTypeInternal<VariantName, VariantTypes extends {
     [variantName: string]: {
-        [fieldName: string]: Schema.Schema<any, Data>;
+        [fieldName: string]: Schema.Schema<any, Data, any>;
     };
 }> = VariantName extends string ? {
     _tag: VariantName;
@@ -608,12 +609,145 @@ type EnumUnionTypeInternal<VariantName, VariantTypes extends {
 } : never;
 type EnumUnionType<VariantTypes extends {
     [variantName: string]: {
-        [fieldName: string]: Schema.Schema<any, Data>;
+        [fieldName: string]: Schema.Schema<any, Data, any>;
     };
 }> = EnumUnionTypeInternal<keyof VariantTypes, VariantTypes>;
 export declare const Enum: <VariantTypes extends {
     [variantName: string]: {
-        [fieldName: string]: Schema.Schema<any, Data>;
+        [fieldName: string]: Schema.Schema<any, Data, any>;
     };
 }>(variants: VariantTypes) => Schema.Schema<EnumUnionType<VariantTypes>, Data>;
+export declare const Bool: Schema.transform<Schema.Schema<({
+    _tag: "False";
+} & {}) | ({
+    _tag: "True";
+} & {}), Data, never>, typeof Schema.Boolean>;
+export declare const TimeRange: Schema.transform<Schema.transformOrFail<Schema.SchemaClass<{
+    readonly bytes: Uint8Array<ArrayBufferLike>;
+} | {
+    readonly int: bigint;
+} | {
+    readonly list: readonly Data[];
+} | {
+    readonly map: readonly {
+        readonly k: Data;
+        readonly v: Data;
+    }[];
+} | {
+    readonly fields: readonly Data[];
+    readonly constructor: number;
+}, {
+    readonly bytes: Uint8Array<ArrayBufferLike>;
+} | {
+    readonly int: bigint;
+} | {
+    readonly list: readonly Data[];
+} | {
+    readonly map: readonly {
+        readonly k: Data;
+        readonly v: Data;
+    }[];
+} | {
+    readonly fields: readonly Data[];
+    readonly constructor: number;
+}, never>, Schema.Struct<{
+    start: Schema.transformOrFail<Schema.SchemaClass<{
+        readonly bytes: Uint8Array<ArrayBufferLike>;
+    } | {
+        readonly int: bigint;
+    } | {
+        readonly list: readonly Data[];
+    } | {
+        readonly map: readonly {
+            readonly k: Data;
+            readonly v: Data;
+        }[];
+    } | {
+        readonly fields: readonly Data[];
+        readonly constructor: number;
+    }, {
+        readonly bytes: Uint8Array<ArrayBufferLike>;
+    } | {
+        readonly int: bigint;
+    } | {
+        readonly list: readonly Data[];
+    } | {
+        readonly map: readonly {
+            readonly k: Data;
+            readonly v: Data;
+        }[];
+    } | {
+        readonly fields: readonly Data[];
+        readonly constructor: number;
+    }, never>, Schema.Struct<{
+        startTime: Schema.transform<Schema.Schema<({
+            _tag: "NegativeInf";
+        } & {}) | ({
+            _tag: "Finite";
+        } & {
+            value: number;
+        }) | ({
+            _tag: "PositiveInf";
+        } & {}), Data, never>, typeof Schema.Number>;
+        includeStart: Schema.transform<Schema.Schema<({
+            _tag: "False";
+        } & {}) | ({
+            _tag: "True";
+        } & {}), Data, never>, typeof Schema.Boolean>;
+    }>, never>;
+    end: Schema.transformOrFail<Schema.SchemaClass<{
+        readonly bytes: Uint8Array<ArrayBufferLike>;
+    } | {
+        readonly int: bigint;
+    } | {
+        readonly list: readonly Data[];
+    } | {
+        readonly map: readonly {
+            readonly k: Data;
+            readonly v: Data;
+        }[];
+    } | {
+        readonly fields: readonly Data[];
+        readonly constructor: number;
+    }, {
+        readonly bytes: Uint8Array<ArrayBufferLike>;
+    } | {
+        readonly int: bigint;
+    } | {
+        readonly list: readonly Data[];
+    } | {
+        readonly map: readonly {
+            readonly k: Data;
+            readonly v: Data;
+        }[];
+    } | {
+        readonly fields: readonly Data[];
+        readonly constructor: number;
+    }, never>, Schema.Struct<{
+        endTime: Schema.transform<Schema.Schema<({
+            _tag: "NegativeInf";
+        } & {}) | ({
+            _tag: "Finite";
+        } & {
+            value: number;
+        }) | ({
+            _tag: "PositiveInf";
+        } & {}), Data, never>, typeof Schema.Number>;
+        includeEnd: Schema.transform<Schema.Schema<({
+            _tag: "False";
+        } & {}) | ({
+            _tag: "True";
+        } & {}), Data, never>, typeof Schema.Boolean>;
+    }>, never>;
+}>, never>, Schema.Struct<{
+    start: typeof Schema.Number;
+    end: typeof Schema.Number;
+}>>;
+export type TimeRange = Schema.Schema.Type<typeof TimeRange>;
+/**
+ * Simple recursive algorithm
+ * @param d
+ * @returns
+ */
+export declare function toString(d: Data): string;
 //# sourceMappingURL=Data.d.ts.map

package/types/Cardano/Uplc/Data.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Data.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Uplc/Data.ts"],"names":[],"mappings":"AAAA,OAAO,EAAyC,MAAM,EAAE,MAAM,QAAQ,CAAA;AACtE,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAO5C,eAAO,MAAM,qBAAqB;;EAEhC,CAAA;AAEF,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,qBAAqB,CAAC,CAAA;AAC5E,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC,MAAM,CAAC,OAAO,CACnD,OAAO,qBAAqB,CAC7B,CAAA;AAED,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,MAAM,GAAG,MAAM,EAAE,GAAG,UAAU,GACpC,aAAa,CAEf;AAED;;;;GAIG;AACH,eAAO,MAAM,eAAe;;EAE1B,CAAA;AAEF,MAAM,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,eAAe,CAAC,CAAA;AAChE,MAAM,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,eAAe,CAAC,CAAA;AAEvE,wBAAgB,WAAW,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,CAE3D;AAED,eAAO,MAAM,gBAAgB;;EAE3B,CAAA;AAEF;;GAEG;AACH,MAAM,MAAM,QAAQ,GAAG;IACrB,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC,IAAI,CAAC,CAAA;CACnC,CAAA;AAED,MAAM,MAAM,YAAY,GAAG;IACzB,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC,QAAQ,CAAC,CAAA;CACvC,CAAA;AAED,wBAAgB,YAAY,CAAC,KAAK,EAAE,SAAS,IAAI,EAAE,GAAG,QAAQ,CAI7D;AAED,eAAO,MAAM,eAAe;;;;;EAO1B,CAAA;AAEF;;GAEG;AACH,MAAM,MAAM,OAAO,GAAG;IACpB,QAAQ,CAAC,GAAG,EAAE,aAAa,CAAC;QAC1B,QAAQ,CAAC,CAAC,EAAE,IAAI,CAAA;QAChB,QAAQ,CAAC,CAAC,EAAE,IAAI,CAAA;KACjB,CAAC,CAAA;CACH,CAAA;AAED,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,GAAG,EAAE,aAAa,CAAC;QAC1B,QAAQ,CAAC,CAAC,EAAE,QAAQ,CAAA;QACpB,QAAQ,CAAC,CAAC,EAAE,QAAQ,CAAA;KACrB,CAAC,CAAA;CACH,CAAA;AAED,wBAAgB,WAAW,CAAC,OAAO,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,GAAG,OAAO,CAI5D;AAED,eAAO,MAAM,kBAAkB;;;EAG7B,CAAA;AAEF;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAC5B,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,IAAI,CAAC,CAAA;CACrC,CAAA;AAED,MAAM,MAAM,cAAc,GAAG;IAC3B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAC5B,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,QAAQ,CAAC,CAAA;CACzC,CAAA;AAED,wBAAgB,cAAc,CAC5B,GAAG,EAAE,MAAM,GAAG,MAAM,EACpB,MAAM,EAAE,IAAI,EAAE,GACb,UAAU,CAKZ;AAED,eAAO,MAAM,YAAY;;;;;;;;;;;;;;IAMxB,CAAA;AAED,eAAO,MAAM,IAAI;;;;;;;;;;;;;;;;;;;;;;;;;;;;SAAkC,CAAA;AAEnD;;GAEG;AACH,MAAM,MAAM,IAAI,GAAG,aAAa,GAAG,UAAU,GAAG,OAAO,GAAG,QAAQ,GAAG,OAAO,CAAA;AAE5E,MAAM,MAAM,QAAQ,GAChB,iBAAiB,GACjB,cAAc,GACd,WAAW,GACX,YAAY,GACZ,WAAW,CAAA;AAEf;;;;GAIG;AACH,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,CAAC,SAAS,KAAG,IAAI,CAAC,YAAY,CAAC,IAAI,CAgBrE,CAAA;AAED;;;;GAIG;AACH,wBAAgB,MAAM,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM,EAAE,CAc3C;AAED,wBAAgB,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,GAAG,OAAO,CA0BhD;AAED,eAAO,MAAM,aAAa,IAAI,CAAA;AAE9B;;;;GAIG;AACH,wBAAgB,OAAO,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM,CAoB1C;AAED;;;;GAIG;AACH,wBAAgB,kBAAkB,CAChC,KAAK,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,GAAG,UAAU,GAC7C,MAAM,CAQR;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,MAAM,UAQzC;AAED;;;;GAIG;AACH,wBAAgB,KAAK,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CASvC;AAED,QAAA,MAAM,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;+CAYX,CAAA;AAEF,OAAO,EAAE,OAAO,IAAI,MAAM,EAAE,CAAA;AAE5B,eAAO,MAAM,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;oCAoBd,CAAA;AAEF,eAAO,MAAM,IAAI,GAAI,WAAU,MAAU;;;;;;;;;;;;;;;;;;;;;;;;;;;;uCAsBxC,CAAA;AAED,eAAO,MAAM,SAAS;;;;;;;;;;;;;;;;;;;;;;;;;;;;mDAgBrB,CAAA;AAED,eAAO,MAAM,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;uCAkBd,CAAA;AAEF,eAAO,MAAM,MAAM,GAAI,QAAQ,EAC7B,YAAY,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,IAAI,CAAC,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBA2CrE,CAAA;AAEJ,QAAA,MAAM,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;uCAgBX,CAAA;AAEF,OAAO,EAAE,OAAO,IAAI,MAAM,EAAE,CAAA;AAE5B,eAAO,MAAM,aAAa,GAAI,CAAC,SAAS,MAAM,EAAE,OAAO,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;sCAyBvD,CAAA;AAED,QAAA,MAAM,MAAM,GAAI,QAAQ,EAAE,WAAW,EACnC,YAAY,MAAM,CAAC,MAAM,CACvB,QAAQ,EACR,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,IAAI,CAAC,EAClC,WAAW,CACZ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;wBAcC,CAAA;AAEJ,OAAO,EAAE,MAAM,IAAI,KAAK,EAAE,CAAA;AAE1B,eAAO,MAAM,SAAS,GAAI,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,gBAAgB,EAC5E,WAAW,MAAM,CAAC,MAAM,CACtB,OAAO,EACP,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,IAAI,CAAC,EAClC,cAAc,CACf,EACD,aAAa,MAAM,CAAC,MAAM,CACxB,SAAS,EACT,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,IAAI,CAAC,EAClC,gBAAgB,CACjB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8BAqBA,CAAA;AAEH,eAAO,MAAM,MAAM,GACjB,UAAU,SAAS;IAAE,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;CAAE,EAEpE,QAAQ,UAAU;;;;;;;;;;;;;;;;;;;;;;;;;;;;4CA6BhB,CAAA;AAEJ,eAAO,MAAM,aAAa,GACxB,UAAU,SAAS;IAAE,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;CAAE,EAEpE,QAAQ,UAAU;;;;;;;;;;;;;;;;;;;;;;;;;;;;4CAyChB,CAAA;AAEJ,eAAO,MAAM,WAAW,GACtB,UAAU,SAAS;IAAE,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,CAAA;CAAE,EAEzE,KAAK,MAAM,GAAG,MAAM,EACpB,QAAQ,UAAU;;;;;;;;;;;;;;;;;;;;;;;;;;;;4CA0ChB,CAAA;AAEJ,KAAK,qBAAqB,CACxB,WAAW,EACX,YAAY,SAAS;IACnB,CAAC,WAAW,EAAE,MAAM,GAAG;QACrB,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,CAAA;KACnD,CAAA;CACF,IACC,WAAW,SAAS,MAAM,GAC1B;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,GAAG;KACrB,SAAS,IAAI,MAAM,YAAY,CAAC,WAAW,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAChE,YAAY,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,CACrC;CACF,GACD,KAAK,CAAA;AACT,KAAK,aAAa,CAChB,YAAY,SAAS;IACnB,CAAC,WAAW,EAAE,MAAM,GAAG;QACrB,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,CAAA;KACnD,CAAA;CACF,IACC,qBAAqB,CAAC,MAAM,YAAY,EAAE,YAAY,CAAC,CAAA;AAqB3D,eAAO,MAAM,IAAI,GACf,YAAY,SAAS;IACnB,CAAC,WAAW,EAAE,MAAM,GAAG;QACrB,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,CAAA;KACnD,CAAA;CACF,EAED,UAAU,YAAY,KACrB,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,YAAY,CAAC,EAAE,IAAI,CAiF/C,CAAA;AAEH,eAAO,MAAM,IAAI;;;;6CAWhB,CAAA;AAkCD,eAAO,MAAM,SAAS;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoCrB,CAAA;AAED,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,SAAS,CAAC,CAAA;AAE5D;;;;GAIG;AACH,wBAAgB,QAAQ,CAAC,CAAC,EAAE,IAAI,UAmB/B"}

package/types/Cardano/Uplc/Script.d.ts

@@ -0,0 +1,87 @@
+import { Effect, Either, Schema } from "effect";
+import * as Bytes from "../../Codecs/Bytes.js";
+import * as Cbor from "../../Codecs/Cbor.js";
+import type { ValidatorHash } from "../Ledger/ValidatorHash.js";
+import * as Cek from "./Cek.js";
+import * as Term from "./Term.js";
+import * as Value from "./Value.js";
+export declare const Version: Schema.Union<[Schema.Literal<[1]>, Schema.Literal<[2]>, Schema.Literal<[3]>]>;
+export type Version = Schema.Schema.Type<typeof Version>;
+/**
+ * A Uplc.Script has:
+ *   - a version
+ *   - a root term
+ *   - an optional verbose root term (unoptimized, containing trace statement for debugging)
+ */
+export declare const Script: Schema.extend<Schema.Struct<{
+    /**
+     * `root` is the flat encoded root term (padded)
+     */
+    root: Schema.Schema<Uint8Array<ArrayBufferLike>, string, never>;
+    verbose: Schema.optional<Schema.Schema<Uint8Array<ArrayBufferLike>, string, never>>;
+}>, Schema.Struct<{
+    version: Schema.Union<[Schema.Literal<[1]>, Schema.Literal<[2]>, Schema.Literal<[3]>]>;
+}>>;
+export declare const ScriptV1: Schema.extend<Schema.Struct<{
+    /**
+     * `root` is the flat encoded root term (padded)
+     */
+    root: Schema.Schema<Uint8Array<ArrayBufferLike>, string, never>;
+    verbose: Schema.optional<Schema.Schema<Uint8Array<ArrayBufferLike>, string, never>>;
+}>, Schema.Struct<{
+    version: Schema.Literal<[1]>;
+}>>;
+export declare const ScriptV2: Schema.extend<Schema.Struct<{
+    /**
+     * `root` is the flat encoded root term (padded)
+     */
+    root: Schema.Schema<Uint8Array<ArrayBufferLike>, string, never>;
+    verbose: Schema.optional<Schema.Schema<Uint8Array<ArrayBufferLike>, string, never>>;
+}>, Schema.Struct<{
+    version: Schema.Literal<[2]>;
+}>>;
+export declare const ScriptV3: Schema.extend<Schema.Struct<{
+    /**
+     * `root` is the flat encoded root term (padded)
+     */
+    root: Schema.Schema<Uint8Array<ArrayBufferLike>, string, never>;
+    verbose: Schema.optional<Schema.Schema<Uint8Array<ArrayBufferLike>, string, never>>;
+}>, Schema.Struct<{
+    version: Schema.Literal<[3]>;
+}>>;
+export type Script<V extends Version = Version> = {
+    version: V;
+    root: Uint8Array;
+    verbose?: Uint8Array | undefined;
+};
+export declare const entryPoint: (script: Script) => Either.Either<Term.Term, Error>;
+export declare const decodeRoot: (bytes: Bytes.BytesLike) => Cbor.DecodeResult<{
+    uplcVersion: string;
+    root: Uint8Array;
+}>;
+export declare const decode: <V extends Version>(version: V) => (bytes: Bytes.BytesLike) => Cbor.DecodeResult<Script<V>>;
+export declare function encode(script: Script): number[];
+/**
+ * @param script
+ * @param args
+ * If undefined -> don't do anything
+ * If empty -> force term
+ * If non-empty -> apply consecutive const terms
+ * @param costParams
+ */
+declare const eval$: (script: Script, args: readonly Value.Value[] | undefined, costParams: readonly number[], logger?: Cek.Logger | undefined) => Effect.Effect<{
+    value: Either.Either<Cek.Value, {
+        error: string;
+        callSites: Cek.CallSite[];
+    }>;
+    cost: import("./Cost.js").Cost;
+    logs: {
+        message: string;
+        callSite?: Cek.CallSite | undefined;
+    }[];
+    breakdown: import("./Cost.js").Breakdown;
+}, Error, never>;
+export { eval$ as eval };
+export declare function hash(script: Script): ValidatorHash;
+export declare const isVersion: <V extends Version>(v: V) => (script: Script) => script is Script<V>;
+//# sourceMappingURL=Script.d.ts.map

package/types/Cardano/Uplc/Script.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Script.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Uplc/Script.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAY,MAAM,EAAE,MAAM,QAAQ,CAAA;AACzD,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAG5C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAA;AAE/D,OAAO,KAAK,GAAG,MAAM,UAAU,CAAA;AAC/B,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AACjC,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AAEnC,eAAO,MAAM,OAAO,+EAInB,CAAA;AAED,MAAM,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,OAAO,CAAC,CAAA;AAUxD;;;;;GAKG;AACH,eAAO,MAAM,MAAM;IAbjB;;OAEG;;;;;GAgBJ,CAAA;AAED,eAAO,MAAM,QAAQ;IApBnB;;OAEG;;;;;GAuBJ,CAAA;AAED,eAAO,MAAM,QAAQ;IA3BnB;;OAEG;;;;;GA8BJ,CAAA;AAED,eAAO,MAAM,QAAQ;IAlCnB;;OAEG;;;;;GAqCJ,CAAA;AAED,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,OAAO,GAAG,OAAO,IAAI;IAChD,OAAO,EAAE,CAAC,CAAA;IACV,IAAI,EAAE,UAAU,CAAA;IAChB,OAAO,CAAC,EAAE,UAAU,GAAG,SAAS,CAAA;CACjC,CAAA;AAED,eAAO,MAAM,UAAU,GAAI,QAAQ,MAAM,oCAOrC,CAAA;AAEJ,eAAO,MAAM,UAAU,GACrB,OAAO,KAAK,CAAC,SAAS,KACrB,IAAI,CAAC,YAAY,CAAC;IAAE,WAAW,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,UAAU,CAAA;CAAE,CAqB1D,CAAA;AAEJ,eAAO,MAAM,MAAM,GAChB,CAAC,SAAS,OAAO,EAAE,SAAS,CAAC,MAC7B,OAAO,KAAK,CAAC,SAAS,KAAG,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,CAgCjD,CAAA;AAEN,wBAAgB,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,EAAE,CAE/C;AAED;;;;;;;GAOG;AACH,QAAA,MAAM,KAAK,GACT,QAAQ,MAAM,EACd,MAAM,SAAS,KAAK,CAAC,KAAK,EAAE,GAAG,SAAS,EACxC,YAAY,SAAS,MAAM,EAAE,EAC7B,SAAQ,GAAG,CAAC,MAAM,GAAG,SAAqB;;;;;;;;gBA2C02L,CAAC;;;gBAhBn5L,CAAA;AAEJ,OAAO,EAAE,KAAK,IAAI,IAAI,EAAE,CAAA;AAExB,wBAAgB,IAAI,CAAC,MAAM,EAAE,MAAM,GAAG,aAAa,CAMlD;AAED,eAAO,MAAM,SAAS,GACnB,CAAC,SAAS,OAAO,EAAE,GAAG,CAAC,MACvB,QAAQ,MAAM,KAAG,MAAM,IAAI,MAAM,CAAC,CAAC,CACf,CAAA"}

package/types/Cardano/Uplc/ScriptContext.d.ts

@@ -0,0 +1,21 @@
+import { Effect } from "effect";
+import { type Tx } from "../Ledger/Tx.js";
+import * as Data from "./Data.js";
+export declare const makeArgs: (version: 1 | 2 | 3, tx: Tx, redeemerIndex: number) => Effect.Effect<{
+    data: {
+        readonly bytes: Uint8Array<ArrayBufferLike>;
+    } | {
+        readonly int: bigint;
+    } | {
+        readonly list: readonly Data.Data[];
+    } | {
+        readonly map: readonly {
+            readonly k: Data.Data;
+            readonly v: Data.Data;
+        }[];
+    } | {
+        readonly fields: readonly Data.Data[];
+        readonly constructor: number;
+    };
+}[], import("effect/ParseResult").ParseError, unknown>;
+//# sourceMappingURL=ScriptContext.d.ts.map

package/types/Cardano/Uplc/ScriptContext.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ScriptContext.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Uplc/ScriptContext.ts"],"names":[],"mappings":"AAAA,OAAO,EAAW,MAAM,EAAkB,MAAM,QAAQ,CAAA;AAexD,OAAO,EAAE,KAAK,EAAE,EAA8B,MAAM,iBAAiB,CAAA;AAerE,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AAGjC,eAAO,MAAM,QAAQ,GAAI,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,EAAE,eAAe,MAAM;;;;;;;;;;;;;;;;sDAUtE,CAAA"}