@helios-lang/effect 0.2.0 → 0.3.0

package/types/Cardano/Wallet.d.ts

@@ -0,0 +1,73 @@
+import { Context, Effect } from "effect";
+import * as Bip39 from "../Crypto/Bip39.js";
+import * as Address from "./Ledger/Address.js";
+import * as Signature from "./Ledger/Signature.js";
+import * as Tx from "./Ledger/Tx.js";
+import * as UTxO from "./Ledger/UTxO.js";
+import * as Network from "./Network";
+declare const Balancing_base: Context.TagClass<Balancing, "Cardano.Wallet.Balancing", {
+    changeAddress: Effect.Effect<Address.Address>;
+    utxos: Effect.Effect<UTxO.UTxO[], Error>;
+    signTx(tx: Tx.Tx): Effect.Effect<Signature.Signature[], Error>;
+}>;
+export declare class Balancing extends Balancing_base {
+}
+/**
+ * @param phrase
+ * Space separated
+ * @returns
+ */
+export declare const Phrase: (phrase: string | string[], account?: number, subAccount?: number) => Effect.Effect<{
+    changeAddress: Effect.Effect<string & import("effect/Brand").Brand<"Cardano.Ledger.Address">, never, never>;
+    utxos: Effect.Effect<{
+        readonly output: {
+            readonly address: string & import("effect/Brand").Brand<"Cardano.Ledger.Address">;
+            readonly assets: {
+                readonly [x: string]: bigint;
+            };
+            readonly datum?: {
+                readonly _tag: "Inline";
+                readonly data: {
+                    readonly bytes: Uint8Array<ArrayBufferLike>;
+                } | {
+                    readonly int: bigint;
+                } | {
+                    readonly list: readonly import("./Uplc/Data.js").Data[];
+                } | {
+                    readonly map: readonly {
+                        readonly k: import("./Uplc/Data.js").Data;
+                        readonly v: import("./Uplc/Data.js").Data;
+                    }[];
+                } | {
+                    readonly fields: readonly import("./Uplc/Data.js").Data[];
+                    readonly constructor: number;
+                };
+            } | {
+                readonly _tag: "Hash";
+                readonly hash: string & import("effect/Brand").Brand<"DatumHash">;
+            } | undefined;
+            readonly refScript?: ({
+                readonly root: Uint8Array<ArrayBufferLike>;
+                readonly verbose?: Uint8Array<ArrayBufferLike> | undefined;
+            } & {
+                readonly version: 2;
+            }) | ({
+                readonly root: Uint8Array<ArrayBufferLike>;
+                readonly verbose?: Uint8Array<ArrayBufferLike> | undefined;
+            } & {
+                readonly version: 3;
+            }) | undefined;
+            readonly encodingConfig?: {
+                readonly strictBabbage?: boolean | undefined;
+            } | undefined;
+        };
+        readonly ref: string & import("effect/Brand").Brand<"UTxORef">;
+    }[], Error, never>;
+    signTx: (tx: Tx.Tx) => Effect.Effect<{
+        pubKey: string & import("effect/Brand").Brand<"Crypto.Bip32.VerificationKey">;
+        signature: Uint8Array<ArrayBufferLike>;
+    }[], never, never>;
+}, Bip39.InvalidPhraseLength | Bip39.InvalidWord | Bip39.InvalidChecksum, Network.IsMainnet | Network.UTxOsAt>;
+export declare const Browser: (_handle: unknown) => never;
+export {};
+//# sourceMappingURL=Wallet.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Wallet.d.ts","sourceRoot":"","sources":["../../src/Cardano/Wallet.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAExC,OAAO,KAAK,KAAK,MAAM,oBAAoB,CAAA;AAC3C,OAAO,KAAK,OAAO,MAAM,qBAAqB,CAAA;AAE9C,OAAO,KAAK,SAAS,MAAM,uBAAuB,CAAA;AAClD,OAAO,KAAK,EAAE,MAAM,gBAAgB,CAAA;AACpC,OAAO,KAAK,IAAI,MAAM,kBAAkB,CAAA;AACxC,OAAO,KAAK,OAAO,MAAM,WAAW,CAAA;;mBAKjB,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC;WACtC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,KAAK,CAAC;eAC7B,EAAE,CAAC,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,SAAS,EAAE,EAAE,KAAK,CAAC;;AALlE,qBAAa,SAAU,SAAQ,cAO5B;CAAG;AAEN;;;;GAIG;AACH,eAAO,MAAM,MAAM,GACjB,QAAQ,MAAM,GAAG,MAAM,EAAE,EACzB,UAAS,MAAU,EACnB,aAAY,MAAU;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iBAkCL,EAAE,CAAC,EAAE;;;;8GAGpB,CAAA;AAEJ,eAAO,MAAM,OAAO,GAAI,SAAS,OAAO,UAEvC,CAAA"}

package/types/Cardano/index.d.ts

@@ -3,4 +3,5 @@ export * as Ledger from "./Ledger";
 export * as Network from "./Network";
 export * as TxBuilder from "./TxBuilder.js";
 export * as Uplc from "./Uplc";
