plutus-core-1.30.0.0: Language library for Plutus Core
Safe HaskellSafe-Inferred
LanguageHaskell2010

UntypedPlutusCore.Core

Synopsis

Documentation

splitParamsTerm name uni fun a → ([name], Term name uni fun a) Source #

Strips off lambda binders.

splitApplicationTerm name uni fun a → (Term name uni fun a, [(a, Term name uni fun a)]) Source #

Strip off arguments