Package

axle.algebra

laws

Permalink

package laws

Visibility
  1. Public
  2. All

Type Members

  1. trait FunctorLaws[F, A] extends Laws

    Permalink

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

    Permalink

  3. trait MonoidLaws[A] extends Laws

    Permalink

Value Members

  1. object FunctorLaws

    Permalink

  2. object LinearAlgebraLaws

    Permalink

  3. object MonadLaws

    Permalink

  4. object MonoidLaws

    Permalink

Ungrouped