2014-02-25 14:51:23 +0000 <Feuerbach> it is the result of the whole fold
2014-02-25 14:51:23 +0000 <Feuerbach> our result is, as we agreed above, Html
2014-02-25 14:51:23 +0000 <Feuerbach> which is MarkupM ()
2014-02-25 14:51:24 +0000 <Feuerbach> can you think of a way to turn that into a monoid?
2014-02-25 14:57:26 +0000 <Feuerbach> Html is Markup
2014-02-25 14:57:29 +0000 <Feuerbach> it's a type synonym
2014-02-25 14:57:33 +0000 <Feuerbach> and you don't need Endo
2014-02-25 14:57:57 +0000jdnavarrois checking it now
2014-02-25 14:59:12 +0000 <jdnavarro> Markup is already a monoid...
2014-02-25 14:59:54 +0000 <jdnavarro> http://hackage.haskell.org/package/blaze-markup-0.6.0.0/docs/Text-Blaze-Internal.html#t:MarkupM
2014-02-25 15:00:09 +0000 <Feuerbach> ah, even better
2014-02-25 15:00:24 +0000 <Feuerbach> (if it wasn't, you would simply wrap it in Traversal)
2014-02-25 15:00:59 +0000 <jdnavarro> so I can use it at the end with `foldTestTree` right?
2014-02-25 15:01:54 +0000 <Feuerbach> right
2014-02-25 15:02:37 +0000 <jdnavarro> ok, I'll ditch `Endo` and make htmlRenderer directyly `Markup` and use it as a monoid
2014-02-25 15:03:17 +0000 <jdnavarro> I'm not familiar with the `reducers` package but I suspect `Traversal` can ditched then, too
2014-02-25 15:05:26 +0000 <jdnavarro> ok, it's type checking now without many modifications
2014-02-25 15:11:26 +0000 <jdnavarro> the rendered output is wrong...
2014-02-25 15:11:48 +0000 <jdnavarro> I'm going to push it, though, so that I can get feedback
2014-02-25 15:15:46 +0000 <Feuerbach> sure. you can create an issue and describe what you seeing and what you expect
2014-02-25 15:15:51 +0000 <Feuerbach> *see
2014-02-25 15:16:01 +0000jdnavarrodoing some rebasing before pushing
2014-02-25 15:16:23 +0000 <Feuerbach> although I have to leave now and will be able to take a look later today or tomorrow
2014-02-25 15:30:37 +0000 <jdnavarro> it's already pushed: https://github.com/feuerbach/tasty-html/commit/046aa623b8e918b732e7551ccc164bfab6139029
2014-02-25 15:30:48 +0000 <jdnavarro> I have to leave soon, too
2014-02-25 15:31:31 +0000 <jdnavarro> I'll try to figure it now quickly or otherwise I'll leave it for tomorrow
2014-02-25 15:34:59 +0000 <jdnavarro> damn it! I forgot the last rendering step...
2014-02-25 15:35:37 +0000 <jdnavarro> programming in a hurry is a waste of time, I never learn :)
2014-02-25 15:42:14 +0000Feuerbach(~feuerbach@unaffiliated/feuerbach) (Ping timeout: 264 seconds)
2014-02-25 16:21:36 +0000 <foxnorth> hey jdnavarro, you managed to start where i left off last night and got it to typecheck? can't wait to look later to see how you did it.
2014-02-25 16:24:26 +0000 <jdnavarro> foxnorth, now you can take over, I won't touch it again until tomorrow
2014-02-25 16:24:32 +0000 <jdnavarro> :)
2014-02-25 16:34:51 +0000jdnavarro(~danny@88.Red-88-19-154.staticIP.rima-tde.net) (Quit: Leaving)
2014-02-25 16:57:29 +0000foxnorth(~chriscata@ool-44c705f3.dyn.optonline.net) (Quit: foxnorth)
2014-02-25 17:12:50 +0000foxnorth(~chriscata@ool-44c705f3.dyn.optonline.net)