@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
TypeScript
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>>>;