@harmoniclabs/plu-ts-onchain/dist/pluts/PTypes/PFn/index.d.ts

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

export * from "./PLam.js";
import type { Term } from "../../Term/index.js";
import type { PType } from "../../PType/index.js";
import type { PLam } from "./PLam.js";
import { PappArg, UtilityTermOf } from "../../lib/index.js";
import { Tail } from "../../../utils/types.js";
export type PFn<Inputs extends [PType, ...PType[]], Output extends PType> = Inputs extends [infer PInstance extends PType] ? PLam<PInstance, Output> : Inputs extends [infer PInstance extends PType, ...infer PInstances extends [PType, ...PType[]]] ? PLam<PInstance, PFn<PInstances, Output>> : never;
export type PLamIn<PLamInstance extends PLam<PType, PType>> = PLamInstance extends PLam<infer PIn, any> ? PIn : never;
export type PLamOut<PLamInstance extends PLam<PType, PType>> = PLamInstance extends PLam<any, infer POut> ? POut : never;
export type TermFn<Ins extends [PType, ...PType[]], Out extends PType> = Out extends PLam<infer A extends PType, infer B extends PType> ? TermFn<[Ins[0], ...Tail<Ins>, A], B> : Ins extends [infer PInstance extends PType] ? Term<PLam<PInstance, Out>> & {
    $: (input: PappArg<PInstance>) => UtilityTermOf<Out>;
} : Ins extends [infer PInstance extends PType, ...infer RestIns extends [PType, ...PType[]]] ? Term<PLam<PInstance, PFn<RestIns, Out>>> & {
    $: (input: PappArg<PInstance>) => TermFn<RestIns, Out>;
} : never;
export type UnTermLambda<LamTerm extends Term<PLam<PType, PType>>> = LamTerm extends Term<PLam<infer In extends PType, infer Out extends PType>> ? PLam<In, Out> : never;