Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- getThing ∷ Compiling uni fun m ann ⇒ Name → m TyThing
- 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
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 #