Package

axle.algebra

laws

Permalink

package laws

Visibility
  1. Public
  2. All

Type Members

  1. trait ApplicativeLaws[F[_], A] extends Laws

    Permalink

  2. trait FunctorLaws[F, A] extends Laws

    Permalink

  3. trait MonadLaws[M[_], A] extends Laws

    Permalink

  4. trait MonoidLaws[A] extends Laws

    Permalink

Value Members

  1. object ApplicativeLaws

    Permalink

  2. object FunctorLaws

    Permalink

  3. object LinearAlgebraLaws

    Permalink

  4. object MonadLaws

    Permalink

  5. object MonoidLaws

    Permalink

Ungrouped