-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | An extensible log effect using extensible-effects
--   
--   Any help (especially documentation) is very welcome,
@package log-effect
@version 0.3.0.2

module Control.Eff.Log
data Log a v
Log :: a -> v -> Log a v
class ShowLog l
showLog :: ShowLog l => l -> LogStr
logE :: (Typeable l, Member (Log l) r) => l -> Eff r ()
filterLog :: (Typeable l, Member (Log l) r) => (l -> Bool) -> Eff r a -> Eff r a
runLogPure :: Typeable l => Eff (Log l :> r) a -> Eff r (a, [l])
runLogStdErr :: (Typeable l, ShowLog l, SetMember Lift (Lift IO) r) => Eff (Log l :> r) a -> Eff r a

-- | Log to file.
runLogFile :: (Typeable l, ShowLog l, SetMember Lift (Lift IO) r) => FilePath -> Eff (Log l :> r) a -> Eff r a
runLog :: (Typeable l, Typeable1 m, SetMember Lift (Lift m) r) => Logger m l -> Eff (Log l :> r) a -> Eff r a
instance Typeable2 Log
instance Functor (Log a)
instance ShowLog String

module Control.Eff.Log.Simple
type SimpleLog a = Log (Severity, a)
data Severity
DEBUG :: Severity
INFO :: Severity
NOTICE :: Severity
WARNING :: Severity
ERROR :: Severity
CRITICAL :: Severity
ALERT :: Severity
PANIC :: Severity
logTo :: (Typeable l, Member (Log (Severity, l)) r) => Severity -> l -> Eff r ()
debug :: (Typeable l, Member (Log (Severity, l)) r) => l -> Eff r ()
info :: (Typeable l, Member (Log (Severity, l)) r) => l -> Eff r ()
notice :: (Typeable l, Member (Log (Severity, l)) r) => l -> Eff r ()
warning :: (Typeable l, Member (Log (Severity, l)) r) => l -> Eff r ()
error :: (Typeable l, Member (Log (Severity, l)) r) => l -> Eff r ()
critical :: (Typeable l, Member (Log (Severity, l)) r) => l -> Eff r ()
alert :: (Typeable l, Member (Log (Severity, l)) r) => l -> Eff r ()
panic :: (Typeable l, Member (Log (Severity, l)) r) => l -> Eff r ()
instance Typeable Severity
instance Bounded Severity
instance Enum Severity
instance Eq Severity
instance Ord Severity
instance Read Severity
instance Show Severity
instance ShowLog a => ShowLog (Severity, a)