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

InstrumentLaws

cats.tagless.laws.InstrumentLaws
See theInstrumentLaws companion object
trait InstrumentLaws[F[_[_]]] extends FunctorKLaws[F]

Attributes

Companion
object
Source
InstrumentLaws.scala
Graph
Supertypes
trait FunctorKLaws[F]
trait InvariantKLaws[F]
class Object
trait Matchable
class Any
Known subtypes
trait AspectLaws[F, Dom, Cod]

Members list

Value members

Concrete methods

def instrumentPreservingSemantics[A[_]](fa: F[A]): IsEq[F[A]]

Attributes

Source
InstrumentLaws.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 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: Instrument[F]

Attributes

Source
InstrumentLaws.scala
Generated with