| Copyright | (C) 2015 Flowbox |
|---|---|
| License | Apache-2.0 |
| Maintainer | Wojciech Daniło <wojciech.danilo@gmail.com> |
| Stability | stable |
| Portability | portable |
| Safe Haskell | None |
| Language | Haskell2010 |
System.Log.Data
Description
Documentation
log :: (Show pri, Enum pri, MonadRecord (Data Lvl, (Data Msg, r)) m) => RecordBuilder r -> pri -> String -> m () Source
newtype RecordBuilder a Source
Constructors
| RecordBuilder | |
Fields
| |
Instances
| Functor RecordBuilder | |
| LookupDataSet base r => Lookup base (RecordBuilder r) | |
| Show a => Show (RecordBuilder a) |
empty :: RecordBuilder () Source
class MonadRecord d m where Source
Minimal complete definition
Nothing
Methods
appendRecord :: RecordBuilder d -> m () Source
Instances
| (Functor m, MonadLogger m, (~) * l (LogFormat m), LogBuilder d (HandlerLogger m), LookupDataSet Msg l, LookupDataSet Lvl l) => MonadRecord d (HandlerLogger m) | |
| (MonadLogger m, MonadRecord d m, LookupDataSet Lvl d) => MonadRecord d (PriorityLoggerT m) | |
| Monad m => MonadRecord d (DropLoggerT m) | |
| (Monad m, Functor m, LogBuilderProto d (WriterLogger m) (LogFormat m), MonadLogger m) => MonadRecord d (WriterLogger m) | |
| Monad m => MonadRecord d (BaseLoggerT l m) | |
| (MonadIO m, MonadRecord d n) => MonadRecord d (ThreadedLogger' n a m) |
appData :: (a ~ DataOf base) => base -> a -> RecordBuilder as -> RecordBuilder (Data base, as) Source
Instances
| (Functor m, Applicative m, DataGetter y m, LogBuilderProto () m ys) => LogBuilderProto () m (Data y, ys) | |
| LookupDataSet base as => LookupDataSet base (Data b, as) | |
| LookupDataSet base (Data base, as) | |
| (Show (DataOf base), Show base) => Show (Data base) | |
| (LogBuilderProto (Data x, xs) m ys, LogBuilderProto xs m (Data y, ()), Monad m) => LogBuilderProto (Data x, xs) m (Data y, ys) | |
| (LogBuilderProto xs m ys, Functor m) => LogBuilderProto (Data x, xs) m (Data x, ys) |
class DataGetter base m where Source
Instances
| MonadIO m => DataGetter Time m |
class LogBuilderProto a m b where Source
Methods
buildLogProto :: RecordBuilder a -> m (Log b) Source
Instances
| Monad m => LogBuilderProto a m () | |
| (Functor m, Applicative m, DataGetter y m, LogBuilderProto () m ys) => LogBuilderProto () m (Data y, ys) | |
| (LogBuilderProto (Data x, xs) m ys, LogBuilderProto xs m (Data y, ()), Monad m) => LogBuilderProto (Data x, xs) m (Data y, ys) | |
| (LogBuilderProto xs m ys, Functor m) => LogBuilderProto (Data x, xs) m (Data x, ys) |
type LogBuilder a m = LogBuilderProto a m (LogFormat m) Source
buildLog :: (Monad m, Applicative m, LogBuilder a m) => RecordBuilder a -> m (Log (LogFormat m)) Source
class Lookup base s where Source
Instances
| LookupDataSet base r => Lookup base (RecordBuilder r) | |
| LookupDataSet base l => Lookup base (Log l) |
class LookupDataSet base s where Source
Methods
lookupDataSet :: base -> s -> Data base Source
Instances
| LookupDataSet base as => LookupDataSet base (Data b, as) | |
| LookupDataSet base (Data base, as) |
Constructors
| Time |
Constructors
| LocData | |