Permalink
Branch: scalaz-seven
Commits on Jan 5, 2013
  1. Add maximum and minimum back to Foldable

    puffnfresh committed Jan 5, 2013
    Rename Foldable1's to maximum1 and minimum1.
Commits on Jan 4, 2013
  1. Add Foldable1 and Traverse1

    puffnfresh committed Jan 4, 2013
    This provides a better abstraction for when things are "non-empty" and
    removes partial functions from Foldable and Traverse.
    
    * Loosens Foldable1 to Semigroup (from Monoid)
    * Loosens Traverse1 to Apply (from Applicative)
    * Id has a Traverse1
    * Product has a Traverse1
    * NonEmptyList has a Traverse1
    * Tree has a Traverse1
    
        Traversable <---- Foldable
             |               |
             v               v
        Traversable1 <--- Foldable1
    
    See http://hackage.haskell.org/package/semigroupoids
Commits on Jan 3, 2013
  1. Merge pull request scalaz#239 from xuwei-k/Heap-toUnsortedList

    larsrh committed Jan 3, 2013
    fix Heap#toUnsortedList.
  2. Merge pull request scalaz#238 from xuwei-k/package-scaladoc

    larsrh committed Jan 3, 2013
    update package.scala scaladoc
  3. fix Heap#toUnsortedList.

    xuwei-k committed Jan 3, 2013
    Previous implementation is so slow. Because it returns sorted List in spite of toUnsortedList.
Commits on Jan 2, 2013
  1. Merge pull request scalaz#236

    larsrh committed Jan 2, 2013
  2. update `GenTypeClass`

    larsrh committed Jan 2, 2013
    * `Comonad` doesn't extend `Functor` directly
    * take control over `IsEmpty`
    * remove `ArrId`
    * whitespace fixes
    * move auxiliary functions into `////` blocks
  3. consistent file and class names for syntax.*Ops

    larsrh committed Jan 2, 2013
    * `ToXOps` and `XV` → `XOps` with file name `XSyntax.scala` or `XOps.scala`
      (latter if they don't contain `Syntax`)
    * update Developer Guide
Commits on Jan 1, 2013
  1. InsertionMap equality should be order independent.

    markhibberd committed Jan 1, 2013
    The underlying structure stores an index that _can_
    be used to pull keys back out in the insertion order,
    but this index is not part of data and should not be
    taken into account for equal / hashCode and alike.
    
    This fits with the rest of the data structure, for
    example map/flatMap occur in an arbitrary order.
    
    This reverts a behaviour change introduced in
    commit ec854db
Commits on Dec 28, 2012
  1. fix typo

    tonymorris committed Dec 28, 2012
  2. Remove Pointed, Copointed and ArrId. The existence of these three typ…

    tonymorris committed Dec 27, 2012
    …e-classes is a bug scalaz#235.
    
    The operations of these former interfaces have been moved to a more appropriate place:
    * Pointed operation has been moved to Applicative
    * Copointed operation has been moved to Comonad
    * ArrId operation has been moved to Category
    
    A short discussion occurred on the mailing list on this issue:
    https://groups.google.com/forum/?fromgroups=#!topic/scalaz/7OE_Nsreqq0
    
    Pointed is a bogus type-class for a number of reasons. The first is that it provides no value.
    It's only possible law is given by paramericity (c.f. Theorems for Free, Wadler):
        (x, g) => point(map(x)(g)) == pure(g(x))
    
    Copointed and ArrId have similar reasoning applied.
    
    The adversities of these interfaces have long been discussed; most notably between Ed Kmett, Runar Bjarnason and I.
    There is consensus that their existence serves no purpose but to attract defective code. This is the primary compulsion for their removal (not so much their uselessness). This bug fix is similar in structure to the removal of the Zero interface (scalaz 6) with the zero operation moved to the Monoid interface. I cannot find the original discussion on this matter, but I do recall that there were more people involved and also unanimous consensus.
    
    Since I was the original author of these unfortunate type-classes, I offer my apologies for their coming to exist. I co-invented these type-classes with Ed (After I had invented them, I looked around for names and found Ed doing the same thing and stole his names!). I hope my apology can be accepted and we can move on.
Commits on Dec 27, 2012
  1. Cleanup for scalaz#234

    runarorama committed Dec 27, 2012
  2. Rename file

    tonymorris committed Dec 27, 2012
  3. Rename file

    tonymorris committed Dec 27, 2012
  4. Remove the type constructor wrapping LensT and PLensT. This type cons…

    tonymorris committed Dec 27, 2012
    …tructor is hideous for a couple of reasons; the worst of which is that it removes the ability to reason about lens lawfully. Use lens families instead.
Commits on Dec 26, 2012
  1. Merge pull request scalaz#233 from xuwei-k/fix-scaladoc

    larsrh committed Dec 26, 2012
    fix scaladoc
Commits on Dec 24, 2012
  1. fix scaladoc

    xuwei-k committed Dec 24, 2012
Commits on Dec 22, 2012
  1. Bump to 7.0-SNAPSHOT

    larsrh committed Dec 22, 2012
  2. Releasing 7.0.0-M7

    larsrh committed Dec 22, 2012
  3. bump to 2.10.0 final

    larsrh committed Dec 22, 2012
Commits on Dec 21, 2012
  1. Merge pull request scalaz#230 from xuwei-k/diev-instance

    larsrh committed Dec 21, 2012
    Length and Each instance of Diev
Commits on Dec 20, 2012
  1. Lens families

    pthariensflame authored and larsrh committed Dec 20, 2012
  2. Merge pull request scalaz#229 from S11001001/topic/monoid-intercalate

    larsrh committed Dec 20, 2012
    intercalate generalized to Foldables of Monoids
  3. Merge pull request scalaz#232 from xuwei-k/fix-xml-tests

    larsrh committed Dec 20, 2012
    add arbList method for fix xml test in Scala2.10.0-RC5
Commits on Dec 19, 2012
Commits on Dec 18, 2012
  1. Merge pull request scalaz#231 from xuwei-k/xml-test

    larsrh committed Dec 18, 2012
    xml tests