@helios-lang/effect 0.1.15 → 0.2.0

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

@@ -0,0 +1,454 @@
+import { Either, Schema } from "effect";
+import * as Flat from "../../Codecs/Flat.js";
+import * as Value from "./Value.js";
+export declare const SourceSpan: Schema.Struct<{
+    file: typeof Schema.String;
+    start: Schema.Struct<{
+        line: typeof Schema.Number;
+        column: typeof Schema.Number;
+    }>;
+    end: Schema.optional<Schema.Struct<{
+        line: typeof Schema.Number;
+        column: typeof Schema.Number;
+    }>>;
+}>;
+export type SourceSpan = Schema.Schema.Type<typeof SourceSpan>;
+export declare const Apply: Schema.TaggedStruct<"Apply", {
+    fn: Schema.suspend<Term, Term, never>;
+    arg: Schema.suspend<Term, Term, never>;
+    sourceSpan: Schema.optional<Schema.Struct<{
+        file: typeof Schema.String;
+        start: Schema.Struct<{
+            line: typeof Schema.Number;
+            column: typeof Schema.Number;
+        }>;
+        end: Schema.optional<Schema.Struct<{
+            line: typeof Schema.Number;
+            column: typeof Schema.Number;
+        }>>;
+    }>>;
+}>;
+export type Apply = {
+    _tag: "Apply";
+    fn: Term;
+    arg: Term;
+    sourceSpan?: SourceSpan | undefined;
+};
+declare const Builtin$: Schema.TaggedStruct<"Builtin", {
+    id: typeof Schema.Int;
+    name: Schema.optional<typeof Schema.String>;
+    sourceSpan: Schema.optional<Schema.Struct<{
+        file: typeof Schema.String;
+        start: Schema.Struct<{
+            line: typeof Schema.Number;
+            column: typeof Schema.Number;
+        }>;
+        end: Schema.optional<Schema.Struct<{
+            line: typeof Schema.Number;
+            column: typeof Schema.Number;
+        }>>;
+    }>>;
+}>;
+type Builtin$ = Schema.Schema.Type<typeof Builtin$>;
+export { Builtin$ as Builtin };
+export declare const Case: Schema.TaggedStruct<"Case", {
+    arg: Schema.suspend<Term, Term, never>;
+    cases: Schema.Array$<Schema.suspend<Term, Term, never>>;
+    sourceSpan: Schema.optional<Schema.Struct<{
+        file: typeof Schema.String;
+        start: Schema.Struct<{
+            line: typeof Schema.Number;
+            column: typeof Schema.Number;
+        }>;
+        end: Schema.optional<Schema.Struct<{
+            line: typeof Schema.Number;
+            column: typeof Schema.Number;
+        }>>;
+    }>>;
+}>;
+export type Case = {
+    _tag: "Case";
+    arg: Term;
+    cases: readonly Term[];
+    sourceSpan?: SourceSpan | undefined;
+};
+export declare const Const: Schema.TaggedStruct<"Const", {
+    value: Schema.Union<[typeof Schema.Boolean, typeof Schema.Uint8ArrayFromSelf, Schema.Struct<{
+        data: Schema.SchemaClass<{
+            readonly bytes: Uint8Array<ArrayBufferLike>;
+        } | {
+            readonly int: bigint;
+        } | {
+            readonly list: readonly import("./Data.js").Data[];
+        } | {
+            readonly map: readonly {
+                readonly k: import("./Data.js").Data;
+                readonly v: import("./Data.js").Data;
+            }[];
+        } | {
+            readonly fields: readonly import("./Data.js").Data[];
+            readonly constructor: number;
+        }, {
+            readonly bytes: Uint8Array<ArrayBufferLike>;
+        } | {
+            readonly int: bigint;
+        } | {
+            readonly list: readonly import("./Data.js").Data[];
+        } | {
+            readonly map: readonly {
+                readonly k: import("./Data.js").Data;
+                readonly v: import("./Data.js").Data;
+            }[];
+        } | {
+            readonly fields: readonly import("./Data.js").Data[];
+            readonly constructor: number;
+        }, never>;
+    }>, typeof Schema.BigIntFromSelf, Schema.Struct<{
+        itemType: Schema.SchemaClass<string & import("effect/Brand").Brand<"UplcType">, string & import("effect/Brand").Brand<"UplcType">, never>;
+        items: Schema.Array$<Schema.suspend<Value.Value, Value.Value, never>>;
+    }>, Schema.Struct<{
+        first: Schema.suspend<Value.Value, Value.Value, never>;
+        second: Schema.suspend<Value.Value, Value.Value, never>;
+    }>, typeof Schema.String, typeof Schema.Null, Schema.Struct<{
+        g1Element: Schema.Tuple<[typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf]>;
+    }>, Schema.Struct<{
+        g2Element: Schema.Tuple<[Schema.Tuple2<typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf>, Schema.Tuple2<typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf>, Schema.Tuple2<typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf>]>;
+    }>, Schema.Struct<{
+        mlResult: Schema.Tuple2<Schema.Tuple<[Schema.Tuple2<typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf>, Schema.Tuple2<typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf>, Schema.Tuple2<typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf>]>, Schema.Tuple<[Schema.Tuple2<typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf>, Schema.Tuple2<typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf>, Schema.Tuple2<typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf>]>>;
+    }>]>;
+    name: Schema.optional<typeof Schema.String>;
+    sourceSpan: Schema.optional<Schema.Struct<{
+        file: typeof Schema.String;
+        start: Schema.Struct<{
+            line: typeof Schema.Number;
+            column: typeof Schema.Number;
+        }>;
+        end: Schema.optional<Schema.Struct<{
+            line: typeof Schema.Number;
+            column: typeof Schema.Number;
+        }>>;
+    }>>;
+}>;
+export type Const = Schema.Schema.Type<typeof Const>;
+export declare const Constr: Schema.TaggedStruct<"Constr", {
+    tag: typeof Schema.Int;
+    args: Schema.Array$<Schema.suspend<Term, Term, never>>;
+    sourceSpan: Schema.optional<Schema.Struct<{
+        file: typeof Schema.String;
+        start: Schema.Struct<{
+            line: typeof Schema.Number;
+            column: typeof Schema.Number;
+        }>;
+        end: Schema.optional<Schema.Struct<{
+            line: typeof Schema.Number;
+            column: typeof Schema.Number;
+        }>>;
+    }>>;
+}>;
+export type Constr = {
+    _tag: "Constr";
+    tag: number;
+    args: readonly Term[];
+    sourceSpan?: SourceSpan | undefined;
+};
+export declare const Delay: Schema.TaggedStruct<"Delay", {
+    arg: Schema.suspend<Term, Term, never>;
+    sourceSpan: Schema.optional<Schema.Struct<{
+        file: typeof Schema.String;
+        start: Schema.Struct<{
+            line: typeof Schema.Number;
+            column: typeof Schema.Number;
+        }>;
+        end: Schema.optional<Schema.Struct<{
+            line: typeof Schema.Number;
+            column: typeof Schema.Number;
+        }>>;
+    }>>;
+}>;
+export type Delay = {
+    _tag: "Delay";
+    arg: Term;
+    sourceSpan?: SourceSpan | undefined;
+    name?: string | undefined;
+};
+declare const Error$: Schema.TaggedStruct<"Error", {
+    sourceSpan: Schema.optional<Schema.Struct<{
+        file: typeof Schema.String;
+        start: Schema.Struct<{
+            line: typeof Schema.Number;
+            column: typeof Schema.Number;
+        }>;
+        end: Schema.optional<Schema.Struct<{
+            line: typeof Schema.Number;
+            column: typeof Schema.Number;
+        }>>;
+    }>>;
+}>;
+type Error$ = Schema.Schema.Type<typeof Error$>;
+export { Error$ as Error };
+export declare const Force: Schema.TaggedStruct<"Force", {
+    arg: Schema.suspend<Term, Term, never>;
+    sourceSpan: Schema.optional<Schema.Struct<{
+        file: typeof Schema.String;
+        start: Schema.Struct<{
+            line: typeof Schema.Number;
+            column: typeof Schema.Number;
+        }>;
+        end: Schema.optional<Schema.Struct<{
+            line: typeof Schema.Number;
+            column: typeof Schema.Number;
+        }>>;
+    }>>;
+}>;
+export type Force = {
+    _tag: "Force";
+    arg: Term;
+    sourceSpan?: SourceSpan | undefined;
+};
+export declare const Lambda: Schema.TaggedStruct<"Lambda", {
+    body: Schema.suspend<Term, Term, never>;
+    argName: Schema.optional<typeof Schema.String>;
+    sourceSpan: Schema.optional<Schema.Struct<{
+        file: typeof Schema.String;
+        start: Schema.Struct<{
+            line: typeof Schema.Number;
+            column: typeof Schema.Number;
+        }>;
+        end: Schema.optional<Schema.Struct<{
+            line: typeof Schema.Number;
+            column: typeof Schema.Number;
+        }>>;
+    }>>;
+    name: Schema.optional<typeof Schema.String>;
+}>;
+export type Lambda = {
+    _tag: "Lambda";
+    body: Term;
+    argName?: string | undefined;
+    sourceSpan?: SourceSpan | undefined;
+    name?: string | undefined;
+};
+export declare const Var: Schema.TaggedStruct<"Var", {
+    index: typeof Schema.Int;
+    name: Schema.optional<typeof Schema.String>;
+    sourceSpan: Schema.optional<Schema.Struct<{
+        file: typeof Schema.String;
+        start: Schema.Struct<{
+            line: typeof Schema.Number;
+            column: typeof Schema.Number;
+        }>;
+        end: Schema.optional<Schema.Struct<{
+            line: typeof Schema.Number;
+            column: typeof Schema.Number;
+        }>>;
+    }>>;
+}>;
+export type Var = Schema.Schema.Type<typeof Var>;
+export declare const Term: Schema.Union<[Schema.TaggedStruct<"Apply", {
+    fn: Schema.suspend<Term, Term, never>;
+    arg: Schema.suspend<Term, Term, never>;
+    sourceSpan: Schema.optional<Schema.Struct<{
+        file: typeof Schema.String;
+        start: Schema.Struct<{
+            line: typeof Schema.Number;
+            column: typeof Schema.Number;
+        }>;
+        end: Schema.optional<Schema.Struct<{
+            line: typeof Schema.Number;
+            column: typeof Schema.Number;
+        }>>;
+    }>>;
+}>, Schema.TaggedStruct<"Builtin", {
+    id: typeof Schema.Int;
+    name: Schema.optional<typeof Schema.String>;
+    sourceSpan: Schema.optional<Schema.Struct<{
+        file: typeof Schema.String;
+        start: Schema.Struct<{
+            line: typeof Schema.Number;
+            column: typeof Schema.Number;
+        }>;
+        end: Schema.optional<Schema.Struct<{
+            line: typeof Schema.Number;
+            column: typeof Schema.Number;
+        }>>;
+    }>>;
+}>, Schema.TaggedStruct<"Case", {
+    arg: Schema.suspend<Term, Term, never>;
+    cases: Schema.Array$<Schema.suspend<Term, Term, never>>;
+    sourceSpan: Schema.optional<Schema.Struct<{
+        file: typeof Schema.String;
+        start: Schema.Struct<{
+            line: typeof Schema.Number;
+            column: typeof Schema.Number;
+        }>;
+        end: Schema.optional<Schema.Struct<{
+            line: typeof Schema.Number;
+            column: typeof Schema.Number;
+        }>>;
+    }>>;
+}>, Schema.TaggedStruct<"Const", {
+    value: Schema.Union<[typeof Schema.Boolean, typeof Schema.Uint8ArrayFromSelf, Schema.Struct<{
+        data: Schema.SchemaClass<{
+            readonly bytes: Uint8Array<ArrayBufferLike>;
+        } | {
+            readonly int: bigint;
+        } | {
+            readonly list: readonly import("./Data.js").Data[];
+        } | {
+            readonly map: readonly {
+                readonly k: import("./Data.js").Data;
+                readonly v: import("./Data.js").Data;
+            }[];
+        } | {
+            readonly fields: readonly import("./Data.js").Data[];
+            readonly constructor: number;
+        }, {
+            readonly bytes: Uint8Array<ArrayBufferLike>;
+        } | {
+            readonly int: bigint;
+        } | {
+            readonly list: readonly import("./Data.js").Data[];
+        } | {
+            readonly map: readonly {
+                readonly k: import("./Data.js").Data;
+                readonly v: import("./Data.js").Data;
+            }[];
+        } | {
+            readonly fields: readonly import("./Data.js").Data[];
+            readonly constructor: number;
+        }, never>;
+    }>, typeof Schema.BigIntFromSelf, Schema.Struct<{
+        itemType: Schema.SchemaClass<string & import("effect/Brand").Brand<"UplcType">, string & import("effect/Brand").Brand<"UplcType">, never>;
+        items: Schema.Array$<Schema.suspend<Value.Value, Value.Value, never>>;
+    }>, Schema.Struct<{
+        first: Schema.suspend<Value.Value, Value.Value, never>;
+        second: Schema.suspend<Value.Value, Value.Value, never>;
+    }>, typeof Schema.String, typeof Schema.Null, Schema.Struct<{
+        g1Element: Schema.Tuple<[typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf]>;
+    }>, Schema.Struct<{
+        g2Element: Schema.Tuple<[Schema.Tuple2<typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf>, Schema.Tuple2<typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf>, Schema.Tuple2<typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf>]>;
+    }>, Schema.Struct<{
+        mlResult: Schema.Tuple2<Schema.Tuple<[Schema.Tuple2<typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf>, Schema.Tuple2<typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf>, Schema.Tuple2<typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf>]>, Schema.Tuple<[Schema.Tuple2<typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf>, Schema.Tuple2<typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf>, Schema.Tuple2<typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf>]>>;
+    }>]>;
+    name: Schema.optional<typeof Schema.String>;
+    sourceSpan: Schema.optional<Schema.Struct<{
+        file: typeof Schema.String;
+        start: Schema.Struct<{
+            line: typeof Schema.Number;
+            column: typeof Schema.Number;
+        }>;
+        end: Schema.optional<Schema.Struct<{
+            line: typeof Schema.Number;
+            column: typeof Schema.Number;
+        }>>;
+    }>>;
+}>, Schema.TaggedStruct<"Constr", {
+    tag: typeof Schema.Int;
+    args: Schema.Array$<Schema.suspend<Term, Term, never>>;
+    sourceSpan: Schema.optional<Schema.Struct<{
+        file: typeof Schema.String;
+        start: Schema.Struct<{
+            line: typeof Schema.Number;
+            column: typeof Schema.Number;
+        }>;
+        end: Schema.optional<Schema.Struct<{
+            line: typeof Schema.Number;
+            column: typeof Schema.Number;
+        }>>;
+    }>>;
+}>, Schema.TaggedStruct<"Delay", {
+    arg: Schema.suspend<Term, Term, never>;
+    sourceSpan: Schema.optional<Schema.Struct<{
+        file: typeof Schema.String;
+        start: Schema.Struct<{
+            line: typeof Schema.Number;
+            column: typeof Schema.Number;
+        }>;
+        end: Schema.optional<Schema.Struct<{
+            line: typeof Schema.Number;
+            column: typeof Schema.Number;
+        }>>;
+    }>>;
+}>, Schema.TaggedStruct<"Error", {
+    sourceSpan: Schema.optional<Schema.Struct<{
+        file: typeof Schema.String;
+        start: Schema.Struct<{
+            line: typeof Schema.Number;
+            column: typeof Schema.Number;
+        }>;
+        end: Schema.optional<Schema.Struct<{
+            line: typeof Schema.Number;
+            column: typeof Schema.Number;
+        }>>;
+    }>>;
+}>, Schema.TaggedStruct<"Force", {
+    arg: Schema.suspend<Term, Term, never>;
+    sourceSpan: Schema.optional<Schema.Struct<{
+        file: typeof Schema.String;
+        start: Schema.Struct<{
+            line: typeof Schema.Number;
+            column: typeof Schema.Number;
+        }>;
+        end: Schema.optional<Schema.Struct<{
+            line: typeof Schema.Number;
+            column: typeof Schema.Number;
+        }>>;
+    }>>;
+}>, Schema.TaggedStruct<"Lambda", {
+    body: Schema.suspend<Term, Term, never>;
+    argName: Schema.optional<typeof Schema.String>;
+    sourceSpan: Schema.optional<Schema.Struct<{
+        file: typeof Schema.String;
+        start: Schema.Struct<{
+            line: typeof Schema.Number;
+            column: typeof Schema.Number;
+        }>;
+        end: Schema.optional<Schema.Struct<{
+            line: typeof Schema.Number;
+            column: typeof Schema.Number;
+        }>>;
+    }>>;
+    name: Schema.optional<typeof Schema.String>;
+}>, Schema.TaggedStruct<"Var", {
+    index: typeof Schema.Int;
+    name: Schema.optional<typeof Schema.String>;
+    sourceSpan: Schema.optional<Schema.Struct<{
+        file: typeof Schema.String;
+        start: Schema.Struct<{
+            line: typeof Schema.Number;
+            column: typeof Schema.Number;
+        }>;
+        end: Schema.optional<Schema.Struct<{
+            line: typeof Schema.Number;
+            column: typeof Schema.Number;
+        }>>;
+    }>>;
+}>]>;
+export type Term = Apply | Builtin$ | Case | Const | Constr | Delay | Error$ | Force | Lambda | Var;
+/**
+ * Simple recursive algorithm that calculates the number of bits of the flat encoded term
+ * @param term
+ * @returns
+ */
+export declare function flatSize(term: Term): number;
+export declare function flatTag(term: Term): number;
+/**
+ * Reads a single Term using stack-based algorithm for its children
+ * @param param0
+ * @returns
+ */
+export declare const decode: ({ builtinName }: {
+    builtinName?: (id: number) => string | undefined;
+}) => (r: Flat.Reader) => Either.Either<Term, Error>;
+/**
+ * Mutates the Flat.Writer
+ * @param w
+ */
+export declare const encode: (w: Flat.Writer) => (term: Term) => void;
+/**
+ * Simple recursive algorithm the generates the textual UPLC representation
+ * @param term
+ * @returns
+ */
+export declare function toString(term: Term): string;
+//# sourceMappingURL=Term.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Term.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Uplc/Term.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACvC,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAE5C,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AAEnC,eAAO,MAAM,UAAU;;;;;;;;;;EAYrB,CAAA;AAEF,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,UAAU,CAAC,CAAA;AAI9D,eAAO,MAAM,KAAK;;;;;;;;;;;;;;EAIhB,CAAA;AAEF,MAAM,MAAM,KAAK,GAAG;IAClB,IAAI,EAAE,OAAO,CAAA;IACb,EAAE,EAAE,IAAI,CAAA;IACR,GAAG,EAAE,IAAI,CAAA;IACT,UAAU,CAAC,EAAE,UAAU,GAAG,SAAS,CAAA;CACpC,CAAA;AAED,QAAA,MAAM,QAAQ;;;;;;;;;;;;;;EAIZ,CAAA;AAEF,KAAK,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,QAAQ,CAAC,CAAA;AAEnD,OAAO,EAAE,QAAQ,IAAI,OAAO,EAAE,CAAA;AAE9B,eAAO,MAAM,IAAI;;;;;;;;;;;;;;EAIf,CAAA;AAEF,MAAM,MAAM,IAAI,GAAG;IACjB,IAAI,EAAE,MAAM,CAAA;IACZ,GAAG,EAAE,IAAI,CAAA;IACT,KAAK,EAAE,SAAS,IAAI,EAAE,CAAA;IACtB,UAAU,CAAC,EAAE,UAAU,GAAG,SAAS,CAAA;CACpC,CAAA;AAED,eAAO,MAAM,KAAK;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAIhB,CAAA;AAEF,MAAM,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,KAAK,CAAC,CAAA;AAEpD,eAAO,MAAM,MAAM;;;;;;;;;;;;;;EAIjB,CAAA;AAEF,MAAM,MAAM,MAAM,GAAG;IACnB,IAAI,EAAE,QAAQ,CAAA;IACd,GAAG,EAAE,MAAM,CAAA;IACX,IAAI,EAAE,SAAS,IAAI,EAAE,CAAA;IACrB,UAAU,CAAC,EAAE,UAAU,GAAG,SAAS,CAAA;CACpC,CAAA;AAED,eAAO,MAAM,KAAK;;;;;;;;;;;;;EAGhB,CAAA;AAEF,MAAM,MAAM,KAAK,GAAG;IAClB,IAAI,EAAE,OAAO,CAAA;IACb,GAAG,EAAE,IAAI,CAAA;IACT,UAAU,CAAC,EAAE,UAAU,GAAG,SAAS,CAAA;IACnC,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;CAC1B,CAAA;AAED,QAAA,MAAM,MAAM;;;;;;;;;;;;EAEV,CAAA;AAEF,KAAK,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,MAAM,CAAC,CAAA;AAE/C,OAAO,EAAE,MAAM,IAAI,KAAK,EAAE,CAAA;AAE1B,eAAO,MAAM,KAAK;;;;;;;;;;;;;EAGhB,CAAA;AAEF,MAAM,MAAM,KAAK,GAAG;IAClB,IAAI,EAAE,OAAO,CAAA;IACb,GAAG,EAAE,IAAI,CAAA;IACT,UAAU,CAAC,EAAE,UAAU,GAAG,SAAS,CAAA;CACpC,CAAA;AAED,eAAO,MAAM,MAAM;;;;;;;;;;;;;;;EAKjB,CAAA;AAEF,MAAM,MAAM,MAAM,GAAG;IACnB,IAAI,EAAE,QAAQ,CAAA;IACd,IAAI,EAAE,IAAI,CAAA;IACV,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IAC5B,UAAU,CAAC,EAAE,UAAU,GAAG,SAAS,CAAA;IACnC,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;CAC1B,CAAA;AAED,eAAO,MAAM,GAAG;;;;;;;;;;;;;;EAId,CAAA;AAEF,MAAM,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,GAAG,CAAC,CAAA;AAEhD,eAAO,MAAM,IAAI;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAWhB,CAAA;AAED,MAAM,MAAM,IAAI,GACZ,KAAK,GACL,QAAQ,GACR,IAAI,GACJ,KAAK,GACL,MAAM,GACN,KAAK,GACL,MAAM,GACN,KAAK,GACL,MAAM,GACN,GAAG,CAAA;AAEP;;;;GAIG;AACH,wBAAgB,QAAQ,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM,CAyB3C;AAaD,wBAAgB,OAAO,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM,CAuB1C;AAED;;;;GAIG;AACH,eAAO,MAAM,MAAM,GAChB,iBAAiB;IAAE,WAAW,CAAC,EAAE,CAAC,EAAE,EAAE,MAAM,KAAK,MAAM,GAAG,SAAS,CAAA;CAAE,MACrE,GAAG,IAAI,CAAC,MAAM,KAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CA2K1C,CAAA;AAEH;;;GAGG;AACH,eAAO,MAAM,MAAM,GAChB,GAAG,IAAI,CAAC,MAAM,MACd,MAAM,IAAI,KAAG,IAgGb,CAAA;AAEH;;;;GAIG;AACH,wBAAgB,QAAQ,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM,CAyB3C"}

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

