plutus-tx-plugin-1.39.0.0: The Plutus Tx compiler and GHC plugin

Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusTx.Compiler.Utils

Synopsis

lookupGhcTyCon ∷ Compiling uni fun m ann ⇒ Name → m TyCon
lookupGhcName ∷ Compiling uni fun m ann ⇒ Name → m Name
lookupGhcId ∷ Compiling uni fun m ann ⇒ Name → m Id
sdToStr ∷ MonadReader (CompileContext uni fun) m ⇒ SDoc → m String
sdToTxt ∷ MonadReader (CompileContext uni fun) m ⇒ SDoc → m Text
throwSd ∷ (MonadError (CompileError uni fun ann) m, MonadReader (CompileContext uni fun) m) ⇒ (Text → Error uni fun ann) → SDoc → m a
tyConsOfExpr ∷ CoreExpr → UniqSet TyCon
tyConsOfBndr ∷ CoreBndr → UniqSet TyCon
tyConsOfBind ∷ Bind CoreBndr → UniqSet TyCon
tyConsOfAlt ∷ CoreAlt → UniqSet TyCon

Documentation

lookupGhcTyCon ∷ Compiling uni fun m ann ⇒ Name → m TyCon Source #

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

lookupGhcName ∷ Compiling uni fun m ann ⇒ Name → m Name Source #

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

lookupGhcId ∷ Compiling uni fun m ann ⇒ Name → m Id Source #

Get the Id for a given Name 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 #