| 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
).