Remove unnecessary constraint on foldl
commit5fce446c6dfbfb3a73ed95a1762e7a22fdfc8193
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateThu 5 Feb 2015, 01:08 (12 years ago)
parente13e48d
libs/prelude/Prelude/Foldable.idr+1−1
@@ -11,7 +11,7 @@ import Prelude.Algebra
1111
1212class Foldable (t : Type -> Type) where
1313 foldr : (elt -> acc -> acc) -> acc -> t elt -> acc
14− foldl : Foldable t => (acc -> elt -> acc) -> acc -> t elt -> acc
14+ foldl : (acc -> elt -> acc) -> acc -> t elt -> acc
1515 foldl f z t = foldr (flip (.) . flip f) id t z
1616
1717||| Combine each element of a structure into a monoid