From f5e3b37177462ee13a8f194fe39821f0b9132edf Mon Sep 17 00:00:00 2001 From: Juan Manuel Gimeno Illa Date: Sun, 22 Apr 2018 10:55:00 +0200 Subject: [PATCH] WIP: Changed index --- typeclasses/typeclasses.lhs | 13 ++++++++----- 1 file changed, 8 insertions(+), 5 deletions(-) diff --git a/typeclasses/typeclasses.lhs b/typeclasses/typeclasses.lhs index 43fc91b..db629a4 100644 --- a/typeclasses/typeclasses.lhs +++ b/typeclasses/typeclasses.lhs @@ -6,12 +6,13 @@ Index ===== - Typeclasses and instances +- Functor - Monoid +- Applicative - Foldable -- Functor -- Applicative Functor - Traversable -- Monad +- Concluding example +- (Sorry, no monads this time)
@@ -458,8 +459,8 @@ foldr :: (a -> (b -> b)) -> b -> [a] -> b foldr f z xs = appEndo (foldComposing f xs) z ``` -Foldables -========= +Foldable +======== * Finally, the class for foldable is (with most methods omitted): @@ -508,6 +509,8 @@ Foldable Traversable =========== +Example +======= Bibliography ============