module Hint.Conversions
(
typeToString
,kindToString
,moduleToString
,isSucceeded
)
where
import qualified Hint.GHC as GHC
import Hint.Base
import qualified Hint.Compat as Compat
typeToString :: MonadInterpreter m => GHC.Type -> m String
typeToString t
= do
unqual <- runGhc GHC.getPrintUnqual
withDynFlags $ \df ->
return $ Compat.showSDocForUser df unqual (Compat.pprType t)
kindToString :: MonadInterpreter m => Compat.Kind -> m String
kindToString (Compat.Kind k)
= withDynFlags $ \df ->
return $ Compat.showSDoc df (Compat.pprKind k)
moduleToString :: GHC.Module -> String
moduleToString = GHC.moduleNameString . GHC.moduleName
isSucceeded :: GHC.SuccessFlag -> Bool
isSucceeded GHC.Succeeded = True
isSucceeded GHC.Failed = False