@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) • 643 B
TypeScript
import { PType } from "../../../../PType/index.js";
import { PLam } from "../../../../PTypes/index.js";
import { Term } from "../../../../Term/index.js";
import { TermType, ToPType } from "../../../../type_system/index.js";
export declare function _papp<Input extends PType, Output extends PType>(a: Term<PLam<Input, Output>>, b: Term<Input>): Term<Output>;
export declare function _plam<A extends TermType, B extends TermType>(inputType: A, outputType: B): (termFunc: (input: Term<ToPType<A>>) => Term<ToPType<B>>) => Term<PLam<ToPType<A>, ToPType<B>>>;
export declare const _pcompose: (a: TermType, b: TermType, c: TermType) => Term<PType>;