cats-mtl-docs
1.4.0
API
Generated with
cats-mtl-docs/cats.mtl/cats.mtl.laws/ChronicleLaws

ChronicleLaws

cats.mtl.laws.ChronicleLaws
See theChronicleLaws companion object
trait ChronicleLaws[F[_], E]

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

Attributes

Companion
object
Source
ChronicleLaws.scala
Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

def confessThenAbsolveIsPure[A](a: A, e: E): IsEq[F[A]]

Attributes

Source
ChronicleLaws.scala
def confessThenMaterializeIsLeft[A](e: E): IsEq[F[Ior[E, A]]]

Attributes

Source
ChronicleLaws.scala
def confessThenMementoIsLeft[A](e: E): IsEq[F[Either[E, A]]]

Attributes

Source
ChronicleLaws.scala
def confessThenRetconIsConfess[A](f: E => E, e: E): IsEq[F[A]]

Attributes

Source
ChronicleLaws.scala
def dictateSharkConfessIsConfessSemigroup[A](e0: E, e: E)(implicit ev: Semigroup[E]): IsEq[F[A]]

Attributes

Source
ChronicleLaws.scala
def dictateSharkDictateIsDictateSemigroup(e0: E, e: E)(implicit ev: Semigroup[E]): IsEq[F[Unit]]

Attributes

Source
ChronicleLaws.scala
def dictateThenCondemIsConfess[A](e: E): IsEq[F[Unit]]

Attributes

Source
ChronicleLaws.scala
def dictateThenMaterializeIsBoth(e: E): IsEq[F[Ior[E, Unit]]]

Attributes

Source
ChronicleLaws.scala
def dictateThenRetconIsDictate[A](f: E => E, e: E): IsEq[F[Unit]]

Attributes

Source
ChronicleLaws.scala
def pureThenMaterializeIsRight[A](a: A): IsEq[F[Ior[E, A]]]

Attributes

Source
ChronicleLaws.scala
def pureThenRetconIsPure[A](f: E => E, a: A): IsEq[F[A]]

Attributes

Source
ChronicleLaws.scala

Implicits

Implicits

implicit def chronicleInstance: Chronicle[F, E]

Attributes

Source
ChronicleLaws.scala
implicit def monad: Monad[F]

Attributes

Source
ChronicleLaws.scala
Generated with