laws

Type Members

trait AlternativeLaws[F[_]] extends ApplicativeLaws[F] with MonoidKLaws[F]
trait ApplicativeErrorLaws[F[_], E] extends ApplicativeLaws[F]
trait ApplicativeLaws[F[_]] extends ApplyLaws[F]

Laws that must be obeyed by any Applicative.
trait ApplyLaws[F[_]] extends FunctorLaws[F] with CartesianLaws[F]

Laws that must be obeyed by any Apply.
trait ArrowLaws[F[_, _]] extends CategoryLaws[F] with SplitLaws[F] with StrongLaws[F]

Laws that must be obeyed by any cats.arrow.Arrow.
trait BifoldableLaws[F[_, _]] extends AnyRef
trait BifunctorLaws[F[_, _]] extends AnyRef

Laws that must be obeyed by any Bifunctor.
trait BimonadLaws[F[_]] extends MonadLaws[F] with ComonadLaws[F]

Laws that must be obeyed by any Bimonad.
Laws that must be obeyed by any Bimonad.
For more information, see definition 4.1 from this paper: http://arxiv.org/pdf/0710.1163v3.pdf
trait BitraverseLaws[F[_, _]] extends BifoldableLaws[F] with BifunctorLaws[F]
trait CartesianLaws[F[_]] extends AnyRef

Laws that must be obeyed by any cats.Cartesian.
trait CategoryLaws[F[_, _]] extends ComposeLaws[F]

Laws that must be obeyed by any cats.arrow.Category.
trait ChoiceLaws[F[_, _]] extends CategoryLaws[F]

Laws that must be obeyed by any cats.arrow.Choice.
trait CoflatMapLaws[F[_]] extends FunctorLaws[F]

Laws that must be obeyed by any CoflatMap.
trait ComonadLaws[F[_]] extends CoflatMapLaws[F]

Laws that must be obeyed by any Comonad.
trait ComposeLaws[F[_, _]] extends AnyRef

Laws that must be obeyed by any cats.arrow.Compose.
trait ContravariantLaws[F[_]] extends InvariantLaws[F]

Laws that must be obeyed by any cats.functor.Contravariant.
trait FlatMapLaws[F[_]] extends ApplyLaws[F]

Laws that must be obeyed by any FlatMap.
trait FoldableLaws[F[_]] extends AnyRef
trait FunctorFilterLaws[F[_]] extends FunctorLaws[F]
trait FunctorLaws[F[_]] extends InvariantLaws[F]

Laws that must be obeyed by any Functor.
trait InvariantLaws[F[_]] extends AnyRef

Laws that must be obeyed by any cats.functor.Invariant.
trait InvariantMonoidalLaws[F[_]] extends InvariantLaws[F] with CartesianLaws[F]

Laws that must be obeyed by any cats.InvariantMonoidal.
final case class IsEq[A](lhs: A, rhs: A) extends Product with Serializable

Represents two values of the same type that are expected to be equal.
implicit final class IsEqArrow[A] extends AnyVal
trait MonadCombineLaws[F[_]] extends MonadFilterLaws[F] with AlternativeLaws[F]

Laws that must be obeyed by any MonadCombine.
trait MonadErrorLaws[F[_], E] extends ApplicativeErrorLaws[F, E] with MonadLaws[F]
trait MonadFilterLaws[F[_]] extends MonadLaws[F] with FunctorFilterLaws[F]

Laws that must be obeyed by any MonadFilter.
trait MonadLaws[F[_]] extends ApplicativeLaws[F] with FlatMapLaws[F]

Laws that must be obeyed by any Monad.
trait MonadReaderLaws[F[_], R] extends MonadLaws[F]
trait MonadStateLaws[F[_], S] extends MonadLaws[F]
trait MonadWriterLaws[F[_], W] extends MonadLaws[F]
trait MonoidKLaws[F[_]] extends SemigroupKLaws[F]

Laws that must be obeyed by any cats.MonoidK.
trait ProfunctorLaws[F[_, _]] extends AnyRef

Laws that must be obeyed by any cats.functor.Profunctor.
trait ReducibleLaws[F[_]] extends FoldableLaws[F]
trait SemigroupKLaws[F[_]] extends AnyRef

Laws that must be obeyed by any cats.SemigroupK.
trait SplitLaws[F[_, _]] extends ComposeLaws[F]

Laws that must be obeyed by any cats.arrow.Split.
trait StrongLaws[F[_, _]] extends ProfunctorLaws[F]

Laws that must be obeyed by any cats.functor.Strong.
trait TraverseFilterLaws[F[_]] extends TraverseLaws[F] with FunctorFilterLaws[F]
trait TraverseLaws[F[_]] extends FunctorLaws[F] with FoldableLaws[F]

Value Members

