effectie-test4cats/effectie.testing.cats/Laws/FunctorLaws

FunctorLaws

trait FunctorLaws
Companion
object
class Object
trait Matchable
class Any
trait MonadLaws
object MonadLaws

Value members

Concrete methods

def composition[F[*], A, B, C](fa: F[A], f: B => C, g: A => B)(implicit evidence$1: Functor[F], F: Functor[F], FC: Eq[F[C]]): Boolean
def identity[F[*], A](fa: F[A])(implicit F: Functor[F], FA: Eq[F[A]]): Boolean