Proptics law/proptics.law/TraverseWithIndexLaws

TraverseWithIndexLaws

object TraverseWithIndexLaws
Companion:
class
class Object
trait Matchable
class Any

Value members

Concrete methods

def apply[F[_], I](implicit ev: TraverseWithIndex[F, I]): TraverseWithIndexLaws[F, I]