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

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 #