Log

trait Log[F[_]]
Authors

Kevin Lee

Since

2020-04-10

Companion
object
class Object
trait Matchable
class Any
class LogF[F]
trait Loggers[F]
class LoggersF[F]

Value members

Concrete methods

def log[A](fa: F[A])(toLeveledMessage: A => LeveledMessage & NotIgnorable): F[A]
def log[A](foa: F[Option[A]])(ifEmpty: => LeveledMessage & MaybeIgnorable, toLeveledMessage: A => LeveledMessage & MaybeIgnorable): F[Option[A]]
def log[A, B](feab: F[Either[A, B]])(leftToMessage: A => LeveledMessage & MaybeIgnorable, rightToMessage: B => LeveledMessage & MaybeIgnorable): F[Either[A, B]]
def log[A](otfa: OptionT[F, A])(ifEmpty: => LeveledMessage & MaybeIgnorable, toLeveledMessage: A => LeveledMessage & MaybeIgnorable): OptionT[F, A]
def log[A, B](etfab: EitherT[F, A, B])(leftToMessage: A => LeveledMessage & MaybeIgnorable, rightToMessage: B => LeveledMessage & MaybeIgnorable): EitherT[F, A, B]
def logPure[A](fa: F[A])(toLeveledMessage: A => LeveledMessage & NotIgnorable): F[A]
def logPure[A](foa: F[Option[A]])(ifEmpty: => LeveledMessage & MaybeIgnorable, toLeveledMessage: A => LeveledMessage & MaybeIgnorable): F[Option[A]]
def logPure[A, B](feab: F[Either[A, B]])(leftToMessage: A => LeveledMessage & MaybeIgnorable, rightToMessage: B => LeveledMessage & MaybeIgnorable): F[Either[A, B]]
def logPure[A](otfa: OptionT[F, A])(ifEmpty: => LeveledMessage & MaybeIgnorable, toLeveledMessage: A => LeveledMessage & MaybeIgnorable): OptionT[F, A]
def logPure[A, B](etfab: EitherT[F, A, B])(leftToMessage: A => LeveledMessage & MaybeIgnorable, rightToMessage: B => LeveledMessage & MaybeIgnorable): EitherT[F, A, B]

Abstract fields

val canLog: CanLog

Implicits

Implicits

implicit val EF0: Fx[F]
implicit val MF0: Monad[F]