Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
This module helps to visualize and debug the BuiltinMeaning
inference machinery from the
Elaborate
and Meaning
modules.
Synopsis
- elaborateDebug ∷ ∀ a j. ElaborateFromTo DefaultUni 0 j (Term TyName Name DefaultUni DefaultFun ()) a ⇒ a → a
- makeBuiltinMeaningDebug ∷ ∀ a. MakeBuiltinMeaning a (Term TyName Name DefaultUni DefaultFun ()) ⇒ a → a
- module PlutusCore.Name.Unique
- module PlutusCore.Default
- module PlutusCore.Core
- module PlutusCore.Builtin.Polymorphism
- module PlutusCore.Builtin.Meaning
- module PlutusCore.Builtin.Elaborate
Documentation
elaborateDebug ∷ ∀ a j. ElaborateFromTo DefaultUni 0 j (Term TyName Name DefaultUni DefaultFun ()) a ⇒ a → a Source #
Instantiate type variables in the type of a value using ElaborateFromTo
. Example usages:
>>>
:t elaborateDebug False
elaborateDebug False :: Bool>>>
:t elaborateDebug fst
elaborateDebug fst :: (TyVarRep ('TyNameRep "a" 0), TyVarRep ('TyNameRep "b" 1)) -> TyVarRep ('TyNameRep "a" 0)
makeBuiltinMeaningDebug ∷ ∀ a. MakeBuiltinMeaning a (Term TyName Name DefaultUni DefaultFun ()) ⇒ a → a Source #
module PlutusCore.Name.Unique
module PlutusCore.Default
module PlutusCore.Core
module PlutusCore.Builtin.Meaning
module PlutusCore.Builtin.Elaborate