cats-docs
2.10.0
API
Generated with
cats-docs/cats/cats.laws/AlignLaws

AlignLaws

cats.laws.AlignLaws
See theAlignLaws companion object
trait AlignLaws[F[_]]

Laws that must be obeyed by any Align.

Attributes

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

Members list

Value members

Concrete methods

def alignAssociativity[A, B, C](fa: F[A], fb: F[B], fc: F[C]): IsEq[F[Ior[Ior[A, B], C]]]

Attributes

Source
AlignLaws.scala
def alignHomomorphism[A, B, C, D](fa: F[A], fb: F[B], f: A => C, g: B => D): IsEq[F[Ior[C, D]]]

Attributes

Source
AlignLaws.scala
def alignWithConsistent[A, B, C](fa: F[A], fb: F[B], f: Ior[A, B] => C): IsEq[F[C]]

Attributes

Source
AlignLaws.scala

Implicits

Implicits

implicit def F: Align[F]

Attributes

Source
AlignLaws.scala
implicit val functor: Functor[F]

Attributes

Source
AlignLaws.scala
Generated with