athan 2017-01-27 15:32:28
could mapMaybe be generalized to prisms or something?
glguy 2017-01-27 15:35:25
if anything it would generalize with a traversal
athan 2017-01-27 15:35:32
or like... traverseKinda lol
monochrom 2017-01-27 15:35:33
@type mapMaybe
athan 2017-01-27 15:35:35
hmm
lambdabot 2017-01-27 15:35:35
(a -> Maybe b) -> [a] -> [b]
glguy 2017-01-27 15:35:38
but toListOf already works
athan 2017-01-27 15:35:49
ahh awesome, thank you glguy
glguy 2017-01-27 15:35:58
err not traversal
glguy 2017-01-27 15:36:01
fold
athan 2017-01-27 15:36:22
?~? I still have some learning to do then
lambdabot 2017-01-27 15:36:22
I still have some learning to do then
athan 2017-01-27 15:36:30
lol
monochrom 2017-01-27 15:36:41
EH?! What is that command?!
athan 2017-01-27 15:36:54
well, that's the expression I was making I think
athan 2017-01-27 15:37:03
lambdabot loves confusion I guess :P
athan 2017-01-27 15:37:12
er, echos confusion*
lucasem 2017-01-27 15:37:39
?-? confusion
lambdabot 2017-01-27 15:37:39
confusion
lucasem 2017-01-27 15:37:44
literally
athan 2017-01-27 15:38:06
?*? test
lambdabot 2017-01-27 15:38:06
test
athan 2017-01-27 15:38:08
hrm
newbie36 2017-01-27 15:43:54
Hi, I am trying to understand recursion scheme
newbie36 2017-01-27 15:44:58
In particular, chronomorphism. I am reading https://github.com/ekmett/ekmett.github.com/blob/master/haskell/Chronomorphism.hs, but on 285 f m w are all Functor instead of Monad/Comonad, is that a typo?
