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

UntypedPlutusCore.Test.DeBruijn.Good

Synopsis

Documentation

lamAbs0 ∷ t ~ Term DeBruijn uni fun () ⇒ t → t Source #

A helper to intro the only "sensical" lam: debruijn binders are always 0-indexed

idFun0 ∷ Term DeBruijn uni fun () Source #

This is a replica of idFun0 but using DeBruijn indices.

const0 ∷ Term DeBruijn uni fun () Source #

This is a replica of const but using DeBruijn indices.

deepFun0 ∷ Natural → Term DeBruijn DefaultUni DefaultFun () Source #

(lam0 ...n.... (Var n)) Correct binders, well-scoped variable

deeperFun0 ∷ Natural → Term DeBruijn DefaultUni DefaultFun () Source #

(lam0 ...n.... lam0 ...n.... (Var n+n)) Correct binders, well-scoped variable