@@ -10,9 +10,8 @@ import Prelude.Algebra
11class Foldable (t : Type -> Type) where
11class Foldable (t : Type -> Type) where
12 foldr : (elt -> acc -> acc) -> acc -> t elt -> acc
12 foldr : (elt -> acc -> acc) -> acc -> t elt -> acc
14−foldl : Foldable t => (acc -> elt -> acc) -> acc -> t elt -> acc
13+ foldl : Foldable t => (acc -> elt -> acc) -> acc -> t elt -> acc
15−foldl f z t = foldr (flip (.) . flip f) id t z
14+ foldl f z t = foldr (flip (.) . flip f) id t z
17||| Combine each element of a structure into a monoid
16||| Combine each element of a structure into a monoid
18concat : (Foldable t, Monoid a) => t a -> a
17concat : (Foldable t, Monoid a) => t a -> a