laws
0.16.0
API
Generated with
laws/cats.tagless.laws/AspectLaws

AspectLaws

cats.tagless.laws.AspectLaws
See theAspectLaws companion object
trait AspectLaws[F[_[_]], Dom[_], Cod[_]] extends InstrumentLaws[F]

Attributes

Companion
object
Source
AspectLaws.scala
Graph
Supertypes
trait InstrumentLaws[F]
trait FunctorKLaws[F]
trait InvariantKLaws[F]
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

def weaveInstrumentConsistency[A[_]](fa: F[A]): IsEq[F[[_] =>> Instrumentation[A, _$9]]]

Attributes

Source
AspectLaws.scala
def weavePreservingSemantics[A[_]](fa: F[A]): IsEq[F[A]]

Attributes

Source
AspectLaws.scala

Inherited methods

def covariantComposition[A[_], B[_], C[_]](fa: F[A], f: FunctionK[A, B], g: FunctionK[B, C]): IsEq[F[C]]

Attributes

Inherited from:
FunctorKLaws
Source
FunctorKLaws.scala
def covariantIdentity[A[_]](fg: F[A]): IsEq[F[A]]

Attributes

Inherited from:
FunctorKLaws
Source
FunctorKLaws.scala
def instrumentPreservingSemantics[A[_]](fa: F[A]): IsEq[F[A]]

Attributes

Inherited from:
InstrumentLaws
Source
InstrumentLaws.scala
def invariantComposition[A[_], B[_], C[_]](fa: F[A], f1: FunctionK[A, B], f2: FunctionK[B, A], g1: FunctionK[B, C], g2: FunctionK[C, B]): IsEq[F[C]]

Attributes

Inherited from:
InvariantKLaws
Source
InvariantKLaws.scala
def invariantIdentity[A[_]](fa: F[A]): IsEq[F[A]]

Attributes

Inherited from:
InvariantKLaws
Source
InvariantKLaws.scala

Implicits

Implicits

implicit def F: Aspect[F, Dom, Cod]

Attributes

Source
AspectLaws.scala
Generated with