+export * as Wallet from "./Wallet.js";
 //# sourceMappingURL=index.d.ts.map

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

@@ -1 +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"}
+{"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;AAC9B,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA"}

package/types/Codecs/LittleEndian.d.ts

@@ -9,6 +9,7 @@ import * as Bytes from "./Bytes.js";
  * @returns
  */
 export declare function decode(bytes: Bytes.BytesLike): Either.Either<bigint, Encoding.DecodeException>;
+export declare function decodeOrThrow(bytes: Bytes.BytesLike): bigint;
 /**
  * Little Endian 32 bytes
  * @param {IntLike} x

package/types/Codecs/LittleEndian.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"LittleEndian.d.ts","sourceRoot":"","sources":["../../src/Codecs/LittleEndian.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AAEzC,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AAEnC;;GAEG;AAEH;;;;GAIG;AACH,wBAAgB,MAAM,CACpB,KAAK,EAAE,KAAK,CAAC,SAAS,GACrB,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,eAAe,CAAC,CAEjD;AAED;;;;GAIG;AACH,wBAAgB,QAAQ,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,MAAM,EAAE,CAMrD"}
+{"version":3,"file":"LittleEndian.d.ts","sourceRoot":"","sources":["../../src/Codecs/LittleEndian.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AAEzC,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AAEnC;;GAEG;AAEH;;;;GAIG;AACH,wBAAgB,MAAM,CACpB,KAAK,EAAE,KAAK,CAAC,SAAS,GACrB,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,eAAe,CAAC,CAEjD;AAED,wBAAgB,aAAa,CAAC,KAAK,EAAE,KAAK,CAAC,SAAS,GAAG,MAAM,CAE5D;AAED;;;;GAIG;AACH,wBAAgB,QAAQ,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,MAAM,EAAE,CAMrD"}

package/types/Crypto/Bip32.d.ts

@@ -0,0 +1,29 @@
+import { Either, ParseResult, Schema } from "effect";
+import * as Bytes from "../Codecs/Bytes.js";
+/**
+ * Used during `PrivateKey` derivation, to create a new `PrivateKey` instance with a non-publicly deriveable `PubKey`.
+ */
+export declare const HARDEN = 2147483648;
+export declare function isValidSigningKey(sk: string): boolean;
+export declare const SigningKey: Schema.brand<Schema.filter<typeof Schema.String>, "Crypto.Bip32.SigningKey">;
+export type SigningKey = Schema.Schema.Type<typeof SigningKey>;
+export declare function isValidVerificationKey(pk: string): boolean;
+export declare const VerificationKey: Schema.brand<Schema.filter<typeof Schema.String>, "Crypto.Bip32.VerificationKey">;
+export type VerificationKey = Schema.Schema.Type<typeof VerificationKey>;
+export declare const makeVerificationKeyUnsafe: (bytes: Bytes.BytesLike) => string;
+export declare const makeVerificationKey: (bytes: Bytes.BytesLike) => Either.Either<VerificationKey, ParseResult.Unexpected>;
+/**
+ * @param {number[]} entropy
+ * @param {boolean} force
+ * @returns {Bip32PrivateKey}
+ */
+export declare function skFromEntropy(entropy: Bytes.BytesLike, force?: boolean): SigningKey;
+export declare const skBytes: (sk: SigningKey) => Uint8Array;
+export declare const vkBytes: (vk: VerificationKey) => Uint8Array;
+export declare const deriveVerificationKey: (sk: SigningKey) => VerificationKey;
+export declare const derivePath: (sk: SigningKey, path: number[]) => SigningKey;
+export declare const sign: (sk: SigningKey) => (message: Bytes.BytesLike) => {
+    pubKey: string & import("effect/Brand").Brand<"Crypto.Bip32.VerificationKey">;
+    signature: Uint8Array<ArrayBufferLike>;
+};
+//# sourceMappingURL=Bip32.d.ts.map

package/types/Crypto/Bip32.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Bip32.d.ts","sourceRoot":"","sources":["../../src/Crypto/Bip32.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAGpD,OAAO,KAAK,KAAK,MAAM,oBAAoB,CAAA;AAM3C;;GAEG;AACH,eAAO,MAAM,MAAM,aAAa,CAAA;AAEhC,wBAAgB,iBAAiB,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAsBrD;AAED,eAAO,MAAM,UAAU,8EAKtB,CAAA;AAED,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,UAAU,CAAC,CAAA;AAM9D,wBAAgB,sBAAsB,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAsB1D;AAED,eAAO,MAAM,eAAe,mFAK3B,CAAA;AAED,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,eAAe,CAAC,CAAA;AAExE,eAAO,MAAM,yBAAyB,GAAI,OAAO,KAAK,CAAC,SAAS,KAAG,MACd,CAAA;AACrD,eAAO,MAAM,mBAAmB,GAC9B,OAAO,KAAK,CAAC,SAAS,KACrB,MAAM,CAAC,MAAM,CAAC,eAAe,EAAE,WAAW,CAAC,UAAU,CAUvD,CAAA;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAC3B,OAAO,EAAE,KAAK,CAAC,SAAS,EACxB,KAAK,GAAE,OAAc,GACpB,UAAU,CAyBZ;AAED,eAAO,MAAM,OAAO,GAAI,IAAI,UAAU,KAAG,UACuB,CAAA;AAChE,eAAO,MAAM,OAAO,GAAI,IAAI,eAAe,KAAG,UACkB,CAAA;AAEhE,eAAO,MAAM,qBAAqB,GAAI,IAAI,UAAU,KAAG,eAIjC,CAAA;AAkDtB,eAAO,MAAM,UAAU,GAAI,IAAI,UAAU,EAAE,MAAM,MAAM,EAAE,KAAG,UAM3D,CAAA;AAED,eAAO,MAAM,IAAI,GAAI,IAAI,UAAU,MAAM,SAAS,KAAK,CAAC,SAAS;;;CAOhE,CAAA"}

