plutus-tx-plugin-1.30.0.0: The Plutus Tx compiler and GHC plugin
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusTx.Compiler.Utils

Synopsis

Documentation

getThingCompiling uni fun m ann ⇒ Name → m TyThing Source #

Get the TyThing for a given Name which was stored in the builtin name info, failing if it is missing.

sdToStr ∷ MonadReader (CompileContext uni fun) m ⇒ SDoc → m String Source #

sdToTxt ∷ MonadReader (CompileContext uni fun) m ⇒ SDoc → m Text Source #

throwSd ∷ (MonadError (CompileError uni fun ann) m, MonadReader (CompileContext uni fun) m) ⇒ (Text → Error uni fun ann) → SDoc → m a Source #

tyConsOfExpr ∷ CoreExpr → UniqSet TyCon Source #

tyConsOfBndr ∷ CoreBndr → UniqSet TyCon Source #

tyConsOfBind ∷ Bind CoreBndr → UniqSet TyCon Source #

tyConsOfAlt ∷ CoreAlt → UniqSet TyCon Source #