Futhark.Util.Log

Opaque type for an operations log that provides fast O(1) appends.

Documentation

data Log

An efficiently catenable sequence of log entries.

Instances

Monoid Log

Defined in Futhark.Util.Log

Methods

mempty :: Log

mappend :: Log -> Log -> Log

mconcat :: [Log] -> Log

Semigroup Log

Defined in Futhark.Util.Log

Methods

(<>) :: Log -> Log -> Log

sconcat :: NonEmpty Log -> Log

stimes :: Integral b => b -> Log -> Log

Monad m => MonadLogger (WriterT Log m)

Defined in Futhark.Util.Log

Methods

logMsg :: ToLog a => a -> WriterT Log m ()

addLog :: Log -> WriterT Log m ()

Monad m => MonadLogger (RWST r Log s m)

Defined in Futhark.Util.Log

Methods

logMsg :: ToLog a => a -> RWST r Log s m ()

addLog :: Log -> RWST r Log s m ()

Monad m => MonadLogger (RWST r Log s m)

Defined in Futhark.Util.Log

Methods

logMsg :: ToLog a => a -> RWST r Log s m ()

addLog :: Log -> RWST r Log s m ()

toText :: Log -> Text

Transform a log into pretty. Every log entry becomes its own line (or possibly more, in case of multi-line entries).

class ToLog a where

Typeclass for things that can be turned into a single-entry log.

Methods

toLog :: a -> Log

Instances

ToLog Text

Defined in Futhark.Util.Log

Methods

toLog :: Text -> Log

ToLog String

Defined in Futhark.Util.Log

Methods

toLog :: String -> Log

class (Applicative m, Monad m) => MonadLogger m where

Typeclass for monads that support logging.

Minimal complete definition

addLog

Methods

logMsg :: ToLog a => a -> m ()

Add one log entry.

addLog :: Log -> m ()

Append an entire log.

Instances

MonadLogger PassM

Defined in Futhark.Pass

Methods

logMsg :: ToLog a => a -> PassM ()

addLog :: Log -> PassM ()

MonadLogger FutharkM

Defined in Futhark.Pipeline

Methods

logMsg :: ToLog a => a -> FutharkM ()

addLog :: Log -> FutharkM ()

MonadLogger IO

Defined in Futhark.Util.Log

Methods

logMsg :: ToLog a => a -> IO ()

addLog :: Log -> IO ()

Monad m => MonadLogger (DistNestT rep m)

Defined in Futhark.Pass.ExtractKernels.DistributeNests

Methods

logMsg :: ToLog a => a -> DistNestT rep m ()

addLog :: Log -> DistNestT rep m ()

Monad m => MonadLogger (WriterT Log m)

Defined in Futhark.Util.Log

Methods

logMsg :: ToLog a => a -> WriterT Log m ()

addLog :: Log -> WriterT Log m ()

Monad m => MonadLogger (RWST r Log s m)

Defined in Futhark.Util.Log

Methods

logMsg :: ToLog a => a -> RWST r Log s m ()

addLog :: Log -> RWST r Log s m ()

Monad m => MonadLogger (RWST r Log s m)

Defined in Futhark.Util.Log

Methods

logMsg :: ToLog a => a -> RWST r Log s m ()

addLog :: Log -> RWST r Log s m ()