@harmoniclabs/plu-ts-onchain
Version:
An embedded DSL for Cardano smart contracts creation coupled with a library for Cardano transactions, all in Typescript
35 lines (34 loc) • 2.53 kB
TypeScript
import { PBlsG2 } from "../../../PTypes/PBlsG2.js";
import { Term } from "../../../Term/index.js";
import { PInt } from "../../../PTypes/PInt.js";
import type { PByteString } from "../../../PTypes/PByteString.js";
import { PBool } from "../../../PTypes/PBool.js";
export declare const bls12_381_G2_element_add: Term<import("../../../index.js").PLam<PBlsG2, import("../../../index.js").PLam<PBlsG2, PBlsG2>>> & {
$: (input: import("../../index.js").PappArg<PBlsG2>) => Term<import("../../../index.js").PLam<PBlsG2, PBlsG2>> & {
$: (input: import("../../index.js").PappArg<PBlsG2>) => import("../../index.js").UtilityTermOf<PBlsG2>;
};
};
export declare const bls12_381_G2_element_neg: Term<import("../../../index.js").PLam<PBlsG2, PBlsG2>> & {
$: (input: import("../../index.js").PappArg<PBlsG2>) => import("../../index.js").UtilityTermOf<PBlsG2>;
};
export declare const bls12_381_G2_element_scalarMul: Term<import("../../../index.js").PLam<PInt, import("../../../index.js").PLam<PBlsG2, PBlsG2>>> & {
$: (input: import("../../index.js").PappArg<PInt>) => Term<import("../../../index.js").PLam<PBlsG2, PBlsG2>> & {
$: (input: import("../../index.js").PappArg<PBlsG2>) => import("../../index.js").UtilityTermOf<PBlsG2>;
};
};
export declare const bls12_381_G2_element_eq: Term<import("../../../index.js").PLam<PBlsG2, import("../../../index.js").PLam<PBlsG2, PBool>>> & {
$: (input: import("../../index.js").PappArg<PBlsG2>) => Term<import("../../../index.js").PLam<PBlsG2, PBool>> & {
$: (input: import("../../index.js").PappArg<PBlsG2>) => import("../../index.js").UtilityTermOf<PBool>;
};
};
export declare const bls12_381_G2_element_hashToGroup: Term<import("../../../index.js").PLam<PByteString, import("../../../index.js").PLam<PByteString, PBlsG2>>> & {
$: (input: import("../../index.js").PappArg<PByteString>) => Term<import("../../../index.js").PLam<PByteString, PBlsG2>> & {
$: (input: import("../../index.js").PappArg<PByteString>) => import("../../index.js").UtilityTermOf<PBlsG2>;
};
};
export declare const bls12_381_G2_element_compress: Term<import("../../../index.js").PLam<PBlsG2, PByteString>> & {
$: (input: import("../../index.js").PappArg<PBlsG2>) => import("../../index.js").UtilityTermOf<PByteString>;
};
export declare const bls12_381_G2_element_uncompress: Term<import("../../../index.js").PLam<PByteString, PBlsG2>> & {
$: (input: import("../../index.js").PappArg<PByteString>) => import("../../index.js").UtilityTermOf<PBlsG2>;
};