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) 373 B
import { PList, PPair, TermFn } from "../../../../PTypes/index.js"; import { TermType, ToPType } from "../../../../type_system/index.js"; import { PMaybeT } from "../../PMaybe/index.js"; export declare function plookup<KT extends TermType, VT extends TermType>(kT: KT, vT: VT): TermFn<[ ToPType<KT>, PList<PPair<ToPType<KT>, ToPType<VT>>> ], PMaybeT<ToPType<VT>>>;