just-fp-core/just.fp/Applicative/ApplicativeLaw

ApplicativeLaw

trait ApplicativeLaw extends FunctorLaw
class Object
trait Matchable
class Any
trait MonadLaw

Value members

Concrete methods

def compositionAp[A, B, C](fa: F[A], f: F[B => C], g: F[A => B])(FC: Equal[F[C]]): Boolean
def homomorphism[A, B](f: A => B, a: => A)(FB: Equal[F[B]]): Boolean
def identityAp[A](fa: => F[A])(FA: Equal[F[A]]): Boolean
def interchange[A, B](a: => A, f: F[A => B])(FB: Equal[F[B]]): Boolean

Inherited methods

def composition[A, B, C](fa: F[A], f: B => C, g: A => B)(FC: Equal[F[C]]): Boolean
Inherited from
FunctorLaw
def identity[A](fa: F[A])(FA: Equal[F[A]]): Boolean
Inherited from
FunctorLaw