@@ -0,0 +1,29 @@
+import { Schema } from "effect";
+/**
+ * TODO: more accurate test
+ * @param s
+ * @returns
+ */
+export declare function isValid(s: string): s is Type;
+export declare const Type: Schema.brand<Schema.filter<typeof Schema.String>, "UplcType">;
+export type Type = Schema.Schema.Type<typeof Type>;
+export declare const Bool: Type;
+export declare const ByteArray: Type;
+export declare const Data: Type;
+export declare const Int: Type;
+export declare const String: Type;
+export declare const Unit: Type;
+export declare const Bls12_381_G1Element: Type;
+export declare const Bls12_381_G2Element: Type;
+export declare const Bls12_381_MlResult: Type;
+export declare function List(item: Type): Type;
+export declare function Pair(first: Type, second: Type): Type;
+export declare const DataPair: string & import("effect/Brand").Brand<"UplcType">;
+export declare const DataMap: string & import("effect/Brand").Brand<"UplcType">;
+/**
+ * Stack-based algorithm
+ * @param t
+ * @returns
+ */
+export declare function toString(t: Type): string;
+//# sourceMappingURL=Type.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Type.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Uplc/Type.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAE/B;;;;GAIG;AACH,wBAAgB,OAAO,CAAC,CAAC,EAAE,MAAM,GAAG,CAAC,IAAI,IAAI,CAE5C;AAED,eAAO,MAAM,IAAI,+DAGhB,CAAA;AAED,MAAM,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,IAAI,CAAC,CAAA;AAElD,eAAO,MAAM,IAAI,EAAa,IAAI,CAAA;AAElC,eAAO,MAAM,SAAS,EAAa,IAAI,CAAA;AAEvC,eAAO,MAAM,IAAI,EAAa,IAAI,CAAA;AAElC,eAAO,MAAM,GAAG,EAAa,IAAI,CAAA;AAEjC,eAAO,MAAM,MAAM,EAAa,IAAI,CAAA;AAEpC,eAAO,MAAM,IAAI,EAAa,IAAI,CAAA;AAElC,eAAO,MAAM,mBAAmB,EAAa,IAAI,CAAA;AAEjD,eAAO,MAAM,mBAAmB,EAAa,IAAI,CAAA;AAEjD,eAAO,MAAM,kBAAkB,EAAa,IAAI,CAAA;AAMhD,wBAAgB,IAAI,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,CAErC;AAID,wBAAgB,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,GAAG,IAAI,CAIpD;AAED,eAAO,MAAM,QAAQ,mDAAmC,CAAA;AAExD,eAAO,MAAM,OAAO,mDAAiC,CAAA;AAErD;;;;GAIG;AACH,wBAAgB,QAAQ,CAAC,CAAC,EAAE,IAAI,GAAG,MAAM,CAwGxC"}

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

