- Companion
- object
Value members
Concrete methods
def compositionAp[F[_], A, B, C](fa: F[A], f: F[B => C], g: F[A => B])(F: Applicative[F], FC: Eq[F[C]]): Boolean
def homomorphism[F[_], A, B](f: A => B, a: => A)(`evidence$3`: Applicative[F], F: Functor[F], FB: Eq[F[B]]): Boolean
def identityAp[F[_], A](fa: => F[A])(`evidence$2`: Applicative[F], F: Functor[F], FA: Eq[F[A]]): Boolean
Inherited methods
def composition[F[_], A, B, C](fa: F[A], f: B => C, g: A => B)(`evidence$1`: Functor[F], F: Functor[F], FC: Eq[F[C]]): Boolean
- Inherited from
- FunctorLaws