Logs: freenode/#haskell
| 2021-04-01 13:19:40 | <hololeap> | lowerCoyoneda :: Functor f => Coyoneda f a -> f a |
| 2021-04-01 13:20:08 | <hololeap> | because extracting (f a) from it still requires `f` to be a Functor |
| 2021-04-01 13:20:18 | <Taneb> | hololeap: you can define other functions from Coyoneda |
| 2021-04-01 13:20:34 | → | rond_ joins (59402019@89-64-32-25.dynamic.chello.pl) |
| 2021-04-01 13:21:12 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-04-01 13:21:33 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 2021-04-01 13:21:46 | → | stree joins (~stree@68.36.8.116) |
| 2021-04-01 13:21:46 | × | Alleria__ quits (~textual@mskresolve-a.mskcc.org) (Ping timeout: 268 seconds) |
| 2021-04-01 13:22:09 | × | timCF quits (~i.tkachuk@200-149-20-81.sta.estpak.ee) (Quit: leaving) |
| 2021-04-01 13:22:25 | → | Alleria joins (~textual@mskresolve-a.mskcc.org) |
| 2021-04-01 13:22:48 | Alleria | is now known as Guest30730 |
| 2021-04-01 13:23:00 | <hololeap> | Taneb: can you give an example? |
| 2021-04-01 13:23:59 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds) |
| 2021-04-01 13:28:09 | × | xff0x_ quits (~xff0x@2001:1a81:532c:6000:33c:78cf:359c:e863) (Ping timeout: 246 seconds) |
| 2021-04-01 13:28:57 | <Taneb> | hololeap: \(Coyoneda f xs) -> map f (S.toList xs) where import qualified Data.Set as S |
| 2021-04-01 13:30:26 | × | haritz quits (~hrtz@unaffiliated/haritz) (Quit: ZNC 1.7.2+deb3 - https://znc.in) |
| 2021-04-01 13:30:31 | → | xff0x_ joins (~xff0x@dynamic-046-114-038-234.46.114.pool.telefonica.de) |
| 2021-04-01 13:30:59 | × | geekosaur quits (82650c7a@130.101.12.122) (Quit: Connection closed) |
| 2021-04-01 13:31:24 | <hololeap> | ok, i see |
| 2021-04-01 13:31:33 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:d987:a6e5:6815:ac7d) |
| 2021-04-01 13:34:41 | × | s00pcan quits (~chris@075-133-056-178.res.spectrum.com) (Remote host closed the connection) |
| 2021-04-01 13:37:24 | → | jrqc joins (~rofl@96.78.87.197) |
| 2021-04-01 13:37:44 | ← | joes parts (~joes@ip5f5ac821.dynamic.kabel-deutschland.de) () |
| 2021-04-01 13:37:45 | × | malumore quits (~malumore@151.62.112.245) (Remote host closed the connection) |
| 2021-04-01 13:38:52 | <hololeap> | % import Data.Functor.Coyoneda |
| 2021-04-01 13:38:53 | <yahb> | hololeap: |
| 2021-04-01 13:39:02 | → | malumore joins (~malumore@151.62.112.245) |
| 2021-04-01 13:39:03 | <hololeap> | % :t (\f -> lowerCoyoneda . hoistCoyoneda f) :: Functor g => (forall a. f a -> g a) -> Coyoneda f b -> g b |
| 2021-04-01 13:39:03 | <yahb> | hololeap: Functor g => (forall a. f a -> g a) -> Coyoneda f b -> g b |
| 2021-04-01 13:39:56 | <hololeap> | makes sense |
| 2021-04-01 13:41:13 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-04-01 13:41:20 | → | haritz joins (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) |
| 2021-04-01 13:41:20 | × | kilolympus quits (~kilolympu@5.151.5.178) (Quit: Quitting IRC :() |
| 2021-04-01 13:41:22 | × | haritz quits (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) (Changing host) |
| 2021-04-01 13:41:22 | → | haritz joins (~hrtz@unaffiliated/haritz) |
| 2021-04-01 13:41:26 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-04-01 13:41:37 | → | texasmynsted joins (~texasmyns@99.96.221.112) |
| 2021-04-01 13:41:51 | × | texasmynsted_ quits (~texasmyns@99.96.221.112) (Ping timeout: 246 seconds) |
| 2021-04-01 13:41:51 | → | kilolympus joins (~kilolympu@5.151.5.178) |
| 2021-04-01 13:43:16 | → | Foritus joins (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) |
| 2021-04-01 13:49:55 | → | graf_blu` joins (~user@adsl-178-38-234-220.adslplus.ch) |
| 2021-04-01 13:50:53 | × | graf_blutwurst quits (~user@2001:171b:226e:adc0:7c51:155f:af77:886d) (Remote host closed the connection) |
| 2021-04-01 13:52:39 | → | ep1ctetus_ joins (~epictetus@ip72-194-215-136.sb.sd.cox.net) |
| 2021-04-01 13:56:06 | × | epicte7us quits (~epictetus@ip72-194-215-136.sb.sd.cox.net) (Ping timeout: 265 seconds) |
| 2021-04-01 13:56:22 | × | stef204 quits (~stef204@unaffiliated/stef-204/x-384198) (Quit: WeeChat 3.1) |
| 2021-04-01 13:57:16 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-04-01 13:59:48 | × | cmeans quits (0cbb7484@12.187.116.132) (Quit: Connection closed) |
| 2021-04-01 14:00:04 | → | rdivyanshu joins (uid322626@gateway/web/irccloud.com/x-vkxfmkgvfvhdtlfc) |
| 2021-04-01 14:01:07 | × | egorbelibov quits (~65676f72@2001:8a0:5708:2a00:bc7d:b8d3:66cd:f4d7) (Quit: nobody) |
| 2021-04-01 14:02:04 | → | egorbelibov joins (~65676f72@2001:8a0:5708:2a00:244f:2986:9fb8:5f81) |
| 2021-04-01 14:04:25 | × | jhrcek quits (~jhrcek@ip-89-103-183-101.net.upcbroadband.cz) (Quit: Leaving) |
| 2021-04-01 14:06:20 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr) |
| 2021-04-01 14:07:20 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-04-01 14:07:42 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-04-01 14:09:13 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 2021-04-01 14:10:42 | → | malumore_ joins (~malumore@151.62.112.245) |
| 2021-04-01 14:12:25 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-04-01 14:12:32 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 265 seconds) |
| 2021-04-01 14:12:32 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2021-04-01 14:13:38 | × | malumore quits (~malumore@151.62.112.245) (Ping timeout: 260 seconds) |
| 2021-04-01 14:14:24 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-04-01 14:17:16 | → | mouseghost joins (~draco@wikipedia/desperek) |
| 2021-04-01 14:20:05 | → | Jd007 joins (~Jd007@162.156.11.151) |
| 2021-04-01 14:22:29 | → | deviantfero joins (~deviantfe@190.150.27.58) |
| 2021-04-01 14:23:14 | → | pjb joins (~t@2a01cb04063ec500d0cbc77584c6a81b.ipv6.abo.wanadoo.fr) |
| 2021-04-01 14:23:34 | × | deviantfero quits (~deviantfe@190.150.27.58) (Client Quit) |
| 2021-04-01 14:24:17 | × | robotmay quits (~beepboop@2001:8b0:7af0:2580:24e0:5511:1a01:8ea8) (Quit: Be excellent to each other) |
| 2021-04-01 14:25:22 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 2021-04-01 14:25:29 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-04-01 14:25:39 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-04-01 14:25:59 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr) |
| 2021-04-01 14:26:33 | × | ep1ctetus_ quits (~epictetus@ip72-194-215-136.sb.sd.cox.net) (Ping timeout: 265 seconds) |
| 2021-04-01 14:28:49 | → | robotmay joins (~beepboop@2001:8b0:7af0:2580:88f:3393:350e:d23b) |
| 2021-04-01 14:31:49 | × | Guest30730 quits (~textual@mskresolve-a.mskcc.org) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-04-01 14:31:58 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:d987:a6e5:6815:ac7d) (Read error: Connection reset by peer) |
| 2021-04-01 14:32:29 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:d987:a6e5:6815:ac7d) |
| 2021-04-01 14:32:56 | × | yahb quits (xsbot@haskell/bot/yahb) (Ping timeout: 260 seconds) |
| 2021-04-01 14:34:46 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 265 seconds) |
| 2021-04-01 14:35:00 | → | Alleria joins (~textual@zrcout.mskcc.org) |
| 2021-04-01 14:35:24 | Alleria | is now known as Guest10652 |
| 2021-04-01 14:37:04 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-01 14:37:12 | → | son0p joins (~son0p@181.136.122.143) |
| 2021-04-01 14:38:17 | × | son0p quits (~son0p@181.136.122.143) (Client Quit) |
| 2021-04-01 14:38:29 | × | mniip quits (mniip@freenode/staff/mniip) (Ping timeout: 608 seconds) |
| 2021-04-01 14:40:00 | × | Guest10652 quits (~textual@zrcout.mskcc.org) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-04-01 14:40:57 | → | son0p joins (~son0p@181.136.122.143) |
| 2021-04-01 14:41:41 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2021-04-01 14:42:01 | × | LKoen quits (~LKoen@65.250.88.92.rev.sfr.net) (Remote host closed the connection) |
| 2021-04-01 14:43:50 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2021-04-01 14:45:02 | → | Alleria__ joins (~textual@zrcout.mskcc.org) |
| 2021-04-01 14:45:07 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-04-01 14:45:11 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 2021-04-01 14:45:16 | → | Sheilong joins (uid293653@gateway/web/irccloud.com/x-zumirhpzvxzwijnj) |
| 2021-04-01 14:48:34 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-04-01 14:49:18 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
| 2021-04-01 14:51:03 | → | kawzeg joins (unknown@2a01:7e01::f03c:92ff:fee2:ec34) |
| 2021-04-01 14:52:21 | × | kawzeg quits (unknown@2a01:7e01::f03c:92ff:fee2:ec34) (Client Quit) |
| 2021-04-01 14:52:41 | → | kawzeg joins (unknown@2a01:7e01::f03c:92ff:fee2:ec34) |
| 2021-04-01 14:54:21 | <shapr> | Is there a file reading library that reads multiple chunks of a file at the same time? |
| 2021-04-01 14:54:48 | <merijn> | shapr: Define chunk? |
All times are in UTC.