Logs: liberachat/#haskell
| 2025-08-16 18:33:30 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-08-16 18:44:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-16 18:45:55 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2025-08-16 18:47:25 | → | fp joins (~Thunderbi@89-27-10-140.bb.dnainternet.fi) |
| 2025-08-16 18:49:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-08-16 18:50:15 | → | fp1 joins (~Thunderbi@2001-14ba-6e24-3000--19a.rev.dnainternet.fi) |
| 2025-08-16 18:53:38 | × | fp quits (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 244 seconds) |
| 2025-08-16 18:53:38 | fp1 | is now known as fp |
| 2025-08-16 19:00:03 | × | caconym747 quits (~caconym@user/caconym) (Quit: bye) |
| 2025-08-16 19:00:43 | → | caconym747 joins (~caconym@user/caconym) |
| 2025-08-16 19:03:07 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-08-16 19:05:36 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 2025-08-16 19:06:08 | → | ss4 joins (~wootehfoo@user/wootehfoot) |
| 2025-08-16 19:08:36 | × | fp quits (~Thunderbi@2001-14ba-6e24-3000--19a.rev.dnainternet.fi) (Ping timeout: 256 seconds) |
| 2025-08-16 19:15:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-16 19:20:36 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-08-16 19:21:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-08-16 19:22:43 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 2025-08-16 19:25:53 | <hololeap> | just curious, is there a data type that is Foldable and is always empty? i.e. toList x = [] |
| 2025-08-16 19:26:09 | × | ft quits (~ft@p508db692.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-08-16 19:27:22 | <hololeap> | looks like Const |
| 2025-08-16 19:27:36 | <hololeap> | instance Foldable (Const m) where foldMap _ _ = mempty |
| 2025-08-16 19:31:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-16 19:32:30 | → | ft joins (~ft@p200300cf3f165900e109d4f322676623.dip0.t-ipconnect.de) |
| 2025-08-16 19:34:35 | → | weary-traveler joins (~user@user/user363627) |
| 2025-08-16 19:35:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-08-16 19:44:55 | × | ss4 quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2025-08-16 19:46:27 | → | amadaluzia joins (~amadaluzi@user/amadaluzia) |
| 2025-08-16 19:48:29 | × | remedan quits (~remedan@78-80-80-127.customers.tmcz.cz) (Server closed connection) |
| 2025-08-16 19:50:59 | × | amadaluzia quits (~amadaluzi@user/amadaluzia) (Ping timeout: 244 seconds) |
| 2025-08-16 19:56:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-16 20:00:48 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-08-16 20:05:43 | × | Pozyomka quits (~pyon@user/pyon) (Quit: brb) |
| 2025-08-16 20:07:39 | → | remedan joins (~remedan@78-80-80-127.customers.tmcz.cz) |
| 2025-08-16 20:10:14 | → | werneta joins (~werneta@syn-071-083-160-242.res.spectrum.com) |
| 2025-08-16 20:10:49 | → | amadaluzia joins (~amadaluzi@user/amadaluzia) |
| 2025-08-16 20:14:29 | × | myxos quits (~myxos@syn-065-028-251-121.res.spectrum.com) (Remote host closed the connection) |
| 2025-08-16 20:20:54 | × | amadaluzia quits (~amadaluzi@user/amadaluzia) (Ping timeout: 252 seconds) |
| 2025-08-16 20:22:21 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 2025-08-16 20:27:10 | → | merijn joins (~merijn@62.45.137.128) |
| 2025-08-16 20:28:17 | × | trickard_ quits (~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-16 20:28:27 | → | amadaluzia joins (~amadaluzi@user/amadaluzia) |
| 2025-08-16 20:28:31 | → | trickard_ joins (~trickard@cpe-90-98-47-163.wireline.com.au) |
| 2025-08-16 20:31:49 | × | merijn quits (~merijn@62.45.137.128) (Ping timeout: 248 seconds) |
| 2025-08-16 20:35:10 | → | Axma60037 joins (~Axman6@user/axman6) |
| 2025-08-16 20:35:33 | × | amadaluzia quits (~amadaluzi@user/amadaluzia) (Ping timeout: 248 seconds) |
| 2025-08-16 20:36:33 | → | amadaluzia joins (~amadaluzi@user/amadaluzia) |
| 2025-08-16 20:39:38 | → | athan joins (~athan@syn-174-106-168-248.res.spectrum.com) |
| 2025-08-16 20:42:37 | → | merijn joins (~merijn@62.45.137.128) |
| 2025-08-16 20:43:39 | → | pavonia joins (~user@user/siracusa) |
| 2025-08-16 20:43:54 | → | Pozyomka joins (~pyon@user/pyon) |
| 2025-08-16 20:43:57 | × | Axman6 quits (~Axman6@user/axman6) (*.net *.split) |
| 2025-08-16 20:44:19 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-08-16 20:45:27 | × | Pozyomka quits (~pyon@user/pyon) (Client Quit) |
| 2025-08-16 20:46:04 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2025-08-16 20:46:12 | × | remedan quits (~remedan@78-80-80-127.customers.tmcz.cz) (Quit: Bye!) |
| 2025-08-16 20:46:32 | → | Pozyomka joins (~pyon@user/pyon) |
| 2025-08-16 20:47:03 | × | merijn quits (~merijn@62.45.137.128) (Ping timeout: 245 seconds) |
| 2025-08-16 20:48:07 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-08-16 20:52:28 | → | remedan joins (~remedan@78-80-80-127.customers.tmcz.cz) |
| 2025-08-16 20:57:38 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 244 seconds) |
| 2025-08-16 20:57:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-16 21:00:51 | <hololeap> | is there a name for (await >>= mapM_ yield) |
| 2025-08-16 21:01:05 | <hololeap> | aka an identity conduit |
| 2025-08-16 21:02:45 | <hololeap> | perhaps (mapC id) would be more efficient? |
| 2025-08-16 21:03:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-08-16 21:04:20 | <hololeap> | the use-case is I want to have a (Maybe (ConduitT ...)) that's passed in as an argument to manipulate the stream, or just pass the stream along unchanged if Nothing is given |
| 2025-08-16 21:05:28 | <hololeap> | right now I am using: fromMaybe (await >>= mapM_ yield) |
| 2025-08-16 21:08:21 | → | d0xfs joins (~user@57.134.187.177) |
| 2025-08-16 21:09:13 | → | dmj` joins (uid72307@id-72307.hampstead.irccloud.com) |
| 2025-08-16 21:09:31 | <dmj`> | Is begriffs around |
| 2025-08-16 21:12:06 | × | athan quits (~athan@syn-174-106-168-248.res.spectrum.com) (Quit: Konversation terminated!) |
| 2025-08-16 21:13:04 | ← | d0xfs parts (~user@57.134.187.177) (ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.1)) |
| 2025-08-16 21:13:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-16 21:16:33 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2025-08-16 21:17:27 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 2025-08-16 21:17:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-08-16 21:19:19 | × | hyletic quits (~textual@user/hyletic) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-08-16 21:21:34 | × | tromp quits (~textual@2001:1c00:3487:1b00:b18c:352c:ad0a:c01) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-16 21:21:46 | → | harveypwca joins (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) |
| 2025-08-16 21:27:37 | → | hyletic joins (~textual@user/hyletic) |
| 2025-08-16 21:30:30 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-08-16 21:32:15 | × | amadaluzia quits (~amadaluzi@user/amadaluzia) (Ping timeout: 244 seconds) |
| 2025-08-16 21:33:15 | × | Digit quits (~user@user/digit) (Read error: Connection reset by peer) |
| 2025-08-16 21:34:30 | → | Digit joins (~user@user/digit) |
| 2025-08-16 21:35:49 | → | euphores joins (~SASL_euph@user/euphores) |
| 2025-08-16 21:37:15 | × | hyletic quits (~textual@user/hyletic) (Quit: Textual IRC Client: www.textualapp.com) |
| 2025-08-16 21:37:59 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-08-16 21:43:06 | × | euphores quits (~SASL_euph@user/euphores) (Ping timeout: 244 seconds) |
| 2025-08-16 21:49:22 | × | bwe quits (~bwe@static.72.17.201.195.clients.your-server.de) (Server closed connection) |
| 2025-08-16 21:52:35 | × | dpk quits (~dpk@jains.nonceword.org) (Server closed connection) |
| 2025-08-16 21:54:46 | → | dpk joins (~dpk@jains.nonceword.org) |
| 2025-08-16 21:56:09 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2025-08-16 21:57:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-16 22:01:48 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-16 22:16:41 | × | trickard_ quits (~trickard@cpe-90-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 2025-08-16 22:17:07 | → | trickard_ joins (~trickard@cpe-90-98-47-163.wireline.com.au) |
| 2025-08-16 22:28:07 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-16 22:28:17 | → | fp joins (~Thunderbi@89-27-10-140.bb.dnainternet.fi) |
| 2025-08-16 22:29:35 | trickard_ | is now known as trickard |
All times are in UTC.