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

Semigroup Log

Defined in Futhark.Util.Log

Methods

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

sconcat :: NonEmpty Log -> Log

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

Monoid Log

Defined in Futhark.Util.Log

Methods

mempty :: Log

mappend :: Log -> Log -> Log

mconcat :: [Log] -> Log

(Applicative 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 ()

(Applicative 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 ()

(Applicative 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 text. 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 String

Defined in Futhark.Util.Log

Methods

toLog :: String -> Log

ToLog Text

Defined in Futhark.Util.Log

Methods

toLog :: Text -> 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 ()

(Applicative 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 (DistNestT rep m)

Defined in Futhark.Pass.ExtractKernels.DistributeNests

Methods

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

addLog :: Log -> DistNestT rep m ()

(Applicative 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 ()

(Applicative 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 ()