Documentation
type MsgMonadIO = MsgMonadT IOSource
failWith :: (MonadError a m, Error a) => String -> m a1Source
failWithAt :: MonadError WarnMsg m => Position -> String -> m aSource
warnMessage :: MonadWriter [WarnMsg] m => String -> m ()Source
warnMessageAt :: MonadWriter [WarnMsg] m => Position -> String -> m ()Source
dropIO :: MsgMonad a -> MsgMonadIO aSource