Logs: liberachat/#haskell
| 2025-08-11 08:14:58 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-08-11 08:19:25 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 255 seconds) |
| 2025-08-11 08:19:52 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 255 seconds) |
| 2025-08-11 08:25:33 | × | tromp quits (~textual@2001:1c00:3487:1b00:99b3:9a99:29d2:5644) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-11 08:26:10 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-08-11 08:27:01 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-08-11 08:30:24 | × | Digit quits (~user@user/digit) (Read error: Connection reset by peer) |
| 2025-08-11 08:30:51 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-08-11 08:31:36 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2025-08-11 08:31:38 | → | Digit joins (~user@user/digit) |
| 2025-08-11 08:40:01 | → | euphores joins (~SASL_euph@user/euphores) |
| 2025-08-11 08:42:14 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-08-11 08:43:40 | → | img joins (~img@user/img) |
| 2025-08-11 09:18:00 | <ski> | not sure it's officially a method, rather than just for efficiency |
| 2025-08-11 09:23:33 | × | harveypwca quits (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) (Quit: Leaving) |
| 2025-08-11 09:26:19 | × | stilgart quits (~Christoph@2001:41d0:2:8673::42) (Server closed connection) |
| 2025-08-11 09:26:28 | → | stilgart joins (~Christoph@2001:41d0:2:8673::42) |
| 2025-08-11 09:28:15 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-08-11 09:29:48 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 272 seconds) |
| 2025-08-11 09:30:29 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2025-08-11 09:33:08 | → | glguy joins (glguy@libera/staff/glguy) |
| 2025-08-11 09:33:25 | × | glguy quits (glguy@libera/staff/glguy) (Read error: Connection reset by peer) |
| 2025-08-11 09:33:44 | → | glguy joins (glguy@libera/staff/glguy) |
| 2025-08-11 09:41:56 | → | glguy_ joins (glguy@libera/staff/glguy) |
| 2025-08-11 09:42:11 | × | glguy_ quits (glguy@libera/staff/glguy) (Read error: Connection reset by peer) |
| 2025-08-11 09:42:31 | → | glguy_ joins (glguy@libera/staff/glguy) |
| 2025-08-11 09:42:45 | × | glguy quits (glguy@libera/staff/glguy) (Read error: Connection reset by peer) |
| 2025-08-11 09:42:52 | → | tromp joins (~textual@2001:1c00:3487:1b00:99b3:9a99:29d2:5644) |
| 2025-08-11 09:43:21 | × | rvalue quits (~rvalue@about/hackers/rvalue) (Read error: Connection reset by peer) |
| 2025-08-11 09:43:48 | → | rvalue joins (~rvalue@about/hackers/rvalue) |
| 2025-08-11 09:50:37 | × | traxex quits (traxex@user/traxex) (K-Lined) |
| 2025-08-11 09:54:17 | × | tcard__ quits (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 2025-08-11 10:04:06 | → | dhil joins (~dhil@5.151.29.140) |
| 2025-08-11 10:04:13 | → | traxex joins (traxex@user/traxex) |
| 2025-08-11 10:08:21 | → | tcard joins (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2025-08-11 10:08:40 | → | arahael joins (~arahael@user/arahael) |
| 2025-08-11 10:13:00 | → | haritz joins (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2025-08-11 10:13:00 | × | haritz quits (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2025-08-11 10:13:00 | → | haritz joins (~hrtz@user/haritz) |
| 2025-08-11 10:15:06 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-08-11 10:16:25 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 255 seconds) |
| 2025-08-11 10:21:13 | × | euandreh quits (~Thunderbi@2804:d59:892b:6600:cfc9:47d1:96e8:b32d) (Remote host closed the connection) |
| 2025-08-11 10:21:46 | × | driib318 quits (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2025-08-11 10:32:55 | → | driib318 joins (~driib@vmi931078.contaboserver.net) |
| 2025-08-11 10:33:58 | → | Square joins (~Square4@user/square) |
| 2025-08-11 10:36:57 | → | fp joins (~Thunderbi@2001:708:20:1406::10c5) |
| 2025-08-11 10:38:48 | → | trickard_ joins (~trickard@cpe-48-98-47-163.wireline.com.au) |
| 2025-08-11 10:39:45 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds) |
| 2025-08-11 10:45:46 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-08-11 10:55:42 | × | fp quits (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 252 seconds) |
| 2025-08-11 10:55:52 | → | fp1 joins (~Thunderbi@2001:708:150:10::72df) |
| 2025-08-11 10:58:09 | fp1 | is now known as fp |
| 2025-08-11 11:12:29 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-08-11 11:14:22 | → | califax joins (~califax@user/califx) |
| 2025-08-11 11:17:17 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2025-08-11 11:22:12 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-08-11 11:22:19 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2025-08-11 11:23:04 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2025-08-11 11:28:51 | × | tromp quits (~textual@2001:1c00:3487:1b00:99b3:9a99:29d2:5644) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-11 11:33:50 | trickard_ | is now known as trickard |
| 2025-08-11 11:35:20 | <Square> | Is there any direct haddock support for documenting type arguments of class? |
| 2025-08-11 11:35:53 | <Square> | ...other than include mention of the arguments in the class documentation body that is. |
| 2025-08-11 11:43:05 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-08-11 11:46:24 | × | trickard quits (~trickard@cpe-48-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-11 11:46:38 | → | trickard_ joins (~trickard@cpe-48-98-47-163.wireline.com.au) |
| 2025-08-11 11:48:56 | → | tromp joins (~textual@2001:1c00:3487:1b00:99b3:9a99:29d2:5644) |
| 2025-08-11 11:49:43 | × | athan quits (~athan@syn-047-132-161-157.res.spectrum.com) (Quit: Konversation terminated!) |
| 2025-08-11 12:02:47 | → | athan joins (~athan@syn-047-132-161-157.res.spectrum.com) |
| 2025-08-11 12:18:59 | → | ynzoqn joins (~ynzoqn@user/ynzoqn) |
| 2025-08-11 12:21:42 | <[exa]> | Square: probably not, does it even support "normal" function arguments? |
| 2025-08-11 12:22:25 | <Square> | [exa], Actually looks as if there is support for function arguments (but can't remember I've seen it used). |
| 2025-08-11 12:23:20 | <[exa]> | ha yes you can annotate the type |
| 2025-08-11 12:23:25 | <[exa]> | https://haskell-haddock.readthedocs.io/latest/markup.html#function-arguments |
| 2025-08-11 12:23:58 | <Square> | Sadly I don't find anything for type arguments of classes. |
| 2025-08-11 12:24:00 | <[exa]> | hm...can we declare and annotate the kind of the typeclass constraunt? :D |
| 2025-08-11 12:26:57 | <[exa]> | probably not |
| 2025-08-11 12:27:01 | glguy_ | is now known as glguy |
| 2025-08-11 12:33:53 | × | ouilemur quits (~jgmerritt@user/ouilemur) (Ping timeout: 248 seconds) |
| 2025-08-11 12:35:59 | → | ouilemur joins (~jgmerritt@user/ouilemur) |
| 2025-08-11 12:37:48 | × | phma quits (phma@2001:5b0:211f:e8b8:5c88:56cb:7320:3f0c) (Read error: Connection reset by peer) |
| 2025-08-11 12:37:53 | → | davidlbowman joins (~dlb@user/davidlbowman) |
| 2025-08-11 12:44:38 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 2025-08-11 12:50:41 | trickard_ | is now known as trickard |
| 2025-08-11 12:53:49 | × | mange quits (~mange@user/mange) (Quit: Zzz...) |
| 2025-08-11 12:58:54 | × | exarkun quits (~exarkun@user/exarkun) (Server closed connection) |
| 2025-08-11 12:59:45 | → | exarkun joins (~exarkun@user/exarkun) |
| 2025-08-11 13:02:31 | → | weary-traveler joins (~user@user/user363627) |
| 2025-08-11 13:04:09 | × | davidlbowman quits (~dlb@user/davidlbowman) (Quit: WeeChat 4.1.1) |
| 2025-08-11 13:04:40 | → | davidlbowman joins (~dlb@user/davidlbowman) |
| 2025-08-11 13:06:12 | × | jackdk quits (uid373013@cssa/life/jackdk) (Quit: Connection closed for inactivity) |
| 2025-08-11 13:13:12 | × | fp quits (~Thunderbi@2001:708:150:10::72df) (Ping timeout: 252 seconds) |
| 2025-08-11 13:13:54 | → | ystael joins (~ystael@user/ystael) |
| 2025-08-11 13:17:55 | × | divya quits (divya@140.238.251.170) (Server closed connection) |
| 2025-08-11 13:26:41 | → | fp joins (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) |
| 2025-08-11 13:27:40 | × | trickard quits (~trickard@cpe-48-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-11 13:27:54 | → | trickard_ joins (~trickard@cpe-48-98-47-163.wireline.com.au) |
| 2025-08-11 13:31:01 | → | kuribas joins (~user@ptr-17d51eoj04q0l82zsdl.18120a2.ip6.access.telenet.be) |
| 2025-08-11 13:33:11 | → | divya joins (divya@140.238.251.170) |
| 2025-08-11 13:37:13 | × | bgamari_ quits (~bgamari@64.223.225.237) (Server closed connection) |
| 2025-08-11 13:37:33 | → | bgamari joins (~bgamari@64.223.225.237) |
All times are in UTC.