cats-mtl-laws/cats.mtl.laws/ChronicleLaws

ChronicleLaws

trait ChronicleLaws[F[_], E]

Created by Yuval.Itzchakov on 20/07/2018.

Companion:
object
class Object
trait Matchable
class Any

Value members

Concrete methods

def confessThenAbsolveIsPure[A](a: A, e: E): IsEq[F[A]]
def confessThenMaterializeIsLeft[A](e: E): IsEq[F[Ior[E, A]]]
def confessThenMementoIsLeft[A](e: E): IsEq[F[Either[E, A]]]
def confessThenRetconIsConfess[A](f: E => E, e: E): IsEq[F[A]]
def dictateSharkConfessIsConfessSemigroup[A](e0: E, e: E)(implicit ev: Semigroup[E]): IsEq[F[A]]
def dictateSharkDictateIsDictateSemigroup(e0: E, e: E)(implicit ev: Semigroup[E]): IsEq[F[Unit]]
def dictateThenRetconIsDictate[A](f: E => E, e: E): IsEq[F[Unit]]
def pureThenMaterializeIsRight[A](a: A): IsEq[F[Ior[E, A]]]
def pureThenRetconIsPure[A](f: E => E, a: A): IsEq[F[A]]

Implicits

Implicits

implicit def chronicleInstance: Chronicle[F, E]
implicit def monad: Monad[F]