| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Plutarch.Internal.Other
Synopsis
- printTerm :: HasCallStack => Config -> ClosedTerm a -> String
- printScript :: Script -> String
- pto :: Term s a -> Term s (PInner a)
Documentation
printTerm :: HasCallStack => Config -> ClosedTerm a -> String Source #
Prettyprint a Term via the PLC pretty printer
TODO: Heavily improve. It's unreadable right now.
We could convert the de Bruijn indices into names with:
show . prettyPlcReadableDef . (\(Right p) -> p) . Scripts.mkTermToEvaluate . compile $ term
printScript :: Script -> String Source #
Prettyprint a compiled Script via the PLC pretty printer