UNPKG

@harmoniclabs/plu-ts-onchain

Version:

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

25 lines (24 loc) 1.09 kB
import { PLam, PString, PBool, PByteString } from "../../../PTypes/index.js"; import { Term } from "../../../Term/index.js"; import { PappArg } from "../../pappArg.js"; import { TermBS } from "../../std/UtilityTerms/TermBS.js"; import { TermBool } from "../../std/UtilityTerms/TermBool.js"; import { TermStr } from "../../std/UtilityTerms/TermStr.js"; export type StrBinOPToStr = Term<PLam<PString, PLam<PString, PString>>> & { $: (input: PappArg<PString>) => Term<PLam<PString, PString>> & { $: (input: PappArg<PString>) => TermStr; }; }; export declare const pappendStr: StrBinOPToStr; export type StrBinOPToBool = Term<PLam<PString, PLam<PString, PBool>>> & { $: (input: PappArg<PString>) => Term<PLam<PString, PBool>> & { $: (input: PappArg<PString>) => TermBool; }; }; export declare const peqStr: StrBinOPToBool; export declare const pencodeUtf8: Term<PLam<PString, PByteString>> & { $: (str: PappArg<PString>) => TermBS; }; export declare const pdecodeUtf8: Term<PLam<PByteString, PString>> & { $: (str: PappArg<PByteString>) => TermStr; };