| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
PlutusCore.Builtin.Elaborate
Synopsis
- type ElaborateFromTo i j val a = HandleHole i j val (TypeHole a)
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).