Proptics law/proptics.law/FunctorWithIndexLaws

FunctorWithIndexLaws

trait FunctorWithIndexLaws[F[_], I]
Companion:
object
class Object
trait Matchable
class Any

Value members

Concrete methods

def covariantComposition[A, B, C](fa: F[A], f: A => B, g: B => C): IsEq[F[C]]
def covariantIdentity[A](fa: F[A]): IsEq[F[A]]
def functorWithIndexComposition[A, B, C](fa: F[A], f: (A, I) => B, g: (B, I) => C): IsEq[F[C]]
def functorWithIndexIdentity[A](fa: F[A]): IsEq[F[A]]

Implicits

Implicits

implicit def F: FunctorWithIndex[F, I]