plutus-core-0.1.0.0: Language library for Plutus Core
Safe HaskellNone
LanguageHaskell2010

PlutusCore.Builtin.Elaborate

Synopsis

Documentation

type ElaborateFromTo i j val a = HandleHole 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).