@harmoniclabs/plu-ts-onchain
Version:
An embedded DSL for Cardano smart contracts creation coupled with a library for Cardano transactions, all in Typescript
4 lines (3 loc) • 332 B
TypeScript
import type { TermFn, PLam, PList } from "../../../../PTypes/index.js";
import { TermType, ToPType } from "../../../../type_system/index.js";
export declare function pmap<FromT extends TermType, ToT extends TermType>(fromT: FromT, toT: ToT): TermFn<[PLam<ToPType<FromT>, ToPType<ToT>>, PList<ToPType<FromT>>], PList<ToPType<ToT>>>;