UNPKG

@harmoniclabs/plu-ts-onchain

Version:

An embedded DSL for Cardano smart contracts creation coupled with a library for Cardano transactions, all in Typescript

8 lines (7 loc) 556 B
import { PLam } from "../PTypes/index.js"; import { Term } from "../Term/index.js"; import { ToPType } from "../type_system/ts-pluts-conversion.js"; import { TermType } from "../type_system/types.js"; import { PappResult } from "./papp.js"; import { UtilityTermOf } from "./std/UtilityTerms/addUtilityForType.js"; export declare function plam<A extends TermType, B extends TermType>(inputType: A, outputType: B): (termFunc: (input: UtilityTermOf<ToPType<A>>) => Term<ToPType<B>>, funcName?: string | undefined) => PappResult<PLam<ToPType<A>, ToPType<B>>>;