Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
errorRange_ :: ErrorMsg -> [SI] Source #
errorRange :: [Info] -> [Range] Source #
throwError' :: (MonadError ErrorMsg m, MonadWriter [Info] m) => ErrorMsg -> m b Source #
listTraceInfos :: [Info] -> [Doc] Source #
tellType :: (PShow a, SourceInfo a1, MonadWriter [Info] m) => a1 -> a -> m () Source #
getDef :: (MonadWriter [Info] m, MonadError ErrorMsg m, MonadReader (a, Map SName (Exp, Type, t)) m) => t1 -> SI -> SName -> m ExpType Source #
removeHiddenUnit :: Exp -> Exp Source #
withEnv :: (Monoid b, MonadReader (d, b) m) => b -> m a -> m a Source #
floatLetMeta :: Exp -> Bool Source #