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

PlutusCore.Builtin.Elaborate

Synopsis

Documentation

type ElaborateFromTo uni i j val a = HandleHole uni i j val (TypeHole a) Source #

Specialize each Haskell type variable in a as a type representing a PLC type variable. i is a fresh id and j is a final one as in TrySpecializeAsVar, but since HandleHole can specialize multiple variables, j can be equal to i + n for any n (including 0).