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

8 lines (7 loc) • 397 B
1
2
3
4
5
6
7
8
import { TermFn, PFn, PList } from "../../../../PTypes/index.js"; import { TermType, ToPType } from "../../../../type_system/index.js"; export declare function pfoldr<ElemsT extends TermType, ResultT extends TermType>(elemsT: ElemsT, resultT: ResultT): TermFn<[ PFn<[ToPType<ElemsT>, ToPType<ResultT>], ToPType<ResultT>>, ToPType<ResultT>, PList<ToPType<ElemsT>> ], ToPType<ResultT>>;