2024-05-20 00:03:00 +0200 | rdcdr | (~rdcdr@user/rdcdr) (Remote host closed the connection) |
2024-05-20 00:03:48 +0200 | rdcdr | (~rdcdr@user/rdcdr) |
2024-05-20 00:07:06 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 260 seconds) |
2024-05-20 00:09:23 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2024-05-20 00:11:19 +0200 | aryah | (~aryah@141-138-38-218.dsl.iskon.hr) |
2024-05-20 00:12:14 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
2024-05-20 00:14:55 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-05-20 00:15:31 +0200 | gmg | (~user@user/gehmehgeh) |
2024-05-20 00:15:42 +0200 | gmg | (~user@user/gehmehgeh) (Client Quit) |
2024-05-20 00:16:05 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 240 seconds) |
2024-05-20 00:21:11 +0200 | ph88^ | (~ph88@2a02:8109:9e26:c800:69e1:d79e:9a8:b1e3) (Remote host closed the connection) |
2024-05-20 00:21:41 +0200 | Square | (~Square@user/square) (Ping timeout: 240 seconds) |
2024-05-20 00:35:21 +0200 | fizbin__ | (~fizbin@user/fizbin) |
2024-05-20 00:35:58 +0200 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Quit: oo_miguel) |
2024-05-20 00:36:17 +0200 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) |
2024-05-20 00:37:00 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2024-05-20 00:39:52 +0200 | fizbin__ | (~fizbin@user/fizbin) (Ping timeout: 260 seconds) |
2024-05-20 00:56:24 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:1287:18ca:525:5199) |
2024-05-20 01:17:17 +0200 | aryah | (~aryah@141-138-38-218.dsl.iskon.hr) (Ping timeout: 240 seconds) |
2024-05-20 01:17:38 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2024-05-20 01:24:44 +0200 | aryah | (~aryah@141-138-38-218.dsl.iskon.hr) |
2024-05-20 01:29:17 +0200 | acidjnk_new | (~acidjnk@p200300d6e714dc155164ce5cdc83914f.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
2024-05-20 01:41:25 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-20 01:45:38 +0200 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
2024-05-20 01:52:47 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 264 seconds) |
2024-05-20 01:54:30 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
2024-05-20 01:55:57 +0200 | aforemny_ | (~aforemny@2001:9e8:6cc1:5700:7925:7c97:a565:d41) (Ping timeout: 255 seconds) |
2024-05-20 01:56:02 +0200 | aforemny | (~aforemny@2001:9e8:6cd0:5400:a962:4a8:8d36:131e) |
2024-05-20 01:57:21 +0200 | hiredman_ | hiredman |
2024-05-20 01:59:41 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 240 seconds) |
2024-05-20 02:11:23 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
2024-05-20 02:11:59 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 264 seconds) |
2024-05-20 02:13:19 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
2024-05-20 02:50:26 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
2024-05-20 03:00:54 +0200 | Axman6 | (~Axman6@user/axman6) |
2024-05-20 03:05:56 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 260 seconds) |
2024-05-20 03:07:42 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
2024-05-20 03:18:05 +0200 | yin | (~yin@user/zero) (Ping timeout: 240 seconds) |
2024-05-20 03:25:01 +0200 | yin | (~yin@user/zero) |
2024-05-20 03:31:49 +0200 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) |
2024-05-20 03:52:11 +0200 | aryah | (~aryah@141-138-38-218.dsl.iskon.hr) (Read error: Connection reset by peer) |
2024-05-20 03:56:33 +0200 | aforemny | (~aforemny@2001:9e8:6cd0:5400:a962:4a8:8d36:131e) (Ping timeout: 255 seconds) |
2024-05-20 03:58:10 +0200 | aryah | (~aryah@141-138-38-218.dsl.iskon.hr) |
2024-05-20 03:58:14 +0200 | aforemny | (~aforemny@2001:9e8:6cdb:a900:bbb9:56b1:bfb7:fe85) |
2024-05-20 04:00:02 +0200 | fliife | (~fliife@user/fliife) (Quit: ZNC 1.8.2+deb2build5 - https://znc.in) |
2024-05-20 04:00:52 +0200 | fliife | (~fliife@user/fliife) |
2024-05-20 04:02:05 +0200 | otto_s | (~user@p5de2f197.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
2024-05-20 04:04:10 +0200 | otto_s | (~user@p5de2fafb.dip0.t-ipconnect.de) |
2024-05-20 04:04:53 +0200 | aforemny | (~aforemny@2001:9e8:6cdb:a900:bbb9:56b1:bfb7:fe85) (Ping timeout: 240 seconds) |
2024-05-20 04:05:34 +0200 | xdminsy | (~xdminsy@117.147.70.240) (Quit: Konversation terminated!) |
2024-05-20 04:05:44 +0200 | aforemny | (~aforemny@i59F516DC.versanet.de) |
2024-05-20 04:05:59 +0200 | xdminsy | (~xdminsy@117.147.70.240) |
2024-05-20 04:07:11 +0200 | td_ | (~td@i5387090A.versanet.de) (Ping timeout: 264 seconds) |
2024-05-20 04:09:01 +0200 | td_ | (~td@i53870921.versanet.de) |
2024-05-20 04:20:08 +0200 | yin | (~yin@user/zero) (Ping timeout: 260 seconds) |
2024-05-20 04:35:48 +0200 | _xor0 | (~xor@ip-208-102-243-175.dynamic.fuse.net) |
2024-05-20 04:37:23 +0200 | _xor | (~xor@ip-208-102-243-175.dynamic.fuse.net) (Ping timeout: 252 seconds) |
2024-05-20 04:39:39 +0200 | _xor | (~xor@ip-208-102-243-175.dynamic.fuse.net) |
2024-05-20 04:41:17 +0200 | _xor0 | (~xor@ip-208-102-243-175.dynamic.fuse.net) (Ping timeout: 240 seconds) |
2024-05-20 04:44:13 +0200 | cjb | (813b6d8c75@user/cjb) (Remote host closed the connection) |
2024-05-20 04:44:22 +0200 | cjb | (813b6d8c75@user/cjb) |
2024-05-20 04:49:02 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2024-05-20 05:00:35 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 264 seconds) |
2024-05-20 05:01:53 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
2024-05-20 05:05:35 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
2024-05-20 05:06:04 +0200 | rvalue | (~rvalue@user/rvalue) |
2024-05-20 05:06:34 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
2024-05-20 05:27:13 +0200 | gmg | (~user@user/gehmehgeh) |
2024-05-20 05:27:29 +0200 | aforemny_ | (~aforemny@i59F516F9.versanet.de) |
2024-05-20 05:27:59 +0200 | xdminsy | (~xdminsy@117.147.70.240) (Read error: Connection reset by peer) |
2024-05-20 05:27:59 +0200 | aforemny | (~aforemny@i59F516DC.versanet.de) (Ping timeout: 252 seconds) |
2024-05-20 05:33:47 +0200 | xdminsy | (~xdminsy@117.147.70.240) |
2024-05-20 05:37:50 +0200 | JimL | (~quassel@89.162.16.26) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
2024-05-20 05:38:32 +0200 | agent314 | (~quassel@static-198-44-131-18.cust.tzulo.com) |
2024-05-20 05:40:46 +0200 | JimL | (~quassel@89.162.16.26) |
2024-05-20 05:55:51 +0200 | B-J | (~BenziJuni@232-148-209-31.dynamic.hringdu.is) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-05-20 06:07:35 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) (Remote host closed the connection) |
2024-05-20 06:07:50 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) |
2024-05-20 06:08:21 +0200 | michalz | (~michalz@185.246.207.221) |
2024-05-20 06:20:24 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
2024-05-20 06:28:35 +0200 | michalz | (~michalz@185.246.207.221) (Quit: ZNC 1.9.0 - https://znc.in) |
2024-05-20 06:29:27 +0200 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
2024-05-20 06:31:19 +0200 | michalz | (~michalz@185.246.207.203) |
2024-05-20 06:42:29 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 240 seconds) |
2024-05-20 06:53:29 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2024-05-20 07:03:20 +0200 | euphores | (~SASL_euph@user/euphores) |
2024-05-20 07:05:33 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:1287:18ca:525:5199) (Quit: Leaving) |
2024-05-20 07:18:31 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2024-05-20 07:30:07 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2024-05-20 07:33:08 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) |
2024-05-20 07:35:06 +0200 | causal | (~eric@50.35.88.207) (Quit: WeeChat 4.1.1) |
2024-05-20 07:49:41 +0200 | krei-se | (~krei-se@p57af22bf.dip0.t-ipconnect.de) (Quit: ZNC 1.9.0 - https://znc.in) |
2024-05-20 07:51:54 +0200 | krei-se | (~krei-se@p57af22bf.dip0.t-ipconnect.de) |
2024-05-20 08:31:56 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2024-05-20 08:32:40 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-05-20 08:33:30 +0200 | mailman | (~mailman@119.155.170.51) |
2024-05-20 08:33:41 +0200 | mailman | (~mailman@119.155.170.51) (Client Quit) |
2024-05-20 08:39:07 +0200 | aryah | (~aryah@141-138-38-218.dsl.iskon.hr) (Read error: Connection reset by peer) |
2024-05-20 08:43:48 +0200 | aryah | (~aryah@141-138-38-218.dsl.iskon.hr) |
2024-05-20 08:50:21 +0200 | acidjnk_new | (~acidjnk@p200300d6e714dc12c1768acda4802182.dip0.t-ipconnect.de) |
2024-05-20 08:55:47 +0200 | agent314 | (~quassel@static-198-44-131-18.cust.tzulo.com) (Ping timeout: 264 seconds) |
2024-05-20 08:56:13 +0200 | agent314 | (~quassel@121.127.44.27) |
2024-05-20 09:05:20 +0200 | aryah | (~aryah@141-138-38-218.dsl.iskon.hr) (Read error: Connection reset by peer) |
2024-05-20 09:05:23 +0200 | fendor | (~fendor@2a02:8388:1605:ce00:24e2:c141:1f86:a346) |
2024-05-20 09:05:23 +0200 | agent314 | (~quassel@121.127.44.27) (Ping timeout: 264 seconds) |
2024-05-20 09:05:24 +0200 | agent314_ | (~quassel@184.75.215.3) |
2024-05-20 09:05:55 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
2024-05-20 09:10:31 +0200 | mailman | (~mailman@103.166.150.118) |
2024-05-20 09:10:45 +0200 | aryah | (~aryah@141-138-38-218.dsl.iskon.hr) |
2024-05-20 09:17:20 +0200 | mailman | (~mailman@103.166.150.118) (Quit: Client closed) |
2024-05-20 09:19:28 +0200 | zetef | (~quassel@5.2.182.99) |
2024-05-20 09:44:20 +0200 | yin | (~yin@user/zero) |
2024-05-20 09:44:41 +0200 | danse-nr3 | (~danse-nr3@151.43.97.10) |
2024-05-20 09:55:17 +0200 | fendor | (~fendor@2a02:8388:1605:ce00:24e2:c141:1f86:a346) (Remote host closed the connection) |
2024-05-20 10:10:07 +0200 | Square2 | (~Square4@user/square) |
2024-05-20 10:19:56 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
2024-05-20 10:21:03 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
2024-05-20 10:24:36 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-05-20 10:32:53 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-05-20 10:45:41 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) (Ping timeout: 240 seconds) |
2024-05-20 10:49:57 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) |
2024-05-20 10:56:47 +0200 | PHO`_ | PHO` |
2024-05-20 10:59:09 +0200 | __monty__ | (~toonn@user/toonn) |
2024-05-20 11:00:13 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2024-05-20 11:01:50 +0200 | zetef | (~quassel@5.2.182.99) (Ping timeout: 252 seconds) |
2024-05-20 11:01:51 +0200 | mikess | (~mikess@user/mikess) (Ping timeout: 252 seconds) |
2024-05-20 11:18:14 +0200 | ystael | (~ystael@user/ystael) |
2024-05-20 11:20:57 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
2024-05-20 11:31:30 +0200 | danse-nr3 | (~danse-nr3@151.43.97.10) (Remote host closed the connection) |
2024-05-20 11:31:52 +0200 | danse-nr3 | (~danse-nr3@151.43.97.10) |
2024-05-20 11:36:00 +0200 | foul_owl | (~kerry@157.97.134.168) (Ping timeout: 260 seconds) |
2024-05-20 11:36:56 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) (Ping timeout: 260 seconds) |
2024-05-20 11:38:53 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 240 seconds) |
2024-05-20 11:59:24 +0200 | foul_owl | (~kerry@185.219.141.164) |
2024-05-20 12:01:47 +0200 | aryah | (~aryah@141-138-38-218.dsl.iskon.hr) (Ping timeout: 252 seconds) |
2024-05-20 12:01:53 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2024-05-20 12:30:48 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-05-20 12:30:57 +0200 | euleritian | (~euleritia@dynamic-176-006-179-217.176.6.pool.telefonica.de) |
2024-05-20 12:31:19 +0200 | euleritian | (~euleritia@dynamic-176-006-179-217.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-05-20 12:31:36 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-05-20 12:38:25 +0200 | zetef | (~quassel@5.2.182.99) |
2024-05-20 12:39:41 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
2024-05-20 12:40:10 +0200 | <lxsameer> | hey folks, I'm looking for an open source grahp database with great support for Haskell, any suggestion? |
2024-05-20 12:44:02 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 260 seconds) |
2024-05-20 12:50:35 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2024-05-20 12:50:59 +0200 | yin | (~yin@user/zero) (Ping timeout: 264 seconds) |
2024-05-20 12:57:26 +0200 | yin | (~yin@user/zero) |
2024-05-20 13:01:35 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-05-20 13:02:21 +0200 | <danse-nr3> | not sure lxsameer but you can look into hackage for graph database clients that seem well-maintained |
2024-05-20 13:04:20 +0200 | <lxsameer> | danse-nr3: cheers |
2024-05-20 13:04:54 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
2024-05-20 13:05:23 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
2024-05-20 13:06:22 +0200 | <danse-nr3> | v |
2024-05-20 13:07:49 +0200 | Lord_of_Life_ | Lord_of_Life |
2024-05-20 13:16:06 +0200 | zetef | (~quassel@5.2.182.99) (Remote host closed the connection) |
2024-05-20 13:19:08 +0200 | danse-nr3 | (~danse-nr3@151.43.97.10) (Ping timeout: 260 seconds) |
2024-05-20 13:19:29 +0200 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) (Remote host closed the connection) |
2024-05-20 13:21:41 +0200 | sayola | (~sayola@ip-109-42-243-154.web.vodafone.de) |
2024-05-20 13:28:46 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2024-05-20 13:28:57 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-05-20 13:29:52 +0200 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) |
2024-05-20 13:34:50 +0200 | ocra8 | (ocra8@user/ocra8) |
2024-05-20 13:39:19 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-05-20 13:39:39 +0200 | aryah | (~aryah@141-138-38-218.dsl.iskon.hr) |
2024-05-20 13:41:42 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-05-20 13:41:45 +0200 | mesaoptimizer | (~mesaoptim@user/PapuaHardyNet) (Quit: mesaoptimizer) |
2024-05-20 13:42:01 +0200 | mesaoptimizer | (~mesaoptim@user/PapuaHardyNet) |
2024-05-20 13:55:31 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
2024-05-20 14:16:42 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
2024-05-20 14:18:44 +0200 | yin | (~yin@user/zero) (Ping timeout: 252 seconds) |
2024-05-20 14:31:41 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 240 seconds) |
2024-05-20 14:32:52 +0200 | lg188 | (~lg188@82.18.98.230) (Quit: Bye.) |
2024-05-20 14:38:37 +0200 | agent314_ | (~quassel@184.75.215.3) (Quit: No Ping reply in 180 seconds.) |
2024-05-20 14:39:05 +0200 | danse-nr3 | (~danse-nr3@151.57.192.203) |
2024-05-20 14:40:09 +0200 | agent314 | (~quassel@184.75.215.3) |
2024-05-20 14:43:51 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
2024-05-20 14:54:18 +0200 | <markasoftware_> | is there a library providing an easy way to get a field of a Data-implementing type with the given type? If all the fields of my type have unique types, it'd be much nicer to be able to say `getField myUser :: EmailAddress` rather than either (a) having to declare it as a proper record with accessors or (b) having to destructure it |
2024-05-20 14:54:40 +0200 | <markasoftware_> | I know IxSet does some similar stuff internally to make `ixGen` work but I'm wondering if there's any simple standalone module for it |
2024-05-20 14:56:49 +0200 | fendor | (~fendor@2a02:8388:1605:ce00:24e2:c141:1f86:a346) |
2024-05-20 15:04:13 +0200 | <dmj`> | markasoftware_: generic-lens has a getTyped accessor (myUser ^. typed @EmailAddress), some limitations though, the types /have/ to be unique. |
2024-05-20 15:04:30 +0200 | <dmj`> | https://hackage.haskell.org/package/generic-lens-2.2.2.0/docs/Data-Generics-Product-Typed.html |
2024-05-20 15:06:51 +0200 | <dmj`> | unique within a record |
2024-05-20 15:11:38 +0200 | haveo_ | (~weechat@pacamara.iuwt.fr) (Quit: WeeChat 4.2.1) |
2024-05-20 15:12:02 +0200 | haveo | (~weechat@pacamara.iuwt.fr) |
2024-05-20 15:20:06 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.1) |
2024-05-20 15:20:10 +0200 | sayola | (~sayola@ip-109-42-243-154.web.vodafone.de) (Read error: Connection reset by peer) |
2024-05-20 15:23:33 +0200 | sayola | (~sayola@ip-109-42-243-154.web.vodafone.de) |
2024-05-20 15:23:36 +0200 | ocra8 | (ocra8@user/ocra8) (Ping timeout: 256 seconds) |
2024-05-20 15:25:20 +0200 | <carbolymer> | I have a function executing a callback function endlessly. The callback type should allow stopping of the processing. I'm wondering what's the best way to represent this type? e.g. https://bpa.st/N6HQ |
2024-05-20 15:25:21 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-05-20 15:25:42 +0200 | euleritian | (~euleritia@77.22.252.56) |
2024-05-20 15:27:38 +0200 | <ncf> | myFunction :: [Thing] ? |
2024-05-20 15:27:54 +0200 | <ncf> | or does reading require IO |
2024-05-20 15:27:59 +0200 | <carbolymer> | it does |
2024-05-20 15:28:28 +0200 | <carbolymer> | hmm, maybe [IO Thing] ... |
2024-05-20 15:29:47 +0200 | <carbolymer> | myFunction is polling some data source every 500ms, I guess it could be possible to do `[IO Thing]` ... |
2024-05-20 15:30:26 +0200 | <ncf> | wouldn't all the elements of the list be the same? |
2024-05-20 15:33:04 +0200 | haveo | (~weechat@pacamara.iuwt.fr) (Quit: WeeChat 4.2.2) |
2024-05-20 15:33:05 +0200 | <carbolymer> | no because those are `IO Thing`, so each element can do whatever IO action it wants |
2024-05-20 15:33:47 +0200 | <ncf> | but in your use case, they're all doing the same polling action, right? |
2024-05-20 15:35:07 +0200 | haveo | (~weechat@pacamara.iuwt.fr) |
2024-05-20 15:36:39 +0200 | <danse-nr3> | :t while |
2024-05-20 15:36:40 +0200 | <lambdabot> | error: Variable not in scope: while |
2024-05-20 15:36:53 +0200 | <danse-nr3> | @hoogle while |
2024-05-20 15:36:53 +0200 | <lambdabot> | Sound.Tidal.UI while :: Pattern Bool -> (Pattern a -> Pattern a) -> Pattern a -> Pattern a |
2024-05-20 15:36:53 +0200 | <lambdabot> | Development.NSIS while :: Exp Bool -> Action () -> Action () |
2024-05-20 15:36:53 +0200 | <lambdabot> | Language.C.Syntax While :: Exp -> Stm -> SrcLoc -> Stm |
2024-05-20 15:37:05 +0200 | <ncf> | if so, you could just have poll :: IO Thing; then, given a callback :: Thing -> IO (Maybe x), you have untilJust (poll >>= callback) :: IO x |
2024-05-20 15:37:45 +0200 | <danse-nr3> | import Control.Monad.Extra |
2024-05-20 15:37:50 +0200 | <danse-nr3> | > import Control.Monad.Extra |
2024-05-20 15:37:52 +0200 | <lambdabot> | <hint>:1:1: error: parse error on input ‘import’ |
2024-05-20 15:39:18 +0200 | <danse-nr3> | huh i forgot how to use the bots ... |
2024-05-20 15:39:24 +0200 | <danse-nr3> | % import Control.Monad.Extra |
2024-05-20 15:39:24 +0200 | <yahb2> | <no location info>: error: ; Could not find module ‘Control.Monad.Extra’ ; Perhaps you meant ; Control.Monad.Catch (from exceptions-0.10.5) ; Control.Monad.Error (from mtl-2.2.2... |
2024-05-20 15:39:48 +0200 | <ncf> | you can use /query to figure it out |
2024-05-20 15:41:16 +0200 | <danse-nr3> | well i was thinking of something like untilJust anyways |
2024-05-20 15:57:27 +0200 | <carbolymer> | yeah maybe untilJust is a good idea |
2024-05-20 15:59:29 +0200 | <carbolymer> | I'm wondering if there's a datatype in hackage similar to `data Stream m a = StreamT (m a) (m (Stream m a))` |
2024-05-20 16:00:30 +0200 | <carbolymer> | @hoogle StreamT |
2024-05-20 16:00:30 +0200 | <lambdabot> | Streamly type StreamT = SerialT |
2024-05-20 16:00:30 +0200 | <lambdabot> | Streamly.Internal.Data.Stream.Serial type StreamT = SerialT |
2024-05-20 16:00:30 +0200 | <lambdabot> | System.Process.Typed data StreamType |
2024-05-20 16:03:40 +0200 | B-J | (~BenziJuni@232-148-209-31.dynamic.hringdu.is) |
2024-05-20 16:04:34 +0200 | yin | (~yin@user/zero) |
2024-05-20 16:05:44 +0200 | B-J | (~BenziJuni@232-148-209-31.dynamic.hringdu.is) () |
2024-05-20 16:06:04 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
2024-05-20 16:06:34 +0200 | rvalue | (~rvalue@user/rvalue) |
2024-05-20 16:09:54 +0200 | fendor | (~fendor@2a02:8388:1605:ce00:24e2:c141:1f86:a346) (Remote host closed the connection) |
2024-05-20 16:20:12 +0200 | danse-nr3 | (~danse-nr3@151.57.192.203) (Ping timeout: 260 seconds) |
2024-05-20 16:34:33 +0200 | zetef | (~quassel@5.2.182.99) |
2024-05-20 16:36:10 +0200 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
2024-05-20 16:36:11 +0200 | danse-nr3 | (~danse-nr3@151.57.192.203) |
2024-05-20 16:36:51 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-05-20 16:38:44 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-05-20 16:42:17 +0200 | cptaffe | (~cptaffe@user/cptaffe) |
2024-05-20 16:48:40 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-05-20 16:56:17 +0200 | ocra8 | (ocra8@user/ocra8) |
2024-05-20 16:56:53 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
2024-05-20 16:57:49 +0200 | euleritian | (~euleritia@dynamic-176-006-180-037.176.6.pool.telefonica.de) |
2024-05-20 17:03:49 +0200 | euleritian | (~euleritia@dynamic-176-006-180-037.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-05-20 17:04:25 +0200 | euleritian | (~euleritia@dynamic-176-006-180-037.176.6.pool.telefonica.de) |
2024-05-20 17:05:07 +0200 | euleritian | (~euleritia@dynamic-176-006-180-037.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-05-20 17:05:26 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-05-20 17:11:59 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-05-20 17:12:57 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-05-20 17:14:28 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-05-20 17:16:43 +0200 | mikess | (~mikess@user/mikess) |
2024-05-20 17:37:20 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-05-20 18:02:05 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 240 seconds) |
2024-05-20 18:07:35 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
2024-05-20 18:21:35 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 264 seconds) |
2024-05-20 18:22:21 +0200 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) |
2024-05-20 18:27:04 +0200 | danse-nr3 | (~danse-nr3@151.57.192.203) (Read error: Connection reset by peer) |
2024-05-20 18:27:52 +0200 | danse-nr3 | (~danse-nr3@151.43.161.82) |
2024-05-20 18:28:02 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
2024-05-20 18:35:59 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 264 seconds) |
2024-05-20 18:36:01 +0200 | rvalue- | (~rvalue@user/rvalue) |
2024-05-20 18:42:35 +0200 | zetef | (~quassel@5.2.182.99) (Remote host closed the connection) |
2024-05-20 18:43:36 +0200 | rvalue- | rvalue |
2024-05-20 18:47:57 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
2024-05-20 18:48:55 +0200 | farn_ | (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) (Ping timeout: 255 seconds) |
2024-05-20 18:49:15 +0200 | farn_ | (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) |
2024-05-20 18:49:30 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
2024-05-20 18:55:03 +0200 | phma_ | (~phma@host-67-44-208-139.hnremote.net) |
2024-05-20 18:58:05 +0200 | phma | (~phma@2001:5b0:210b:b498:a19:569a:587e:d186) (Ping timeout: 240 seconds) |
2024-05-20 19:03:17 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 240 seconds) |
2024-05-20 19:03:23 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
2024-05-20 19:06:32 +0200 | phma_ | phma |
2024-05-20 19:12:21 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-05-20 19:12:42 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-05-20 19:15:15 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-20 19:15:17 +0200 | danse-nr3 | (~danse-nr3@151.43.161.82) (Ping timeout: 240 seconds) |
2024-05-20 19:15:41 +0200 | causal | (~eric@50.35.88.207) |
2024-05-20 19:22:15 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-05-20 19:22:22 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
2024-05-20 19:23:05 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) |
2024-05-20 19:29:34 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2024-05-20 19:35:34 +0200 | housemate_ | (~housemate@2401:d002:b90d:1101:795a:3e19:6a0:7784) |
2024-05-20 19:35:41 +0200 | sayola | (~sayola@ip-109-42-243-154.web.vodafone.de) (Read error: Connection reset by peer) |
2024-05-20 19:35:59 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
2024-05-20 19:37:22 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
2024-05-20 19:37:22 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
2024-05-20 19:37:22 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
2024-05-20 19:37:22 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
2024-05-20 19:37:51 +0200 | sayola | (~sayola@ip-109-42-243-154.web.vodafone.de) |
2024-05-20 19:40:16 +0200 | gmg | (~user@user/gehmehgeh) |
2024-05-20 19:42:40 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
2024-05-20 19:43:01 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
2024-05-20 19:43:06 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2024-05-20 19:46:13 +0200 | danse-nr3 | (~danse-nr3@151.43.161.82) |
2024-05-20 19:47:32 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-05-20 19:49:52 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |