UNPKG

@harmoniclabs/plu-ts-onchain

Version:

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

13 lines (12 loc) 731 B
import { IRApp } from "../IRNodes/IRApp.js"; import { IRCase } from "../IRNodes/IRCase.js"; import { IRConstr } from "../IRNodes/IRConstr.js"; import { IRDelayed } from "../IRNodes/IRDelayed.js"; import { IRForced } from "../IRNodes/IRForced.js"; import { IRFunc } from "../IRNodes/IRFunc.js"; import { IRHoisted } from "../IRNodes/IRHoisted.js"; import { IRLetted } from "../IRNodes/IRLetted.js"; import { IRRecursive } from "../IRNodes/IRRecursive.js"; import type { IRTerm } from "../IRTerm.js"; export type IRParentTerm = IRFunc | IRApp | IRLetted | IRHoisted | IRForced | IRDelayed | IRConstr | IRCase | IRRecursive; export declare function isIRParentTerm<T extends IRTerm>(stuff: T | undefined): stuff is (T & IRParentTerm);