| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
UntypedPlutusCore.Core
Synopsis
- module UntypedPlutusCore.Core.Type
- module UntypedPlutusCore.Core.Plated
- module UntypedPlutusCore.Core.Instance
- splitParams ∷ Term name uni fun a → ([(name, a)], Term name uni fun a)
- splitApplication ∷ Term name uni fun a → (Term name uni fun a, [(a, Term name uni fun a)])
Documentation
module UntypedPlutusCore.Core.Type
splitParams ∷ Term name uni fun a → ([(name, a)], Term name uni fun a) Source #
Strips off lambda binders.