Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 561 562 563 564 565 566 567 568 569 570 571 .. 5022
— 502,152 events total
2020-10-10 19:47:54 <dsal> frdg: your arguments look backwards to me.
2020-10-10 19:48:24 → mpereira joins (~mpereira@2a02:810d:f40:d96:a091:1f5b:5d70:a338)
2020-10-10 19:49:27 → proofofme joins (~proofofme@184-96-74-65.hlrn.qwest.net)
2020-10-10 19:49:48 <frdg> dsal. ok. But there is no way to drop an instance for `t` correct? At least I cant think of a way.
2020-10-10 19:50:00 <dsal> :t or
2020-10-10 19:50:03 <lambdabot> Foldable t => t Bool -> Bool
2020-10-10 19:50:04 <dsal> :t all
2020-10-10 19:50:06 <lambdabot> Foldable t => (a -> Bool) -> t a -> Bool
2020-10-10 19:50:37 <davean> frdg: you can push the part you're fmapping into the foldr's function along with the (&&)
2020-10-10 19:51:02 <dsal> Yeah, I realized or isn't quite the same, but I'd do that.
2020-10-10 19:51:39 <frdg> hmm so there is a way
2020-10-10 19:51:58 <davean> frdg: and from the Functor laws you know there is a way really
2020-10-10 19:52:18 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-10-10 19:52:43 <frdg> alright thank you ill try to figure this out.
2020-10-10 19:52:47 <dsal> :t \p -> getAny . foldMap (Any . p)
2020-10-10 19:52:48 <lambdabot> Foldable t => (a -> Bool) -> t a -> Bool
2020-10-10 19:53:00 × sand_dull quits (~theuser@104.140.53.43) (Ping timeout: 256 seconds)
2020-10-10 19:53:41 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-10 19:57:12 × p-core quits (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515) (Remote host closed the connection)
2020-10-10 20:02:20 <frdg> davean: I was able to get rid of the functor instance by composing p with (&&) and (||) like you said thanks
2020-10-10 20:02:51 × cosimone quits (~cosimone@2001:b07:ae5:db26:a16f:75:586:b3b0) (Ping timeout: 272 seconds)
2020-10-10 20:03:15 <davean> frdg: that composition is basicly what the functor laws say a functor is BTW
2020-10-10 20:03:22 → rprije joins (~rprije@203.214.95.251)
2020-10-10 20:03:51 <frdg> right. fmap f . fmap g == fmap (f . g)
2020-10-10 20:04:16 <frdg> this is exactly what I did
2020-10-10 20:07:43 × Faker quits (bd29e8c7@189.41.232.199) (Remote host closed the connection)
2020-10-10 20:15:23 <dsal> Oh, I finally looked at the docs. It's `any` not `or`. I get `all` and `and` confused and `or` and `any` confused.
2020-10-10 20:15:26 <dsal> :t any
2020-10-10 20:15:28 <lambdabot> Foldable t => (a -> Bool) -> t a -> Bool
2020-10-10 20:15:31 × bifunc2 quits (bifunc2@gateway/vpn/protonvpn/bifunc2) (Quit: -)
2020-10-10 20:16:12 <dsal> Oh wow, my guess was right, though. heh `any p = getAny #. foldMap (Any #. p)`
2020-10-10 20:16:17 <dsal> Except I don't know what `#.` is.
2020-10-10 20:16:56 <dsal> `(#.) :: Coercible b c => (b -> c) -> (a -> b) -> (a -> c)` -- oh wow. That seems... redundant
2020-10-10 20:16:59 <MarcelineVQ> infix coerce iirc
2020-10-10 20:18:36 <dolio> The first argument is a dummy, right?
2020-10-10 20:18:48 <dolio> Just telling it which b and c to use.
2020-10-10 20:19:45 <dolio> The presumption is that you will use the half of the isomorphism you want.
2020-10-10 20:21:49 <dsal> I don't understand why there's coercion at all. You could use it if you didn't want to specify `Any` on the right. or maybe the left.
2020-10-10 20:22:13 <dsal> % let f p = foldMap (coerce . p); v = f even [1,2,3] in (getAll v, getAny v) -- I mean, you can have the same implementation for both but you do need to mention the semigroup at some point.
2020-10-10 20:22:13 <yahb> dsal: (False,True)
2020-10-10 20:22:37 <MarcelineVQ> There's a note about it below the defintion of #.
2020-10-10 20:22:48 → cosimone joins (~cosimone@2001:b07:ae5:db26:a16f:75:586:b3b0)
2020-10-10 20:23:22 × geekosaur quits (82659a05@host154-005.vpn.uakron.edu) (Remote host closed the connection)
2020-10-10 20:24:05 <dsal> Ha. I don't expect useful information in comments.
2020-10-10 20:27:57 → thir joins (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-10 20:29:05 → _ashbreeze_ joins (~mark@72-161-51-6.dyn.centurytel.net)
2020-10-10 20:30:22 × ashbreeze quits (~mark@72-161-51-13.dyn.centurytel.net) (Ping timeout: 246 seconds)
2020-10-10 20:35:16 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-10 20:36:07 × thir quits (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-10 20:38:30 × cosimone quits (~cosimone@2001:b07:ae5:db26:a16f:75:586:b3b0) (Remote host closed the connection)
2020-10-10 20:38:59 → cosimone joins (~cosimone@2001:b07:ae5:db26:a16f:75:586:b3b0)
2020-10-10 20:42:27 → st8less joins (~st8less@2603:a060:11fd:0:9c66:9b18:c21:60c)
2020-10-10 20:44:12 × falafel quits (~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc) (Ping timeout: 260 seconds)
2020-10-10 20:44:24 × ggole quits (~ggole@2001:8003:8119:7200:c421:864a:93dc:c602) (Quit: Leaving)
2020-10-10 20:44:29 × nineonine quits (~nineonine@216-19-190-182.dyn.novuscom.net) (Remote host closed the connection)
2020-10-10 20:45:03 → nineonine joins (~nineonine@50.216.62.2)
2020-10-10 20:45:53 × GyroW quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-10 20:46:11 → GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-10 20:46:11 × GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-10 20:46:11 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-10 20:47:01 × cosimone quits (~cosimone@2001:b07:ae5:db26:a16f:75:586:b3b0) (Quit: cosimone)
2020-10-10 20:47:39 → Noldorin joins (~noldorin@unaffiliated/noldorin)
2020-10-10 20:49:21 → falafel joins (~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc)
2020-10-10 20:49:23 → themsay joins (~themsay@213.104.127.160)
2020-10-10 20:50:25 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2020-10-10 20:54:31 → _vaibhavingale_ joins (~Adium@203.188.228.27)
2020-10-10 20:55:25 × st8less quits (~st8less@2603:a060:11fd:0:9c66:9b18:c21:60c) (Ping timeout: 272 seconds)
2020-10-10 20:55:25 × mpereira quits (~mpereira@2a02:810d:f40:d96:a091:1f5b:5d70:a338) (Ping timeout: 272 seconds)
2020-10-10 20:55:30 × _vaibhavingale_ quits (~Adium@203.188.228.27) (Read error: Connection reset by peer)
2020-10-10 20:56:33 → _vaibhavingale_ joins (~Adium@203.188.228.27)
2020-10-10 20:57:18 × _vaibhavingale_ quits (~Adium@203.188.228.27) (Read error: No route to host)
2020-10-10 20:57:54 → snakemas1 joins (~snakemast@213.100.206.23)
2020-10-10 20:58:32 → _vaibhavingale_ joins (~Adium@203.188.228.27)
2020-10-10 20:59:03 × proofofme quits (~proofofme@184-96-74-65.hlrn.qwest.net) (Remote host closed the connection)
2020-10-10 20:59:26 × _vaibhavingale_ quits (~Adium@203.188.228.27) (Client Quit)
2020-10-10 21:00:02 × litenull quits (~litenull@185.204.1.185) ()
2020-10-10 21:00:28 → _vaibhavingale_ joins (~Adium@203.188.228.27)
2020-10-10 21:01:21 × _vaibhavingale_ quits (~Adium@203.188.228.27) (Read error: Connection reset by peer)
2020-10-10 21:01:34 × Kaivo quits (~Kaivo@104-200-86-99.mc.derytele.com) (Quit: WeeChat 2.9)
2020-10-10 21:02:31 → _vaibhavingale_ joins (~Adium@203.188.228.27)
2020-10-10 21:02:31 → foo6 joins (43aa4b1c@c-67-170-75-28.hsd1.wa.comcast.net)
2020-10-10 21:02:34 <foo6> @lambdabot let (Foo a) = a in abc a
2020-10-10 21:02:35 <lambdabot> Unknown command, try @list
2020-10-10 21:03:02 <foo6> @list
2020-10-10 21:03:02 <lambdabot> What module? Try @listmodules for some ideas.
2020-10-10 21:03:20 <foo6> @pl let (Foo a) = a in abc a
2020-10-10 21:03:20 <lambdabot> (line 1, column 5):
2020-10-10 21:03:20 <lambdabot> unexpected "("
2020-10-10 21:03:20 <lambdabot> expecting "()", natural, identifier or "in"
2020-10-10 21:03:31 × _vaibhavingale_ quits (~Adium@203.188.228.27) (Read error: Connection reset by peer)
2020-10-10 21:03:46 <foo6> @pl let (Foo a) = 123 in abc a
2020-10-10 21:03:47 <lambdabot> (line 1, column 5):
2020-10-10 21:03:47 <lambdabot> unexpected "("
2020-10-10 21:03:47 <lambdabot> expecting "()", natural, identifier or "in"
2020-10-10 21:03:56 → proofofme joins (~proofofme@184-96-74-65.hlrn.qwest.net)
2020-10-10 21:04:02 ← foo6 parts (43aa4b1c@c-67-170-75-28.hsd1.wa.comcast.net) ()
2020-10-10 21:04:33 → _vaibhavingale_ joins (~Adium@203.188.228.27)
2020-10-10 21:04:45 × C0 quits (~C0@41.249.80.99) (Ping timeout: 240 seconds)
2020-10-10 21:05:25 × _vaibhavingale_ quits (~Adium@203.188.228.27) (Read error: Connection reset by peer)
2020-10-10 21:06:01 → proofofm_ joins (~proofofme@184-96-74-65.hlrn.qwest.net)
←Prev  Next→
Page 1 .. 561 562 563 564 565 566 567 568 569 570 571 .. 5022

All times are in UTC.