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

13 lines (12 loc) • 658 B
1
2
3
4
5
6
7
8
9
10
11
12
13
import { PLam, PList, PDelayed, PFn } from "../../../../PTypes/index.js"; import { TermType, ToPType } from "../../../../type_system/index.js"; import { Term } from "../../../../Term/index.js"; export declare function _precursiveList<ReturnT extends TermType, ElemtsT extends TermType>(returnT: ReturnT, elemsT: ElemtsT): Term<PFn<[ PLam<// caseNil PLam<PList<ToPType<ElemtsT>>, ToPType<ReturnT>>, // self PDelayed<ToPType<ReturnT>>>, PLam<// caseCons PLam<PList<ToPType<ElemtsT>>, ToPType<ReturnT>>, // self PLam<ToPType<ElemtsT>, PLam<PList<ToPType<ElemtsT>>, ToPType<ReturnT>>>>, PList<ToPType<ElemtsT>> ], ToPType<ReturnT>>>;