Skip to content

Instantly share code, notes, and snippets.

@xuwei-k

xuwei-k/ScalazTypeclassesLaw.md

Last active December 10, 2015 01:09
Show Gist options
  • Star 1 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save xuwei-k/4356594 to your computer and use it in GitHub Desktop.
Save xuwei-k/4356594 to your computer and use it in GitHub Desktop.
Download ZIP
Scalaz7 Typeclasses Law
Raw
ScalazTypeclassesLaw.md

Scalaz7 Typeclasses Law

FunctorLaw

  • identity
  • composite

ApplicativeLaw extends FunctorLaw

  • identityAp
  • composition
  • homomorphism
  • interchange

PlusLaw

  • associative

EmptyLaw extends PlusLaw

  • rightPlusIdentity
  • leftPlusIdentity

MonadLaw extends ApplicativeLaw

  • rightIdentity
  • leftIdentity

MonadPlusLaw extends EmptyLaw with MonadLaw

  • emptyMap
  • leftZero

StrongMonadPlusLaw extends MonadPlusLaw

  • rightZero

TraverseLaw extends FunctorLaw

  • identityTraverse
  • sequentialFusion
  • purity
  • naturality
  • parallelFusion

EqualLaw

  • commutative
  • reflexive
  • transitive
  • naturality

OrderLaw extends EqualLaw

  • transitiveOrder
  • orderAndEqualConsistent

EnumLaw extends OrderLaw

  • succpred
  • predsucc
  • minmaxpred
  • minmaxsucc
  • succn1
  • predn1
  • succorder
  • predorder

ComposeLaw

  • associative

CategoryLaw extends ComposeLaw

  • leftIdentity
  • rightIdentity

IsEmptyLaw extends EmptyLaw (not include 7.0.0-M6)

  • emptyIsEmpty
  • emptyPlusIdentity

LensLaw

  • identity
  • retention
  • doubleSet

MetricSpaceLaw

  • nonNegativity
  • identity
  • equality
  • symmetry
  • triangleInequality

SemigroupLaw

  • associative

MonoidLaw extends SemigroupLaw

  • leftIdentity
  • rightIdentity

GroupLaw extends MonoidLaw

  • inverseExists

RepresentableLaw

  • repUnrep
  • unrepRep

CorepresentableLaw

  • corepUncorep
  • uncorepCorep
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment