@harmoniclabs/plu-ts-onchain
Version:
An embedded DSL for Cardano smart contracts creation coupled with a library for Cardano transactions, all in Typescript
12 lines (11 loc) • 2.43 kB
TypeScript
import { PData } from "../../PTypes/PData/PData.js";
import { PLam } from "../../PTypes/PFn/PLam.js";
import { PList } from "../../PTypes/PList.js";
import { Term } from "../../Term/index.js";
import { TermType } from "../../type_system/index.js";
export declare const getFields: Term<PLam<PData, PList<PData>>>;
export declare const matchSingleCtorStruct: (returnT: TermType) => Term<PLam<PData, PLam<PLam<PList<PData>, import("../../index.js").PType | import("../../index.js").PStruct<import("../../type_system/index.js").StructDefinition, import("../../type_system/index.js").Methods> | import("../../index.js").PSop<import("../../type_system/index.js").SopDefinition, import("../../type_system/index.js").Methods>>, import("../../index.js").PType | import("../../index.js").PStruct<import("../../type_system/index.js").StructDefinition, import("../../type_system/index.js").Methods> | import("../../index.js").PSop<import("../../type_system/index.js").SopDefinition, import("../../type_system/index.js").Methods>>>> & {
$: (input: import("../index.js").PappArg<PData>) => Term<PLam<PLam<PList<PData>, import("../../index.js").PType | import("../../index.js").PStruct<import("../../type_system/index.js").StructDefinition, import("../../type_system/index.js").Methods> | import("../../index.js").PSop<import("../../type_system/index.js").SopDefinition, import("../../type_system/index.js").Methods>>, import("../../index.js").PType | import("../../index.js").PStruct<import("../../type_system/index.js").StructDefinition, import("../../type_system/index.js").Methods> | import("../../index.js").PSop<import("../../type_system/index.js").SopDefinition, import("../../type_system/index.js").Methods>>> & {
$: (input: import("../index.js").PappArg<PLam<PList<PData>, import("../../index.js").PType | import("../../index.js").PStruct<import("../../type_system/index.js").StructDefinition, import("../../type_system/index.js").Methods> | import("../../index.js").PSop<import("../../type_system/index.js").SopDefinition, import("../../type_system/index.js").Methods>>>) => import("../index.js").UtilityTermOf<import("../../index.js").PType | import("../../index.js").PStruct<import("../../type_system/index.js").StructDefinition, import("../../type_system/index.js").Methods> | import("../../index.js").PSop<import("../../type_system/index.js").SopDefinition, import("../../type_system/index.js").Methods>>;
};
};