- Companion
- class
Value members
Inherited 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
- Inherited from
- FunctorLaws
def compositionAp[F[*], A, B, C](fa: F[A], f: F[B => C], g: F[A => B])(implicit F: Applicative[F], FC: Eq[F[C]]): Boolean
- Inherited from
- ApplicativeLaws
def homomorphism[F[*], A, B](f: A => B, a: => A)(implicit evidence$3: Applicative[F], F: Functor[F], FB: Eq[F[B]]): Boolean
- Inherited from
- ApplicativeLaws
def identityAp[F[*], A](fa: => F[A])(implicit evidence$2: Applicative[F], F: Functor[F], FA: Eq[F[A]]): Boolean
- Inherited from
- ApplicativeLaws
def interchange[F[*], A, B](a: => A, f: F[A => B])(implicit F: Applicative[F], FB: Eq[F[B]]): Boolean
- Inherited from
- ApplicativeLaws