Module laws

Index

Other

ComposeGiven FromGiven

composition

liftGiven withOuterOption

harness

ConcreteGiven ConcreteLambdas ParameterizedGiven Concrete ConcreteClass Parameterized ParameterizedClass TypeclassInstances concreteLaws parameterizedLaws buildConcreteTypeclassLaw buildConcreteTypeclassLaws buildContravariantLaws buildParameterizedTypeclassLaws buildTypeclassLaws buildTypeclassLawsFor concreteLawsFor defineConcreteLaws isParameterizedTypeclassName parameterizedLawsFor unfoldGiven

model

GivenArbitraries GivenConcerns GivenEquivalence ParameterizedLambdas Typeclass

monomorphic

ContravariantGiven MonomorphicGiven Mono monoArbitrary monoSemigroup getMonoUnaryEquivalence monoEquivalence monoOrder unfoldContravariantGiven unfoldMonomorphicGiven

type lambda

AlternativeTypeLambda ApplicativeTypeLambda BicovariantTypeLambda ContravariantTypeLambda CovariantTypeLambda InvariantTypeLambda MonadTypeLambda MonoidTypeLambda SemiAlternativeTypeLambda TraversableTypeLambda

typeclass laws

alternativeLaws applicativeLaws bicovariantLaws boundedLaws contravariantLaws covariantLaws equivalenceLaws invariantLaws monadLaws monoidLaws orderLaws semiAlternativeLaws semigroupLaws traversableLaws

Settings

Member Visibility