2024/05/20

2024-05-20 00:03:00 +0200rdcdr(~rdcdr@user/rdcdr) (Remote host closed the connection)
2024-05-20 00:03:48 +0200rdcdr(~rdcdr@user/rdcdr)
2024-05-20 00:07:06 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 260 seconds)
2024-05-20 00:09:23 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2024-05-20 00:11:19 +0200aryah(~aryah@141-138-38-218.dsl.iskon.hr)
2024-05-20 00:12:14 +0200gmg(~user@user/gehmehgeh) (Ping timeout: 260 seconds)
2024-05-20 00:14:55 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-20 00:15:31 +0200gmg(~user@user/gehmehgeh)
2024-05-20 00:15:42 +0200gmg(~user@user/gehmehgeh) (Client Quit)
2024-05-20 00:16:05 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 240 seconds)
2024-05-20 00:21:11 +0200ph88^(~ph88@2a02:8109:9e26:c800:69e1:d79e:9a8:b1e3) (Remote host closed the connection)
2024-05-20 00:21:41 +0200Square(~Square@user/square) (Ping timeout: 240 seconds)
2024-05-20 00:35:21 +0200fizbin__(~fizbin@user/fizbin)
2024-05-20 00:35:58 +0200oo_miguel(~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Quit: oo_miguel)
2024-05-20 00:36:17 +0200oo_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 +0200fizbin__(~fizbin@user/fizbin) (Ping timeout: 260 seconds)
2024-05-20 00:56:24 +0200joeyadams(~joeyadams@2603:6010:5100:2ed:1287:18ca:525:5199)
2024-05-20 01:17:17 +0200aryah(~aryah@141-138-38-218.dsl.iskon.hr) (Ping timeout: 240 seconds)
2024-05-20 01:17:38 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-05-20 01:24:44 +0200aryah(~aryah@141-138-38-218.dsl.iskon.hr)
2024-05-20 01:29:17 +0200acidjnk_new(~acidjnk@p200300d6e714dc155164ce5cdc83914f.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2024-05-20 01:41:25 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-20 01:45:38 +0200whatsupdoc(uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2024-05-20 01:52:47 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf) (Ping timeout: 264 seconds)
2024-05-20 01:54:30 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf)
2024-05-20 01:55:57 +0200aforemny_(~aforemny@2001:9e8:6cc1:5700:7925:7c97:a565:d41) (Ping timeout: 255 seconds)
2024-05-20 01:56:02 +0200aforemny(~aforemny@2001:9e8:6cd0:5400:a962:4a8:8d36:131e)
2024-05-20 01:57:21 +0200hiredman_hiredman
2024-05-20 01:59:41 +0200sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 240 seconds)
2024-05-20 02:11:23 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds)
2024-05-20 02:11:59 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf) (Ping timeout: 264 seconds)
2024-05-20 02:13:19 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf)
2024-05-20 02:50:26 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds)
2024-05-20 03:00:54 +0200Axman6(~Axman6@user/axman6)
2024-05-20 03:05:56 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf) (Ping timeout: 260 seconds)
2024-05-20 03:07:42 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf)
2024-05-20 03:18:05 +0200yin(~yin@user/zero) (Ping timeout: 240 seconds)
2024-05-20 03:25:01 +0200yin(~yin@user/zero)
2024-05-20 03:31:49 +0200whatsupdoc(uid509081@id-509081.hampstead.irccloud.com)
2024-05-20 03:52:11 +0200aryah(~aryah@141-138-38-218.dsl.iskon.hr) (Read error: Connection reset by peer)
2024-05-20 03:56:33 +0200aforemny(~aforemny@2001:9e8:6cd0:5400:a962:4a8:8d36:131e) (Ping timeout: 255 seconds)
2024-05-20 03:58:10 +0200aryah(~aryah@141-138-38-218.dsl.iskon.hr)
2024-05-20 03:58:14 +0200aforemny(~aforemny@2001:9e8:6cdb:a900:bbb9:56b1:bfb7:fe85)
2024-05-20 04:00:02 +0200fliife(~fliife@user/fliife) (Quit: ZNC 1.8.2+deb2build5 - https://znc.in)
2024-05-20 04:00:52 +0200fliife(~fliife@user/fliife)
2024-05-20 04:02:05 +0200otto_s(~user@p5de2f197.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2024-05-20 04:04:10 +0200otto_s(~user@p5de2fafb.dip0.t-ipconnect.de)
2024-05-20 04:04:53 +0200aforemny(~aforemny@2001:9e8:6cdb:a900:bbb9:56b1:bfb7:fe85) (Ping timeout: 240 seconds)
2024-05-20 04:05:34 +0200xdminsy(~xdminsy@117.147.70.240) (Quit: Konversation terminated!)
2024-05-20 04:05:44 +0200aforemny(~aforemny@i59F516DC.versanet.de)
2024-05-20 04:05:59 +0200xdminsy(~xdminsy@117.147.70.240)
2024-05-20 04:07:11 +0200td_(~td@i5387090A.versanet.de) (Ping timeout: 264 seconds)
2024-05-20 04:09:01 +0200td_(~td@i53870921.versanet.de)
2024-05-20 04:20:08 +0200yin(~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 +0200cjb(813b6d8c75@user/cjb) (Remote host closed the connection)
2024-05-20 04:44:22 +0200cjb(813b6d8c75@user/cjb)
2024-05-20 04:49:02 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2024-05-20 05:00:35 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf) (Ping timeout: 264 seconds)
2024-05-20 05:01:53 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf)
2024-05-20 05:05:35 +0200rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2024-05-20 05:06:04 +0200rvalue(~rvalue@user/rvalue)
2024-05-20 05:06:34 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Quit: au revoir)
2024-05-20 05:27:13 +0200gmg(~user@user/gehmehgeh)
2024-05-20 05:27:29 +0200aforemny_(~aforemny@i59F516F9.versanet.de)
2024-05-20 05:27:59 +0200xdminsy(~xdminsy@117.147.70.240) (Read error: Connection reset by peer)
2024-05-20 05:27:59 +0200aforemny(~aforemny@i59F516DC.versanet.de) (Ping timeout: 252 seconds)
2024-05-20 05:33:47 +0200xdminsy(~xdminsy@117.147.70.240)
2024-05-20 05:37:50 +0200JimL(~quassel@89.162.16.26) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2024-05-20 05:38:32 +0200agent314(~quassel@static-198-44-131-18.cust.tzulo.com)
2024-05-20 05:40:46 +0200JimL(~quassel@89.162.16.26)
2024-05-20 05:55:51 +0200B-J(~BenziJuni@232-148-209-31.dynamic.hringdu.is) (Quit: ZNC 1.8.2 - https://znc.in)
2024-05-20 06:07:35 +0200talismanick(~user@2601:644:937c:ed10::ae5) (Remote host closed the connection)
2024-05-20 06:07:50 +0200talismanick(~user@2601:644:937c:ed10::ae5)
2024-05-20 06:08:21 +0200michalz(~michalz@185.246.207.221)
2024-05-20 06:20:24 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net)
2024-05-20 06:28:35 +0200michalz(~michalz@185.246.207.221) (Quit: ZNC 1.9.0 - https://znc.in)
2024-05-20 06:29:27 +0200whatsupdoc(uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2024-05-20 06:31:19 +0200michalz(~michalz@185.246.207.203)
2024-05-20 06:42:29 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 240 seconds)
2024-05-20 06:53:29 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2024-05-20 07:03:20 +0200euphores(~SASL_euph@user/euphores)
2024-05-20 07:05:33 +0200joeyadams(~joeyadams@2603:6010:5100:2ed:1287:18ca:525:5199) (Quit: Leaving)
2024-05-20 07:18:31 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2024-05-20 07:30:07 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-05-20 07:33:08 +0200y04nn(~username@2a03:1b20:8:f011::e10d)
2024-05-20 07:35:06 +0200causal(~eric@50.35.88.207) (Quit: WeeChat 4.1.1)
2024-05-20 07:49:41 +0200krei-se(~krei-se@p57af22bf.dip0.t-ipconnect.de) (Quit: ZNC 1.9.0 - https://znc.in)
2024-05-20 07:51:54 +0200krei-se(~krei-se@p57af22bf.dip0.t-ipconnect.de)
2024-05-20 08:31:56 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2024-05-20 08:32:40 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-20 08:33:30 +0200mailman(~mailman@119.155.170.51)
2024-05-20 08:33:41 +0200mailman(~mailman@119.155.170.51) (Client Quit)
2024-05-20 08:39:07 +0200aryah(~aryah@141-138-38-218.dsl.iskon.hr) (Read error: Connection reset by peer)
2024-05-20 08:43:48 +0200aryah(~aryah@141-138-38-218.dsl.iskon.hr)
2024-05-20 08:50:21 +0200acidjnk_new(~acidjnk@p200300d6e714dc12c1768acda4802182.dip0.t-ipconnect.de)
2024-05-20 08:55:47 +0200agent314(~quassel@static-198-44-131-18.cust.tzulo.com) (Ping timeout: 264 seconds)
2024-05-20 08:56:13 +0200agent314(~quassel@121.127.44.27)
2024-05-20 09:05:20 +0200aryah(~aryah@141-138-38-218.dsl.iskon.hr) (Read error: Connection reset by peer)
2024-05-20 09:05:23 +0200fendor(~fendor@2a02:8388:1605:ce00:24e2:c141:1f86:a346)
2024-05-20 09:05:23 +0200agent314(~quassel@121.127.44.27) (Ping timeout: 264 seconds)
2024-05-20 09:05:24 +0200agent314_(~quassel@184.75.215.3)
2024-05-20 09:05:55 +0200sord937(~sord937@gateway/tor-sasl/sord937)
2024-05-20 09:10:31 +0200mailman(~mailman@103.166.150.118)
2024-05-20 09:10:45 +0200aryah(~aryah@141-138-38-218.dsl.iskon.hr)
2024-05-20 09:17:20 +0200mailman(~mailman@103.166.150.118) (Quit: Client closed)
2024-05-20 09:19:28 +0200zetef(~quassel@5.2.182.99)
2024-05-20 09:44:20 +0200yin(~yin@user/zero)
2024-05-20 09:44:41 +0200danse-nr3(~danse-nr3@151.43.97.10)
2024-05-20 09:55:17 +0200fendor(~fendor@2a02:8388:1605:ce00:24e2:c141:1f86:a346) (Remote host closed the connection)
2024-05-20 10:10:07 +0200Square2(~Square4@user/square)
2024-05-20 10:19:56 +0200chiselfuse(~chiselfus@user/chiselfuse) (Remote host closed the connection)
2024-05-20 10:21:03 +0200chiselfuse(~chiselfus@user/chiselfuse)
2024-05-20 10:24:36 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-20 10:32:53 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-20 10:45:41 +0200y04nn(~username@2a03:1b20:8:f011::e10d) (Ping timeout: 240 seconds)
2024-05-20 10:49:57 +0200y04nn(~username@2a03:1b20:8:f011::e10d)
2024-05-20 10:56:47 +0200PHO`_PHO`
2024-05-20 10:59:09 +0200__monty__(~toonn@user/toonn)
2024-05-20 11:00:13 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2024-05-20 11:01:50 +0200zetef(~quassel@5.2.182.99) (Ping timeout: 252 seconds)
2024-05-20 11:01:51 +0200mikess(~mikess@user/mikess) (Ping timeout: 252 seconds)
2024-05-20 11:18:14 +0200ystael(~ystael@user/ystael)
2024-05-20 11:20:57 +0200sawilagar(~sawilagar@user/sawilagar)
2024-05-20 11:31:30 +0200danse-nr3(~danse-nr3@151.43.97.10) (Remote host closed the connection)
2024-05-20 11:31:52 +0200danse-nr3(~danse-nr3@151.43.97.10)
2024-05-20 11:36:00 +0200foul_owl(~kerry@157.97.134.168) (Ping timeout: 260 seconds)
2024-05-20 11:36:56 +0200y04nn(~username@2a03:1b20:8:f011::e10d) (Ping timeout: 260 seconds)
2024-05-20 11:38:53 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 240 seconds)
2024-05-20 11:59:24 +0200foul_owl(~kerry@185.219.141.164)
2024-05-20 12:01:47 +0200aryah(~aryah@141-138-38-218.dsl.iskon.hr) (Ping timeout: 252 seconds)
2024-05-20 12:01:53 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2024-05-20 12:30:48 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-05-20 12:30:57 +0200euleritian(~euleritia@dynamic-176-006-179-217.176.6.pool.telefonica.de)
2024-05-20 12:31:19 +0200euleritian(~euleritia@dynamic-176-006-179-217.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-05-20 12:31:36 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-05-20 12:38:25 +0200zetef(~quassel@5.2.182.99)
2024-05-20 12:39:41 +0200lxsameer(~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 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 260 seconds)
2024-05-20 12:50:35 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2024-05-20 12:50:59 +0200yin(~yin@user/zero) (Ping timeout: 264 seconds)
2024-05-20 12:57:26 +0200yin(~yin@user/zero)
2024-05-20 13:01:35 +0200tromp(~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 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2024-05-20 13:05:23 +0200Lord_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 +0200Lord_of_Life_Lord_of_Life
2024-05-20 13:16:06 +0200zetef(~quassel@5.2.182.99) (Remote host closed the connection)
2024-05-20 13:19:08 +0200danse-nr3(~danse-nr3@151.43.97.10) (Ping timeout: 260 seconds)
2024-05-20 13:19:29 +0200myxos(~myxos@syn-065-028-251-121.res.spectrum.com) (Remote host closed the connection)
2024-05-20 13:21:41 +0200sayola(~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 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-20 13:29:52 +0200myxos(~myxos@syn-065-028-251-121.res.spectrum.com)
2024-05-20 13:34:50 +0200ocra8(ocra8@user/ocra8)
2024-05-20 13:39:19 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-20 13:39:39 +0200aryah(~aryah@141-138-38-218.dsl.iskon.hr)
2024-05-20 13:41:42 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-20 13:41:45 +0200mesaoptimizer(~mesaoptim@user/PapuaHardyNet) (Quit: mesaoptimizer)
2024-05-20 13:42:01 +0200mesaoptimizer(~mesaoptim@user/PapuaHardyNet)
2024-05-20 13:55:31 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net)
2024-05-20 14:16:42 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2024-05-20 14:18:44 +0200yin(~yin@user/zero) (Ping timeout: 252 seconds)
2024-05-20 14:31:41 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 240 seconds)
2024-05-20 14:32:52 +0200lg188(~lg188@82.18.98.230) (Quit: Bye.)
2024-05-20 14:38:37 +0200agent314_(~quassel@184.75.215.3) (Quit: No Ping reply in 180 seconds.)
2024-05-20 14:39:05 +0200danse-nr3(~danse-nr3@151.57.192.203)
2024-05-20 14:40:09 +0200agent314(~quassel@184.75.215.3)
2024-05-20 14:43:51 +0200raehik(~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 +0200fendor(~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 +0200haveo_(~weechat@pacamara.iuwt.fr) (Quit: WeeChat 4.2.1)
2024-05-20 15:12:02 +0200haveo(~weechat@pacamara.iuwt.fr)
2024-05-20 15:20:06 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.1)
2024-05-20 15:20:10 +0200sayola(~sayola@ip-109-42-243-154.web.vodafone.de) (Read error: Connection reset by peer)
2024-05-20 15:23:33 +0200sayola(~sayola@ip-109-42-243-154.web.vodafone.de)
2024-05-20 15:23:36 +0200ocra8(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 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-05-20 15:25:42 +0200euleritian(~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 +0200haveo(~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 +0200haveo(~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 +0200B-J(~BenziJuni@232-148-209-31.dynamic.hringdu.is)
2024-05-20 16:04:34 +0200yin(~yin@user/zero)
2024-05-20 16:05:44 +0200B-J(~BenziJuni@232-148-209-31.dynamic.hringdu.is) ()
2024-05-20 16:06:04 +0200rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2024-05-20 16:06:34 +0200rvalue(~rvalue@user/rvalue)
2024-05-20 16:09:54 +0200fendor(~fendor@2a02:8388:1605:ce00:24e2:c141:1f86:a346) (Remote host closed the connection)
2024-05-20 16:20:12 +0200danse-nr3(~danse-nr3@151.57.192.203) (Ping timeout: 260 seconds)