scalaprops-all

scala.scalajs.reflect.annotation

EnableReflectiveInstantiation

CheckResultError

CheckResultError

CogenInstances0

CogenInstances1

MersenneTwister32

MersenneTwister32

MersenneTwister64

MersenneTwister64

OrConsInstances

ScalapropsEvent

ScalapropsFramework

ScalapropsListener

ScalapropsListener

ScalapropsRunner

ScalapropsRunner

ScalapropsScalaz

ScalapropsScalaz0

ScalapropsScalaz1

ScalapropsTaskImpl

ScalapropsTaskImpl

TestExecutorImpl

TinyMT32Parameter

TinyMT32Parameter

scalaprops.internal

scalaprops.scalazlaws

applicativePlus

invariantFunctor

monadPlusStrong

scalaprops-all/scalaprops/ScalazLaw

ScalazLaw

object ScalazLaw

Companion: class

class Object

trait Matchable

class Any

Value members

Concrete fields

val align: ScalazLaw

val alignAll: ScalazLaw

val alignCollapse: ScalazLaw

val applicative: ScalazLaw

val applicativeAll: ScalazLaw

val applicativeHomomorphism: ScalazLaw

val applicativeIdentity: ScalazLaw

val applicativeInterchange: ScalazLaw

val applicativeMapConsistentWithAp: ScalazLaw

val applicativePlus: ScalazLaw

val apply: ScalazLaw

val applyAll: ScalazLaw

val applyComposition: ScalazLaw

val arrow: ScalazLaw

val arrowAll: ScalazLaw

val arrowAssociation: ScalazLaw

val arrowComposition: ScalazLaw

val arrowExchange: ScalazLaw

val arrowExtension: ScalazLaw

val arrowFunctor: ScalazLaw

val arrowIdentity: ScalazLaw

val arrowUnit: ScalazLaw

val associative: ScalazLaw

val associativeLeftRight: ScalazLaw

val associativeRightLeft: ScalazLaw

val band: ScalazLaw

val bandAll: ScalazLaw

val bandIdempotency: ScalazLaw

val bifoldable: ScalazLaw

val bifoldableAll: ScalazLaw

val bifoldableLeftFMConsistent: ScalazLaw

val bifoldableRightFMConsistent: ScalazLaw

val bifunctor: ScalazLaw

val bind: ScalazLaw

val bindAll: ScalazLaw

val bindApConsistentWithBind: ScalazLaw

val bindAssociativity: ScalazLaw

val bindRec: ScalazLaw

val bindRecAll: ScalazLaw

val bindRecHandleManyBinds: ScalazLaw

val bindRecTailrecBindConsistency: ScalazLaw

val bitraverse: ScalazLaw

val bitraverseAll: ScalazLaw

val category: ScalazLaw

val categoryAll: ScalazLaw

val categoryLeftIdentity: ScalazLaw

val categoryRightIdentity: ScalazLaw

val cobind: ScalazLaw

val cobindAll: ScalazLaw

val cobindAssociative: ScalazLaw

val comonad: ScalazLaw

val comonadAll: ScalazLaw

val comonadLeftIdentity: ScalazLaw

val comonadRightIdentity: ScalazLaw

val comonadTrans: ScalazLaw

val comonadTransLaw1Nel: ScalazLaw

val comonadTransLaw2Nel: ScalazLaw

val compose: ScalazLaw

val composeAll: ScalazLaw

val composeAssociative: ScalazLaw

val contravariant: ScalazLaw

val contravariantAll: ScalazLaw

val contravariantComposite: ScalazLaw

val contravariantIdentity: ScalazLaw

val divide: ScalazLaw

val divideAll: ScalazLaw

val divideComposition: ScalazLaw

val divisible: ScalazLaw

val divisibleAll: ScalazLaw

val divisibleLeftIdentity: ScalazLaw

val divisibleRightIdentity: ScalazLaw

val enum: ScalazLaw

val enumAll: ScalazLaw

val enumMinMaxPred: ScalazLaw

val enumMinMaxSucc: ScalazLaw

val enumPredN: ScalazLaw

val enumPredOrder: ScalazLaw

val enumPredSucc: ScalazLaw

val enumSuccN: ScalazLaw

val enumSuccOrder: ScalazLaw

val enumSuccPred: ScalazLaw

val equal: ScalazLaw

val equalCommutativity: ScalazLaw

val equalNaturality: ScalazLaw

val equalReflexive: ScalazLaw

val equalTransitive: ScalazLaw

val foldable: ScalazLaw

val foldable1: ScalazLaw

