search

snoyberg / mono-traversable

Type classes for mapping, folding, and traversing monomorphic containers
153 stars 63 forks source link

fix law stated for GrowingAppend class #92

Closed bennofs closed 8 years ago

bennofs commented 8 years ago

The instances only satisfy a weaker form of the stated law, and we only rely on the fact that olength (a <> b) >= max (olength a) (olength b).

Fixes #91

snoyberg commented 8 years ago

Thanks!