@harmoniclabs/plu-ts-onchain
Version:
An embedded DSL for Cardano smart contracts creation coupled with a library for Cardano transactions, all in Typescript
6 lines (5 loc) • 642 B
TypeScript
import { TermFn, PList } from "../../../PTypes/index.js";
import { TermType, ToPType } from "../../../type_system/index.js";
export declare function _pstrictChooseList<ListElemT extends TermType, ReturnT extends TermType>(listElemT: ListElemT, returnT: ReturnT): TermFn<[PList<ToPType<ListElemT>>, ToPType<ReturnT>, ToPType<ReturnT>], ToPType<ReturnT>>;
export declare function _phead<ListElemT extends TermType>(listElemType: ListElemT): TermFn<[PList<ToPType<ListElemT>>], ToPType<ListElemT>>;
export declare function _ptail<ListElemT extends TermType>(listElemT: ListElemT): TermFn<[PList<ToPType<ListElemT>>], PList<ToPType<ListElemT>>>;