Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusCore.Builtin.Debug

Description

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

module PlutusCore.Builtin.Meaning

module PlutusCore.Builtin.Elaborate