val foldable1All: ScalazLaw

val foldable1LeftFM1Consistent: ScalazLaw

val foldable1RightFM1Consistent: ScalazLaw

val foldableLeftFMConsistent: ScalazLaw

val foldableRightFMConsistent: ScalazLaw

val functor: ScalazLaw

val functorAll: ScalazLaw

val functorComposite: ScalazLaw

val functorIdentity: ScalazLaw

val invariantFunctor: ScalazLaw

val invariantFunctorComposite: ScalazLaw

val invariantFunctorIdentity: ScalazLaw

val isEmpty: ScalazLaw

val isEmptyAll: ScalazLaw

val isEmptyEmptyIsEmpty: ScalazLaw

val isEmptyEmptyPlusIdentity: ScalazLaw

val iso: ScalazLaw

val isoA2B: ScalazLaw

val isoB2A: ScalazLaw

val lens: ScalazLaw

val lensDoubleSet: ScalazLaw

val lensIdentity: ScalazLaw

val lensRetention: ScalazLaw

val monad: ScalazLaw

val monadAll: ScalazLaw

val monadError: ScalazLaw

val monadErrorAll: ScalazLaw

val monadErrorErrorsRaised: ScalazLaw

val monadErrorErrorsStopComputation: ScalazLaw

val monadErrorRaisedErrorsHandled: ScalazLaw

val monadLeftIdentity: ScalazLaw

val monadPlus: ScalazLaw

val monadPlusAll: ScalazLaw

val monadPlusEmptyMap: ScalazLaw

val monadPlusLeftZero: ScalazLaw

val monadPlusRightZero: ScalazLaw

val monadPlusStrong: ScalazLaw

val monadPlusStrongAll: ScalazLaw

val monadRightIdentity: ScalazLaw

val monadState: ScalazLaw

val monadStateAll: ScalazLaw

val monadStateGetGet: ScalazLaw

val monadStateGetPut: ScalazLaw

val monadStatePutGet: ScalazLaw

val monadStatePutPut: ScalazLaw

val monadTrans: ScalazLaw

val monadTransLaw1IList: ScalazLaw

val monadTransLaw1Maybe: ScalazLaw

val monadTransLaw2IList: ScalazLaw

val monadTransLaw2Maybe: ScalazLaw

val monoid: ScalazLaw

val monoidAll: ScalazLaw

val monoidLeftIdentity: ScalazLaw

val monoidRightIdentity: ScalazLaw

val order: ScalazLaw

val orderAll: ScalazLaw

val orderAntisymmetric: ScalazLaw

val orderConsistentScalaOrdering: ScalazLaw

val orderOrderAndEqualConsistent: ScalazLaw

val orderTransitiveOrder: ScalazLaw

val plus: ScalazLaw

val plusAll: ScalazLaw

val plusAssociative: ScalazLaw

val plusEmpty: ScalazLaw

val plusEmptyAll: ScalazLaw

val plusEmptyLeftIdentity: ScalazLaw

val plusEmptyRightIdentity: ScalazLaw

val profunctor: ScalazLaw

val profunctorComposite: ScalazLaw

val profunctorIdentity: ScalazLaw

val reducer: ScalazLaw

val reducerConsCorrectness: ScalazLaw

val reducerSnocCorrectness: ScalazLaw

val representable: ScalazLaw

val representableRepUnrep: ScalazLaw

val representableUnrepRep: ScalazLaw

val semigroup: ScalazLaw

val semigroupAssociative: ScalazLaw

val semilattice: ScalazLaw

val semilatticeAll: ScalazLaw

val semilatticeCommutative: ScalazLaw

val traverse: ScalazLaw

val traverse1: ScalazLaw

val traverse1All: ScalazLaw

val traverse1Identity: ScalazLaw

val traverse1Naturality1: ScalazLaw

val traverse1ParallelFusion1: ScalazLaw

val traverse1SequentialFusion1: ScalazLaw

val traverseAll: ScalazLaw

val traverseIdentity: ScalazLaw

val traverseNaturality: ScalazLaw

val traverseParallelFusion: ScalazLaw

val traversePurityIList: ScalazLaw

val traversePurityMaybe: ScalazLaw

val traverseSequentialFusion: ScalazLaw

val values: List[ScalazLaw]

val zip: ScalazLaw

val zipApply: ScalazLaw

val zipPreservation: ScalazLaw

val zipSymmetric: ScalazLaw

Implicits

Implicits

implicit

val scalazLawGen: Gen[ScalazLaw]

implicit

val scalazLawOrder: Order[ScalazLaw]

Generated by

Mode