@@ -11,7 +11,7 @@ import Prelude.Algebra
12class Foldable (t : Type -> Type) where
12class Foldable (t : Type -> Type) where
13 foldr : (elt -> acc -> acc) -> acc -> t elt -> acc
13 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
15 foldl f z t = foldr (flip (.) . flip f) id t z
15 foldl f z t = foldr (flip (.) . flip f) id t z
17||| Combine each element of a structure into a monoid
17||| Combine each element of a structure into a monoid