log-effect-0.2.0.1: An extensible log effect using extensible-effects

Safe HaskellNone

Control.Eff.Log

Synopsis

Documentation

data Log a v Source

Constructors

Log a v 

Instances

Typeable2 Log 
Functor (Log a) 
SetMember (* -> * -> *) * Log (Log m) (:> * (Log m) a) 

class ShowLog l whereSource

Methods

showLog :: l -> LogStrSource

Instances

ShowLog String 
ShowLog a => ShowLog (Severity, a) 

logE :: (Typeable l, SetMember Log (Log l) r) => l -> Eff r ()Source

filterLog :: (Typeable l, SetMember Log (Log l) r) => (l -> Bool) -> Eff r a -> Eff r aSource

runLogPure :: Typeable l => Eff (Log l :> r) a -> Eff r (a, [l])Source

runLogStdErr :: (Typeable l, ShowLog l, SetMember Lift (Lift IO) r) => Eff (Log l :> r) a -> Eff r aSource

runLogFile :: (Typeable l, ShowLog l, SetMember Lift (Lift IO) r) => FilePath -> Eff (Log l :> r) a -> Eff r aSource

Log to file.

runLog :: (Typeable l, Typeable1 m, SetMember Lift (Lift m) r) => Logger m l -> Eff (Log l :> r) a -> Eff r aSource