object AlternativeLaws
object ApplicativeErrorLaws
object ApplicativeLaws
object ApplyLaws
object ArrowLaws
object BifoldableLaws
object BifunctorLaws
object BimonadLaws
object BitraverseLaws
object CartesianLaws
object CategoryLaws
object ChoiceLaws
object CoflatMapLaws
object ComonadLaws
object ComposeLaws
object ContravariantLaws
object FlatMapLaws
object FoldableLaws
object FunctorFilterLaws
object FunctorLaws
object InvariantLaws
object InvariantMonoidalLaws
object MonadCombineLaws
object MonadErrorLaws
object MonadFilterLaws
object MonadLaws
object MonadReaderLaws
object MonadStateLaws
object MonadWriterLaws
object MonoidKLaws
object ProfunctorLaws
object ReducibleLaws
object SemigroupKLaws
object SerializableLaws

Check for Java Serializability.
Check for Java Serializability.
This law is only applicable on the JVM, but is something we want to be sure to enforce. Therefore, we use bricks.Platform to do a runtime check rather than create a separate jvm-laws project.
object SplitLaws
object StrongLaws
object TraverseFilterLaws
object TraverseLaws
package discipline

package laws

Type Members

trait AlternativeLaws[F[_]] extends ApplicativeLaws[F] with MonoidKLaws[F]

trait ApplicativeErrorLaws[F[_], E] extends ApplicativeLaws[F]

trait ApplicativeLaws[F[_]] extends ApplyLaws[F]

trait ApplyLaws[F[_]] extends FunctorLaws[F] with CartesianLaws[F]

trait ArrowLaws[F[_, _]] extends CategoryLaws[F] with SplitLaws[F] with StrongLaws[F]

trait BifoldableLaws[F[_, _]] extends AnyRef

trait BifunctorLaws[F[_, _]] extends AnyRef

trait BimonadLaws[F[_]] extends MonadLaws[F] with ComonadLaws[F]

trait BitraverseLaws[F[_, _]] extends BifoldableLaws[F] with BifunctorLaws[F]

trait CartesianLaws[F[_]] extends AnyRef

trait CategoryLaws[F[_, _]] extends ComposeLaws[F]

trait ChoiceLaws[F[_, _]] extends CategoryLaws[F]

trait CoflatMapLaws[F[_]] extends FunctorLaws[F]

trait ComonadLaws[F[_]] extends CoflatMapLaws[F]

trait ComposeLaws[F[_, _]] extends AnyRef

trait ContravariantLaws[F[_]] extends InvariantLaws[F]

trait FlatMapLaws[F[_]] extends ApplyLaws[F]

trait FoldableLaws[F[_]] extends AnyRef

trait FunctorFilterLaws[F[_]] extends FunctorLaws[F]

trait FunctorLaws[F[_]] extends InvariantLaws[F]

trait InvariantLaws[F[_]] extends AnyRef

trait InvariantMonoidalLaws[F[_]] extends InvariantLaws[F] with CartesianLaws[F]

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

implicit final class IsEqArrow[A] extends AnyVal

trait MonadCombineLaws[F[_]] extends MonadFilterLaws[F] with AlternativeLaws[F]

trait MonadErrorLaws[F[_], E] extends ApplicativeErrorLaws[F, E] with MonadLaws[F]

trait MonadFilterLaws[F[_]] extends MonadLaws[F] with FunctorFilterLaws[F]

trait MonadLaws[F[_]] extends ApplicativeLaws[F] with FlatMapLaws[F]

trait MonadReaderLaws[F[_], R] extends MonadLaws[F]

trait MonadStateLaws[F[_], S] extends MonadLaws[F]

trait MonadWriterLaws[F[_], W] extends MonadLaws[F]

trait MonoidKLaws[F[_]] extends SemigroupKLaws[F]

trait ProfunctorLaws[F[_, _]] extends AnyRef

trait ReducibleLaws[F[_]] extends FoldableLaws[F]

trait SemigroupKLaws[F[_]] extends AnyRef

trait SplitLaws[F[_, _]] extends ComposeLaws[F]

trait StrongLaws[F[_, _]] extends ProfunctorLaws[F]

trait TraverseFilterLaws[F[_]] extends TraverseLaws[F] with FunctorFilterLaws[F]

trait TraverseLaws[F[_]] extends FunctorLaws[F] with FoldableLaws[F]

Value Members

object AlternativeLaws

object ApplicativeErrorLaws

object ApplicativeLaws

object ApplyLaws

object ArrowLaws

object BifoldableLaws

object BifunctorLaws

object BimonadLaws

object BitraverseLaws

object CartesianLaws

object CategoryLaws

object ChoiceLaws

object CoflatMapLaws

object ComonadLaws

object ComposeLaws

object ContravariantLaws

object FlatMapLaws

object FoldableLaws

object FunctorFilterLaws

object FunctorLaws

object InvariantLaws

object InvariantMonoidalLaws

object MonadCombineLaws

object MonadErrorLaws

object MonadFilterLaws

object MonadLaws

object MonadReaderLaws

object MonadStateLaws

object MonadWriterLaws

object MonoidKLaws

object ProfunctorLaws

object ReducibleLaws

object SemigroupKLaws

object SerializableLaws

object SplitLaws

object StrongLaws

object TraverseFilterLaws