Safe Haskell | None |
---|
- data Log a v = Log a v
- class ShowLog l where
- logE :: (Typeable l, SetMember Log (Log l) r) => l -> Eff r ()
- filterLog :: (Typeable l, SetMember Log (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
- 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