curry-base-0.2.2: Functions for manipulating Curry programs

Curry.Base.MessageMonad

Documentation

type MsgMonadT m = ErrorT WarnMsg (WriterT [WarnMsg] m)Source

type MsgMonad = MsgMonadT Identity Source

type MsgMonadIO = MsgMonadT IO Source

data WarnMsg Source

Constructors

WarnMsg
Fields warnPos :: Maybe Position warnTxt :: String

Instances

Show WarnMsg
Error WarnMsg

ok :: MsgMonad a -> aSource

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

runMsg :: MsgMonad a -> (Either WarnMsg a, [WarnMsg])Source

runMsgIO :: MsgMonad a -> (a -> IO (MsgMonad b)) -> IO (MsgMonad b)Source

dropIO :: MsgMonad a -> MsgMonadIO aSource