| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
UVMHS.Lib.Logging
Documentation
Constructors
| LogLevel | |
Fields
| |
Constructors
| LogDepth | |
Fields
| |
data LogOptions Source #
Constructors
| LogOptions | |
Fields
| |
Instances
| Show LogOptions Source # | |
Defined in UVMHS.Lib.Logging Methods showsPrec :: Int -> LogOptions -> ShowS # show :: LogOptions -> String # showList :: [LogOptions] -> ShowS # | |
| Eq LogOptions Source # | |
Defined in UVMHS.Lib.Logging | |
| Ord LogOptions Source # | |
Defined in UVMHS.Lib.Logging Methods compare :: LogOptions -> LogOptions -> Ordering # (<) :: LogOptions -> LogOptions -> Bool # (<=) :: LogOptions -> LogOptions -> Bool # (>) :: LogOptions -> LogOptions -> Bool # (>=) :: LogOptions -> LogOptions -> Bool # max :: LogOptions -> LogOptions -> LogOptions # min :: LogOptions -> LogOptions -> LogOptions # | |
pplog :: (Monad m, MonadIO m, MonadReader r m, HasLens r LogOptions) => ℕ64 -> (() -> Doc) -> m () Source #
pplogd :: (Monad m, MonadIO m, MonadReader r m, HasLens r LogOptions) => ℕ64 -> (() -> Doc) -> m () Source #
pplogdIndent :: (Monad m, MonadIO m, MonadReader r m, HasLens r LogOptions) => m a -> m a Source #
pplogdIndentReset :: (Monad m, MonadIO m, MonadReader r m, HasLens r LogOptions) => m a -> m a Source #
whenLogLevel :: (Monad m, MonadReader r m, HasLens r LogOptions) => ℕ64 -> (() -> m ()) -> m () Source #