@harmoniclabs/plu-ts-onchain
Version:
An embedded DSL for Cardano smart contracts creation coupled with a library for Cardano transactions, all in Typescript
16 lines (15 loc) • 1.59 kB
TypeScript
import { TermType } from "../../type_system/types.js";
import { TermFn } from "../../PTypes/PFn/PFn.js";
import { PString } from "../../PTypes/PString.js";
import { ToPType } from "../../type_system/ts-pluts-conversion.js";
export declare const ptraceIfTrue: import("../../index.js").Term<import("../../index.js").PLam<import("../../index.js").PDelayed<PString>, import("../../index.js").PLam<import("../../index.js").PBool, import("../../index.js").PBool>>> & {
$: (input: import("../index.js").PappArg<import("../../index.js").PDelayed<PString>>) => import("../../index.js").Term<import("../../index.js").PLam<import("../../index.js").PBool, import("../../index.js").PBool>> & {
$: (input: import("../index.js").PappArg<import("../../index.js").PBool>) => import("../index.js").UtilityTermOf<import("../../index.js").PBool>;
};
};
export declare const ptraceIfFalse: import("../../index.js").Term<import("../../index.js").PLam<import("../../index.js").PDelayed<PString>, import("../../index.js").PLam<import("../../index.js").PBool, import("../../index.js").PBool>>> & {
$: (input: import("../index.js").PappArg<import("../../index.js").PDelayed<PString>>) => import("../../index.js").Term<import("../../index.js").PLam<import("../../index.js").PBool, import("../../index.js").PBool>> & {
$: (input: import("../index.js").PappArg<import("../../index.js").PBool>) => import("../index.js").UtilityTermOf<import("../../index.js").PBool>;
};
};
export declare function ptraceError<T extends TermType>(t: T, somemsg?: string): TermFn<[PString], ToPType<T>>;