@@ -0,0 +1,152 @@
+import { Either, Schema } from "effect";
+import * as Flat from "../../Codecs/Flat.js";
+import * as Data from "./Data.js";
+import * as Type from "./Type.js";
+export declare const Bool: typeof Schema.Boolean;
+export type Bool = Schema.Schema.Type<typeof Bool>;
+export declare const ByteArray: typeof Schema.Uint8ArrayFromSelf;
+export type ByteArray = Schema.Schema.Type<typeof ByteArray>;
+declare const Data$: Schema.Struct<{
+    data: Schema.SchemaClass<{
+        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;
+    }, {
+        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;
+    }, never>;
+}>;
+type Data$ = Schema.Schema.Type<typeof Data$>;
+export { Data$ as Data };
+export declare function isData(v: Value): v is Data$;
+export declare const Int: typeof Schema.BigIntFromSelf;
+export type Int = Schema.Schema.Type<typeof Int>;
+export declare const String: typeof Schema.String;
+export type String = Schema.Schema.Type<typeof String>;
+export declare const Unit: typeof Schema.Null;
+export type Unit = Schema.Schema.Type<typeof Unit>;
+export type List = {
+    readonly itemType: Type.Type;
+    readonly items: readonly Value[];
+};
+export declare const List: Schema.Struct<{
+    itemType: Schema.SchemaClass<string & import("effect/Brand").Brand<"UplcType">, string & import("effect/Brand").Brand<"UplcType">, never>;
+    items: Schema.Array$<Schema.suspend<Value, Value, never>>;
+}>;
+export declare function isList(v: Value): v is List;
+export type Pair = {
+    readonly first: Value;
+    readonly second: Value;
+};
+export declare const Pair: Schema.Struct<{
+    first: Schema.suspend<Value, Value, never>;
+    second: Schema.suspend<Value, Value, never>;
+}>;
+export declare function isPair(v: Value): v is Pair;
+export declare const Bls12_381_G1Element: Schema.Struct<{
+    g1Element: Schema.Tuple<[typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf]>;
+}>;
+export type Bls12_381_G1Element = Schema.Schema.Type<typeof Bls12_381_G1Element>;
+export declare const Bls12_381_G2Element: Schema.Struct<{
+    g2Element: Schema.Tuple<[Schema.Tuple2<typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf>, Schema.Tuple2<typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf>, Schema.Tuple2<typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf>]>;
+}>;
+export type Bls12_381_G2Element = Schema.Schema.Type<typeof Bls12_381_G2Element>;
+export declare const Bls12_381_MlResult: Schema.Struct<{
+    mlResult: Schema.Tuple2<Schema.Tuple<[Schema.Tuple2<typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf>, Schema.Tuple2<typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf>, Schema.Tuple2<typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf>]>, Schema.Tuple<[Schema.Tuple2<typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf>, Schema.Tuple2<typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf>, Schema.Tuple2<typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf>]>>;
+}>;
+export type Bls12_381_MlResult = Schema.Schema.Type<typeof Bls12_381_MlResult>;
+/**
+ * TODO: add Bls values
+ */
+export type Value = Bool | ByteArray | Data$ | Int | List | Pair | String | Unit | Bls12_381_G1Element | Bls12_381_G2Element | Bls12_381_MlResult;
+/**
+ * TODO: add Bls values
+ */
+export declare const Value: Schema.Union<[typeof Schema.Boolean, typeof Schema.Uint8ArrayFromSelf, Schema.Struct<{
+    data: Schema.SchemaClass<{
+        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;
+    }, {
+        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;
+    }, never>;
+}>, typeof Schema.BigIntFromSelf, Schema.Struct<{
+    itemType: Schema.SchemaClass<string & import("effect/Brand").Brand<"UplcType">, string & import("effect/Brand").Brand<"UplcType">, never>;
+    items: Schema.Array$<Schema.suspend<Value, Value, never>>;
+}>, Schema.Struct<{
+    first: Schema.suspend<Value, Value, never>;
+    second: Schema.suspend<Value, Value, never>;
+}>, typeof Schema.String, typeof Schema.Null, Schema.Struct<{
+    g1Element: Schema.Tuple<[typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf]>;
+}>, Schema.Struct<{
+    g2Element: Schema.Tuple<[Schema.Tuple2<typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf>, Schema.Tuple2<typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf>, Schema.Tuple2<typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf>]>;
+}>, Schema.Struct<{
+    mlResult: Schema.Tuple2<Schema.Tuple<[Schema.Tuple2<typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf>, Schema.Tuple2<typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf>, Schema.Tuple2<typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf>]>, Schema.Tuple<[Schema.Tuple2<typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf>, Schema.Tuple2<typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf>, Schema.Tuple2<typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf>]>>;
+}>]>;
+export declare function flatSize(v: Value): number;
+export declare function memSize(v: Value): number;
+/**
+ * Doesn't include type bits
+ * Simple recursive algorithm (containers are expected to be that big anyway)
+ * @param v
+ * @param w
+ */
+export declare const toFlat: (w: Flat.Writer) => (v: Value) => void;
+/**
+ * Mutates the Flat.Reader
+ * Takes the type bits into account
+ * @param r
+ */
+export declare const decode: (r: Flat.Reader) => Either.Either<Value, Error>;
+/**
+ * Simple recursive algorithm
+ * @param v
+ * @returns
+ */
+export declare function toString(v: Value): string;
+export declare function toType(v: Value): Type.Type;
+export declare function describeType(v: Value): string;
+//# sourceMappingURL=Value.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Value.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Uplc/Value.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAY,MAAM,EAAE,MAAM,QAAQ,CAAA;AAGjD,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAG5C,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AACjC,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AAMjC,eAAO,MAAM,IAAI,uBAAiB,CAAA;AAElC,MAAM,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,IAAI,CAAC,CAAA;AAElD,eAAO,MAAM,SAAS,kCAA4B,CAAA;AAElD,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,SAAS,CAAC,CAAA;AAE5D,QAAA,MAAM,KAAK;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAET,CAAA;AAEF,KAAK,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,KAAK,CAAC,CAAA;AAE7C,OAAO,EAAE,KAAK,IAAI,IAAI,EAAE,CAAA;AAExB,wBAAgB,MAAM,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,IAAI,KAAK,CAE3C;AAED,eAAO,MAAM,GAAG,8BAAwB,CAAA;AAExC,MAAM,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,GAAG,CAAC,CAAA;AAEhD,eAAO,MAAM,MAAM,sBAAgB,CAAA;AAEnC,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,MAAM,CAAC,CAAA;AAEtD,eAAO,MAAM,IAAI,oBAAc,CAAA;AAE/B,MAAM,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,IAAI,CAAC,CAAA;AAElD,MAAM,MAAM,IAAI,GAAG;IACjB,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAA;IAC5B,QAAQ,CAAC,KAAK,EAAE,SAAS,KAAK,EAAE,CAAA;CACjC,CAAA;AAED,eAAO,MAAM,IAAI;;;EAGf,CAAA;AAEF,wBAAgB,MAAM,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,IAAI,IAAI,CAE1C;AAED,MAAM,MAAM,IAAI,GAAG;IACjB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;IACrB,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAA;CACvB,CAAA;AAED,eAAO,MAAM,IAAI;;;EAGf,CAAA;AAEF,wBAAgB,MAAM,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,IAAI,IAAI,CAE1C;AAED,eAAO,MAAM,mBAAmB;;EAM9B,CAAA;AAEF,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,mBAAmB,CAAC,CAAA;AAEhF,eAAO,MAAM,mBAAmB;;EAM9B,CAAA;AAEF,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,mBAAmB,CAAC,CAAA;AAEhF,eAAO,MAAM,kBAAkB;;EAa7B,CAAA;AAEF,MAAM,MAAM,kBAAkB,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,kBAAkB,CAAC,CAAA;AAE9E;;GAEG;AACH,MAAM,MAAM,KAAK,GACb,IAAI,GACJ,SAAS,GACT,KAAK,GACL,GAAG,GACH,IAAI,GACJ,IAAI,GACJ,MAAM,GACN,IAAI,GACJ,mBAAmB,GACnB,mBAAmB,GACnB,kBAAkB,CAAA;AAEtB;;GAEG;AACH,eAAO,MAAM,KAAK;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAYjB,CAAA;AAED,wBAAgB,QAAQ,CAAC,CAAC,EAAE,KAAK,GAAG,MAAM,CA4BzC;AAED,wBAAgB,OAAO,CAAC,CAAC,EAAE,KAAK,GAAG,MAAM,CAoBxC;AAED;;;;;GAKG;AACH,eAAO,MAAM,MAAM,GAChB,GAAG,IAAI,CAAC,MAAM,MACd,GAAG,KAAK,KAAG,IA6BX,CAAA;AA+IH;;;;GAIG;AACH,eAAO,MAAM,MAAM,GAAI,GAAG,IAAI,CAAC,MAAM,KAAG,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAW9D,CAAA;AAEJ;;;;GAIG;AACH,wBAAgB,QAAQ,CAAC,CAAC,EAAE,KAAK,GAAG,MAAM,CA0BzC;AAED,wBAAgB,MAAM,CAAC,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,IAAI,CAsB1C;AAED,wBAAgB,YAAY,CAAC,CAAC,EAAE,KAAK,GAAG,MAAM,CAE7C"}

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

@@ -0,0 +1,7 @@
+export * as Cek from "./Cek.js";
+export * as Cost from "./Cost.js";
+export * as Data from "./Data.js";
+export * as Script from "./Script.js";
+export * as ScriptContext from "./ScriptContext.js";
+export * as Value from "./Value.js";
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Uplc/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,GAAG,MAAM,UAAU,CAAA;AAC/B,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AACjC,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AACjC,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AACnD,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA"}

package/types/Cardano/index.d.ts

@@ -0,0 +1,6 @@
+export * as CoinSelection from "./CoinSelection.js";
+export * as Ledger from "./Ledger";
+export * as Network from "./Network";
+export * as TxBuilder from "./TxBuilder.js";
+export * as Uplc from "./Uplc";
+//# sourceMappingURL=index.d.ts.map

package/types/Cardano/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/Cardano/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AACnD,OAAO,KAAK,MAAM,MAAM,UAAU,CAAA;AAClC,OAAO,KAAK,OAAO,MAAM,WAAW,CAAA;AACpC,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAA;AAC3C,OAAO,KAAK,IAAI,MAAM,QAAQ,CAAA"}