Safe Haskell	None
Language	Haskell2010

PlutusCore.Builtin.Elaborate

Synopsis

type ElaborateFromTo (uni :: Type -> Type) (i :: Nat) (j :: Nat) val a = HandleHole uni i j val (TypeHole a :: Hole)

Documentation

type ElaborateFromTo (uni :: Type -> Type) (i :: Nat) (j :: Nat) val a = HandleHole uni i j val (TypeHole a :: Hole) 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).