UNPKG

@harmoniclabs/plu-ts-onchain

Version:

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

github.com/HarmonicLabs/plu-ts

HarmonicLabs/plu-ts

5 lines (4 loc) • 438 B
1
2
3
4
5
import { PType } from "../../../../PType/index.js"; import { TermFn, PLam, PList, PDelayed } from "../../../../PTypes/index.js"; import { TermType, ToPType } from "../../../../type_system/index.js"; export declare function pmatchList<ReturnT extends TermType, PElemsT extends PType>(returnT: ReturnT, elemsT: TermType): TermFn<[PDelayed<PElemsT>, PLam<PElemsT, PLam<PList<PElemsT>, ToPType<ReturnT>>>, PList<PElemsT>], ToPType<ReturnT>>;