Code

Add laws for Foldable instances#128

Code

Merged

pakoito merged 10 commits intomasterarrow-kt/arrow:masterfrom paco-foldablelawsarrow-kt/arrow:paco-foldablelawsCopy head branch name to clipboardJul 16, 2017

Commits

Commits on Jul 16, 2017

• Add new generators

  

  pakoito

  committed
  0c019aa

  Copy full SHA for 0c019aa

• Improve Eq

  

  pakoito

  committed
  341b8e1

  Copy full SHA for 341b8e1

• Fix variance in Foldable. Fix pre-curried functions in Foldable.

  

  pakoito

  committed
  050efc8

  Copy full SHA for 050efc8

• Fix typo

  

  pakoito

  committed
  0f8fca9

  Copy full SHA for 0f8fca9

• Add foldable laws

  

  pakoito

  committed
  14f7590

  Copy full SHA for 14f7590

• Merge branch 'master' into paco-foldablelaws

  pakoito

  authored
  329d3ff

  Copy full SHA for 329d3ff

• Merge branch 'master' of https://github.com/FineCinnamon/Katz into paco-foldablelaws

  

  pakoito

  committed
  9955d98

  Copy full SHA for 9955d98

• Merge remote-tracking branch 'origin/paco-foldablelaws' into paco-foldablelaws

  

  pakoito

  committed
  8355908

  Copy full SHA for 8355908

• Fix mod functions. Fix formatting.

  

  pakoito

  committed
  562ea47

  Copy full SHA for 562ea47

• Fix formatting

  

  pakoito

  committed
  f97884c

  Copy full SHA for f97884c