Package

effects4s.laws

util

Permalink

package util

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. util
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. trait Applicative[F[_]] extends AnyRef

    Permalink

    A shim for an Applicative type, which we need in order to describe laws for what would be otherwise lawless type-classes.

  2. trait Eq[T] extends AnyRef

    Permalink

    A type-class for testing equality.

  3. implicit final class IsEqArrow[A] extends AnyVal

    Permalink

    Syntax for expressing equivalence in laws.

  4. final case class IsEquiv[A](lhs: A, rhs: A) extends Product with Serializable

    Permalink

    For expressing equivalence in laws.

  5. trait Monad[F[_]] extends Applicative[F]

    Permalink

    A shim for a Monad type, which we need in order to describe laws for what would be otherwise lawless type-classes.

Value Members

  1. object Applicative

    Permalink

  2. object Eq extends EqLevel1

    Permalink

  3. object Monad

    Permalink

  4. object Platform

    Permalink

    For differentiating between the JVM and the JS runtime, as JS is often slower and we are better off running some logic with different parameters.

Inherited from AnyRef

Inherited from Any

Ungrouped