UNPKG

@harmoniclabs/plu-ts-onchain

Version:

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

12 lines (11 loc) 852 B
import { PList, PData } from "../../../../PTypes/index.js"; import { Term } from "../../../../Term/index.js"; import { ToPType } from "../../../../type_system/index.js"; import { TermType } from "../../../../type_system/types.js"; import { Data } from "@harmoniclabs/plutus-data"; import { TermList } from "../../UtilityTerms/TermList.js"; export declare function assertValidListType(elemsT: TermType): void; export declare function pnil<ElemsT extends TermType>(elemsT: ElemsT): TermList<ToPType<ElemsT>>; export declare function pconstList<ElemsT extends TermType>(elemsT: ElemsT): (elems: Term<ToPType<ElemsT>>[]) => TermList<ToPType<ElemsT>>; export declare function pList<ElemsT extends TermType>(elemsT: ElemsT): (elems: Term<ToPType<ElemsT>>[]) => TermList<ToPType<ElemsT>>; export declare function pDataList(datas: Data[]): Term<PList<PData>>;