Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusTx.Compiler.Utils

Synopsis

data SomeStarIn uni = ∀ a. SomeStarIn !(uni (Esc a))
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
getPackageName ∷ HscEnv → Module → String

Documentation

data SomeStarIn uni Source #

Identical to SomeTypeIn but without existential kind. Having kind fixed to Type makes it easier to pattern match and construct a different type within universe. See how it's used in compileMkNil.

Constructors

∀ a. SomeStarIn !(uni (Esc a))

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 #

getPackageName ∷ HscEnv → Module → String Source #

Get the package name for the module being compiled. Tries lookupUnit first (works for installed packages), then thisPackageName from DynFlags (works for home library units), and finally falls back to stripping the version from the unit ID string.