package/types/Crypto/Bip39.d.ts

@@ -0,0 +1,43 @@
+import { Either } from "effect";
+declare const InvalidPhraseLength_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
+    readonly _tag: "Crypto.Bip39.InvalidPhraseLength";
+} & Readonly<A>;
+export declare class InvalidPhraseLength extends InvalidPhraseLength_base<{
+    message: string;
+}> {
+    constructor(n: number);
+}
+declare const InvalidWord_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
+    readonly _tag: "Crypto.Bip39.InvalidWord";
+} & Readonly<A>;
+export declare class InvalidWord extends InvalidWord_base<{
+    message: string;
+}> {
+    constructor(w: string);
+}
+declare const InvalidChecksum_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
+    readonly _tag: "Crypto.Bip39.InvalidChecksum";
+} & Readonly<A>;
+export declare class InvalidChecksum extends InvalidChecksum_base<{
+    message: string;
+}> {
+    constructor(message?: string);
+}
+declare const InvalidEntropyLength_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
+    readonly _tag: "Crypto.Bip39.InvalidEntropyLength";
+} & Readonly<A>;
+export declare class InvalidEntropyLength extends InvalidEntropyLength_base<{
+    message: string;
+}> {
+    constructor(n: number);
+}
+export declare function clean(phrase: string | string[]): string[];
+export declare const phraseToEntropy: (phrase: string | string[], dict?: string[]) => Either.Either<Uint8Array, InvalidPhraseLength | InvalidWord | InvalidChecksum>;
+export declare function isValidPhrase(phrase: string | string[], dict?: string[]): boolean;
+export declare const entropyToPhrase: (entropy: Uint8Array, dict?: string[]) => Either.Either<string[], InvalidEntropyLength>;
+/**
+ * Standard English Bip39 dictionary consisting of 2048 words allowing wallet root keys to be formed by a phrase of 12, 15, 18, 21 or 24 of these words.
+ */
+export declare const English: string[];
+export {};
+//# sourceMappingURL=Bip39.d.ts.map

package/types/Crypto/Bip39.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Bip39.d.ts","sourceRoot":"","sources":["../../src/Crypto/Bip39.ts"],"names":[],"mappings":"AAAA,OAAO,EAAQ,MAAM,EAAE,MAAM,QAAQ,CAAA;;;;AAKrC,qBAAa,mBAAoB,SAAQ,yBAEvC;IAAE,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;gBACR,CAAC,EAAE,MAAM;CAKtB;;;;AAED,qBAAa,WAAY,SAAQ,iBAA6C;IAC5E,OAAO,EAAE,MAAM,CAAA;CAChB,CAAC;gBACY,CAAC,EAAE,MAAM;CAGtB;;;;AAED,qBAAa,eAAgB,SAAQ,qBAEnC;IAAE,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;gBACR,OAAO,GAAE,MAA2B;CAGjD;;;;AAED,qBAAa,oBAAqB,SAAQ,0BAExC;IAAE,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;gBACR,CAAC,EAAE,MAAM;CAKtB;AAED,wBAAgB,KAAK,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,EAAE,GAAG,MAAM,EAAE,CAUzD;AAED,eAAO,MAAM,eAAe,GAC1B,QAAQ,MAAM,GAAG,MAAM,EAAE,EACzB,OAAM,MAAM,EAAY,KACvB,MAAM,CAAC,MAAM,CACd,UAAU,EACV,mBAAmB,GAAG,WAAW,GAAG,eAAe,CAwDpD,CAAA;AAED,wBAAgB,aAAa,CAC3B,MAAM,EAAE,MAAM,GAAG,MAAM,EAAE,EACzB,IAAI,GAAE,MAAM,EAAY,GACvB,OAAO,CAET;AAED,eAAO,MAAM,eAAe,GAC1B,SAAS,UAAU,EACnB,OAAM,MAAM,EAAY,KACvB,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,oBAAoB,CAkE9C,CAAA;AAED;;GAEG;AACH,eAAO,MAAM,OAAO,UAigEnB,CAAA"}