cats-mtl/cats.mtl/Chronicle

Chronicle

object Chronicle extends ChronicleInstances
Companion
class
trait ChronicleInstances
class Object
trait Matchable
class Any

Value members

Concrete methods

def apply[F[_], E](ev: Chronicle[F, E]): Chronicle[F, E]
def chronicle[F[_], E, A](ior: Ior[E, A])(ev: Chronicle[F, E]): F[A]
def confess[F[_], E, A](c: E)(ev: Chronicle[F, E]): F[A]
def dictate[F[_], E](e: E)(ev: Chronicle[F, E]): F[Unit]
def disclose[F[_], A, E](c: E)(ev: Chronicle[F, E], m: Monoid[A]): F[A]
def materialize[F[_], E, A](fa: F[A])(ev: Chronicle[F, E]): F[Ior[E, A]]

Implicits

Inherited implicits

implicit def chronicleForEitherT[F[_], E, E2](`evidence$4`: Monad[F], F: Chronicle[F, E]): Chronicle[[_] =>> EitherT[F, E2, _$15], E]
Inherited from
ChronicleInstances
implicit def chronicleForIorT[F[_], E](`evidence$1`: Semigroup[E], F: Monad[F]): Chronicle[[_] =>> IorT[F, E, _$3], E]
Inherited from
ChronicleInstances
implicit def chronicleForKleisli[F[_], E, R](`evidence$5`: Monad[F], F: Chronicle[F, E]): Chronicle[[_] =>> Kleisli[F, R, _$20], E]
Inherited from
ChronicleInstances
implicit def chronicleForOptionT[F[_], E](`evidence$7`: Monad[F], F: Chronicle[F, E]): Chronicle[[_] =>> OptionT[F, _$28], E]
Inherited from
ChronicleInstances
implicit def chronicleForRWST[F[_], E, R, L, S](`evidence$8`: Monad[F], `evidence$9`: Monoid[L], F: Chronicle[F, E]): Chronicle[[_] =>> ReaderWriterStateT[F, R, L, S, _$33], E]
Inherited from
ChronicleInstances
implicit def chronicleForStateT[F[_], E, S](`evidence$6`: Monad[F], F: Chronicle[F, E]): Chronicle[[_] =>> StateT[F, S, _$24], E]
Inherited from
ChronicleInstances
implicit def chronicleForWriterT[F[_], E, L](`evidence$2`: Monad[F], `evidence$3`: Monoid[L], F: Chronicle[F, E]): Chronicle[[_] =>> WriterT[F, L, _$10], E]
Inherited from
ChronicleInstances
final implicit def chronicleIor[E](S: Semigroup[E]): Chronicle[[_] =>> Ior[E, _$6], E]
Inherited from
ChronicleInstances