| 2023-12-29 00:24:35 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 264 seconds) |
| 2023-12-29 00:32:50 +0100 | modnar | (~modnar@sh.sonic.net) |
| 2023-12-29 00:33:21 +0100 | modnar | (~modnar@sh.sonic.net) (Client Quit) |
| 2023-12-29 00:34:22 +0100 | crats | (~modnar@sh.sonic.net) |
| 2023-12-29 00:35:34 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-12-29 00:37:38 +0100 | <crats> | Is there a way to specify a different history file for ghci per invocation? Thanks. |
| 2023-12-29 00:37:39 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-12-29 00:40:23 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2023-12-29 00:44:05 +0100 | <monochrom> | I have only found: -flocal-ghci-history creates/uses currentdirectory/.ghci_history |
| 2023-12-29 00:47:40 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2023-12-29 00:53:43 +0100 | azimut_ | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-12-29 00:54:34 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-12-29 00:59:43 +0100 | araujo | (~araujo@216.73.163.54) (Ping timeout: 256 seconds) |
| 2023-12-29 01:00:51 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2023-12-29 01:07:52 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 246 seconds) |
| 2023-12-29 01:11:29 +0100 | kaskal | (~kaskal@89.144.222.250) (Ping timeout: 256 seconds) |
| 2023-12-29 01:13:13 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2023-12-29 01:14:22 +0100 | johnw | (~johnw@69.62.242.138) |
| 2023-12-29 01:15:55 +0100 | crats | (~modnar@sh.sonic.net) (Remote host closed the connection) |
| 2023-12-29 01:21:05 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Remote host closed the connection) |
| 2023-12-29 01:21:06 +0100 | acidjnk | (~acidjnk@p200300d6e72b93695034e58544c46cc6.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2023-12-29 01:21:29 +0100 | sawilagar | (~sawilagar@user/sawilagar) |
| 2023-12-29 01:23:41 +0100 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 245 seconds) |
| 2023-12-29 01:29:22 +0100 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2023-12-29 01:36:57 +0100 | mikess | (~sam@user/mikess) |
| 2023-12-29 01:55:38 +0100 | chomwitt | (~chomwitt@2a02:587:7a0c:fb00:1ac0:4dff:fedb:a3f1) (Ping timeout: 260 seconds) |
| 2023-12-29 01:58:16 +0100 | dolio | (~dolio@130.44.134.54) |
| 2023-12-29 02:03:17 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 240 seconds) |
| 2023-12-29 02:10:12 +0100 | jargon | (~jargon@211.sub-174-205-225.myvzw.com) |
| 2023-12-29 02:15:50 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-171.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-12-29 02:17:21 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 2023-12-29 02:18:14 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-12-29 02:24:33 +0100 | bilegeek | (~bilegeek@2600:1008:b096:bf93:7de8:7b41:443d:1de9) |
| 2023-12-29 02:24:45 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2023-12-29 02:34:06 +0100 | rosco | (~rosco@14.191.93.45) |
| 2023-12-29 02:51:52 +0100 | bilegeek | (~bilegeek@2600:1008:b096:bf93:7de8:7b41:443d:1de9) (Ping timeout: 268 seconds) |
| 2023-12-29 03:00:41 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) |
| 2023-12-29 03:08:59 +0100 | Noob_Programmer | (~Noob_Prog@2405:201:400f:1936:7849:e67d:9723:1739) |
| 2023-12-29 03:17:27 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:8480:b23e:f471:b6f1) (Remote host closed the connection) |
| 2023-12-29 03:17:42 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:8480:b23e:f471:b6f1) |
| 2023-12-29 03:19:17 +0100 | mt000_ROM | (~mt@2400:2411:c6e1:5800:2acb:38af:3d3f:b865) |
| 2023-12-29 03:26:07 +0100 | califax | (~califax@user/califx) (Ping timeout: 240 seconds) |
| 2023-12-29 03:26:15 +0100 | califax_ | (~califax@user/califx) |
| 2023-12-29 03:27:33 +0100 | califax_ | califax |
| 2023-12-29 03:40:05 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-12-29 03:46:08 +0100 | rosco | (~rosco@14.191.93.45) (Ping timeout: 268 seconds) |
| 2023-12-29 03:56:00 +0100 | xff0x | (~xff0x@2405:6580:b080:900:c3f5:7df3:b5ee:188a) (Ping timeout: 268 seconds) |
| 2023-12-29 04:06:31 +0100 | institor | (~henricus@user/institor) |
| 2023-12-29 04:14:37 +0100 | Typedfern | (~Typedfern@220.red-83-37-25.dynamicip.rima-tde.net) |
| 2023-12-29 04:15:57 +0100 | Typedfern | (~Typedfern@220.red-83-37-25.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2023-12-29 04:19:13 +0100 | Typedfern | (~Typedfern@220.red-83-37-25.dynamicip.rima-tde.net) |
| 2023-12-29 04:25:40 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-12-29 04:25:40 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-12-29 04:25:40 +0100 | finn_elija | FinnElija |
| 2023-12-29 04:29:20 +0100 | jargon | (~jargon@211.sub-174-205-225.myvzw.com) (Remote host closed the connection) |
| 2023-12-29 04:29:56 +0100 | td_ | (~td@i5387093c.versanet.de) (Ping timeout: 245 seconds) |
| 2023-12-29 04:31:55 +0100 | td_ | (~td@i53870902.versanet.de) |
| 2023-12-29 04:33:15 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2023-12-29 04:33:39 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-12-29 04:41:01 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-12-29 04:48:10 +0100 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 260 seconds) |
| 2023-12-29 04:58:14 +0100 | boxscape_ | (~boxscape_@p4ff0bcf4.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2023-12-29 05:07:27 +0100 | xdminsy | (~xdminsy@117.147.71.169) |
| 2023-12-29 05:17:30 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-12-29 05:17:55 +0100 | califax | (~califax@user/califx) |
| 2023-12-29 05:18:41 +0100 | aforemny_ | (~aforemny@2001:9e8:6cde:3e00:e38e:ee65:e4a3:4952) (Ping timeout: 245 seconds) |
| 2023-12-29 05:18:58 +0100 | aforemny | (~aforemny@2001:9e8:6cc3:0:ee6c:1c7b:f8ba:2a53) |
| 2023-12-29 05:21:55 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2023-12-29 06:02:55 +0100 | Ellenor | (~Ellenor@callbox.trd.is) |
| 2023-12-29 06:03:16 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 245 seconds) |
| 2023-12-29 06:04:40 +0100 | Typedfern | (~Typedfern@220.red-83-37-25.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2023-12-29 06:10:15 +0100 | Typedfern | (~Typedfern@220.red-83-37-25.dynamicip.rima-tde.net) |
| 2023-12-29 06:14:23 +0100 | Typedfern | (~Typedfern@220.red-83-37-25.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2023-12-29 06:21:24 +0100 | trev | (~trev@user/trev) |
| 2023-12-29 06:25:46 +0100 | Square | (~Square@user/square) (Ping timeout: 245 seconds) |
| 2023-12-29 06:30:11 +0100 | Typedfern | (~Typedfern@220.red-83-37-25.dynamicip.rima-tde.net) |
| 2023-12-29 06:30:51 +0100 | Typedfern | (~Typedfern@220.red-83-37-25.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2023-12-29 06:39:48 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) (Quit: Konversation terminated!) |
| 2023-12-29 06:41:02 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) |
| 2023-12-29 06:43:16 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2023-12-29 06:52:46 +0100 | causal | (~eric@50.35.85.7) (Quit: WeeChat 4.1.1) |
| 2023-12-29 06:57:52 +0100 | Typedfern | (~Typedfern@220.red-83-37-25.dynamicip.rima-tde.net) |
| 2023-12-29 07:02:47 +0100 | <glguy> | <* and << would probably do different things |
| 2023-12-29 07:04:10 +0100 | <glguy> | >>= and =<< are flipped versions of each other. << ought to be a flipped >> |
| 2023-12-29 07:08:38 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-12-29 07:11:09 +0100 | sroso | (~sroso@user/SrOso) |
| 2023-12-29 07:21:48 +0100 | dolio | (~dolio@130.44.134.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-12-29 07:22:07 +0100 | michalz | (~michalz@185.246.207.203) |
| 2023-12-29 07:25:25 +0100 | dolio | (~dolio@130.44.134.54) |
| 2023-12-29 07:26:34 +0100 | dolio | (~dolio@130.44.134.54) (Client Quit) |
| 2023-12-29 07:28:10 +0100 | dolio | (~dolio@130.44.134.54) |
| 2023-12-29 07:30:57 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) (Quit: Konversation terminated!) |
| 2023-12-29 07:31:17 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) |
| 2023-12-29 07:32:17 +0100 | notzmv | (~zmv@user/notzmv) (Ping timeout: 256 seconds) |
| 2023-12-29 07:44:56 +0100 | dolio | (~dolio@130.44.134.54) (Ping timeout: 245 seconds) |
| 2023-12-29 07:52:06 +0100 | not_reserved | (~not_reser@154.16.157.87) |
| 2023-12-29 07:52:27 +0100 | michalz | (~michalz@185.246.207.203) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-12-29 07:55:20 +0100 | michalz | (~michalz@185.246.207.203) |
| 2023-12-29 07:57:59 +0100 | notzmv | (~zmv@user/notzmv) |
| 2023-12-29 08:04:51 +0100 | misterfish | (~misterfis@84.53.85.146) |
| 2023-12-29 08:13:16 +0100 | mt000_ROM | (~mt@2400:2411:c6e1:5800:2acb:38af:3d3f:b865) (Ping timeout: 245 seconds) |
| 2023-12-29 08:24:48 +0100 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
| 2023-12-29 08:27:35 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-12-29 08:32:39 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2023-12-29 08:45:52 +0100 | mt000_ROM | (~mt@2400:2411:c6e1:5800:db07:ec1e:cc61:26a9) |
| 2023-12-29 08:46:11 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2023-12-29 08:49:24 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 256 seconds) |
| 2023-12-29 08:53:39 +0100 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 252 seconds) |
| 2023-12-29 09:01:35 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2023-12-29 09:02:08 +0100 | mima | (~mmh@dynamic-077-010-059-205.77.10.pool.telefonica.de) |
| 2023-12-29 09:03:41 +0100 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2023-12-29 09:03:50 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-12-29 09:04:24 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2023-12-29 09:15:55 +0100 | Lycurgus | (~georg@user/Lycurgus) (Quit: leaving) |
| 2023-12-29 09:17:53 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) (Read error: Connection reset by peer) |
| 2023-12-29 09:18:10 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) |
| 2023-12-29 09:19:11 +0100 | euleritian | (~euleritia@dynamic-046-114-174-139.46.114.pool.telefonica.de) (Ping timeout: 264 seconds) |
| 2023-12-29 09:19:48 +0100 | euleritian | (~euleritia@dynamic-046-114-172-233.46.114.pool.telefonica.de) |
| 2023-12-29 09:27:08 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) (Quit: Konversation terminated!) |
| 2023-12-29 09:27:29 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) |
| 2023-12-29 09:32:35 +0100 | benjaminl | (~benjaminl@user/benjaminl) |
| 2023-12-29 09:32:50 +0100 | Feuermagier_ | (~Feuermagi@user/feuermagier) |
| 2023-12-29 09:32:50 +0100 | Feuermagier | Guest421 |
| 2023-12-29 09:32:51 +0100 | Guest421 | (~Feuermagi@user/feuermagier) (Killed (cadmium.libera.chat (Nickname regained by services))) |
| 2023-12-29 09:32:51 +0100 | Feuermagier_ | Feuermagier |
| 2023-12-29 09:34:55 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-12-29 09:36:42 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 260 seconds) |
| 2023-12-29 09:38:40 +0100 | potato44 | (uid421314@id-421314.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-12-29 09:38:51 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) (Read error: Connection reset by peer) |
| 2023-12-29 09:39:10 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) |
| 2023-12-29 09:41:26 +0100 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) |
| 2023-12-29 09:43:42 +0100 | mima | (~mmh@dynamic-077-010-059-205.77.10.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2023-12-29 09:44:59 +0100 | phma_ | (phma@2001:5b0:2172:bf48:d94b:c147:93b3:7bbe) (Read error: Connection reset by peer) |
| 2023-12-29 09:45:52 +0100 | phma_ | (~phma@host-67-44-208-102.hnremote.net) |
| 2023-12-29 09:48:21 +0100 | phma_ | phma |
| 2023-12-29 09:49:37 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) (Quit: Konversation terminated!) |
| 2023-12-29 09:50:08 +0100 | rosco | (~rosco@14.191.93.45) |
| 2023-12-29 09:50:50 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2023-12-29 09:56:19 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-12-29 09:56:44 +0100 | rosco | (~rosco@14.191.93.45) (Quit: Lost terminal) |
| 2023-12-29 09:59:10 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-12-29 09:59:37 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:8480:b23e:f471:b6f1) (Remote host closed the connection) |
| 2023-12-29 10:01:43 +0100 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Quit: oo_miguel) |
| 2023-12-29 10:10:00 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) (Quit: Leaving) |
| 2023-12-29 10:10:00 +0100 | <c_wraith> | Whoa. Data.List.NonEmpty has groupAllWith. They really want us to stop grouping with Data.List, huh? |
| 2023-12-29 10:16:54 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-12-29 10:16:55 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2023-12-29 10:19:08 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-12-29 10:19:34 +0100 | xff0x | (~xff0x@ai085147.d.east.v6connect.net) |
| 2023-12-29 10:20:47 +0100 | misterfish | (~misterfis@g250100.upc-g.chello.nl) |
| 2023-12-29 10:22:03 +0100 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz) |
| 2023-12-29 10:31:59 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:8480:b23e:f471:b6f1) |
| 2023-12-29 10:32:04 +0100 | mikess | (~sam@user/mikess) (Ping timeout: 246 seconds) |
| 2023-12-29 10:33:13 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-12-29 10:34:45 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-171.elisa-laajakaista.fi) |
| 2023-12-29 10:35:39 +0100 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
| 2023-12-29 10:36:47 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:8480:b23e:f471:b6f1) (Ping timeout: 260 seconds) |
| 2023-12-29 10:37:08 +0100 | <ncf> | :t (*>) |
| 2023-12-29 10:37:09 +0100 | <lambdabot> | Applicative f => f a -> f b -> f b |
| 2023-12-29 10:37:10 +0100 | <ncf> | :t (>>) |
| 2023-12-29 10:37:11 +0100 | <lambdabot> | Monad m => m a -> m b -> m b |
| 2023-12-29 10:44:58 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-12-29 10:51:34 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-12-29 10:53:01 +0100 | <cheater> | c_wraith: Big Haskell is trying to suppress your creativity |
| 2023-12-29 10:55:42 +0100 | acidjnk | (~acidjnk@p200300d6e72b9374fc20c6d10faefee0.dip0.t-ipconnect.de) |
| 2023-12-29 11:00:38 +0100 | igemnace | (~ian@user/igemnace) |
| 2023-12-29 11:02:06 +0100 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 260 seconds) |
| 2023-12-29 11:03:15 +0100 | <Athas> | How do I examine the sign bit of a NaN, using just the base library? |
| 2023-12-29 11:05:13 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-12-29 11:05:20 +0100 | <Athas> | It looks like 'decodeFloat' does contain the information, but it's specified as undefined. |
| 2023-12-29 11:05:29 +0100 | <Athas> | I only care about this for the Float/Double. |
| 2023-12-29 11:06:24 +0100 | <cheater> | good luck working that one out |
| 2023-12-29 11:06:40 +0100 | <cheater> | i'd read the source of decodeFloat and relevant code |
| 2023-12-29 11:07:42 +0100 | steew | (~steew@user/steew) (Remote host closed the connection) |
| 2023-12-29 11:08:36 +0100 | <Athas> | Well, it's certainly just giving me the actual representation. |
| 2023-12-29 11:08:43 +0100 | <Athas> | I suppose there is no risk that GHC will change that in the future. |
| 2023-12-29 11:09:01 +0100 | <Athas> | Good thing I paid attention in the class on floating point representation! |
| 2023-12-29 11:12:47 +0100 | Guest12 | (~Guest12@2a01:510:d504:2300:6d9:f5ff:fe7e:d97e) |
| 2023-12-29 11:15:34 +0100 | Guest12 | (~Guest12@2a01:510:d504:2300:6d9:f5ff:fe7e:d97e) (Client Quit) |
| 2023-12-29 11:27:32 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-12-29 11:29:31 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:8480:b23e:f471:b6f1) |
| 2023-12-29 11:29:48 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-12-29 11:30:38 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-12-29 11:35:21 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2023-12-29 11:36:58 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 268 seconds) |
| 2023-12-29 11:51:46 +0100 | <trev> | how come i can't do something like this: `Data.List.find (\i -> i == (1,2)) [[(1,i), (2, i)] | i <- [1..3]]` |
| 2023-12-29 11:52:15 +0100 | <trev> | oops, ignore the predicate there. forgot to edit it |
| 2023-12-29 11:52:37 +0100 | <trev> | just imagine that it's passing the list into a function or something |
| 2023-12-29 11:52:56 +0100 | <ncf> | could you explain in english what you want to do? |
| 2023-12-29 11:53:48 +0100 | Batzy | (~quassel@user/batzy) |
| 2023-12-29 11:54:12 +0100 | <trev> | i want to `find` over a list of lists |
| 2023-12-29 11:54:29 +0100 | <ncf> | concatenate the lists first? |
| 2023-12-29 11:55:05 +0100 | <trev> | but i want to pass the sublist into a function within the condition of `find` |
| 2023-12-29 11:55:30 +0100 | <ncf> | what sublist? |
| 2023-12-29 11:55:42 +0100 | <trev> | in other words, i want `\i :: [(Int,Int)]` in that example |
| 2023-12-29 11:56:37 +0100 | <ncf> | :t \x -> find x [[(1, i), (2, i)] | i <- [1..3]] |
| 2023-12-29 11:56:38 +0100 | <lambdabot> | (Enum b, Num b, Num a) => ([(a, b)] -> Bool) -> Maybe [(a, b)] |
| 2023-12-29 11:56:52 +0100 | <ncf> | you have that already |
| 2023-12-29 11:59:40 +0100 | <trev> | hmph.. back to the drawing board then |
| 2023-12-29 12:00:30 +0100 | not_reserved | (~not_reser@154.16.157.87) (Quit: Client closed) |
| 2023-12-29 12:00:47 +0100 | <ncf> | of course i == (1, 2) is ill-typed if i is a list |
| 2023-12-29 12:01:02 +0100 | <ncf> | :t elem |
| 2023-12-29 12:01:03 +0100 | <lambdabot> | (Foldable t, Eq a) => a -> t a -> Bool |
| 2023-12-29 12:01:43 +0100 | sawilagar | (~sawilagar@user/sawilagar) |
| 2023-12-29 12:01:49 +0100 | <trev> | yeah, that was just an error of me typing it here |
| 2023-12-29 12:10:01 +0100 | mmhat | (~mmh@p200300f1c7323cdcee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-12-29 12:14:41 +0100 | chele | (~chele@user/chele) |
| 2023-12-29 12:17:17 +0100 | __monty__ | (~toonn@user/toonn) |
| 2023-12-29 12:18:11 +0100 | Noob_Programmer | (~Noob_Prog@2405:201:400f:1936:7849:e67d:9723:1739) (Quit: Client closed) |
| 2023-12-29 12:19:12 +0100 | meinside | (uid24933@id-24933.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-12-29 12:21:30 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-12-29 12:21:30 +0100 | sroso | (~sroso@user/SrOso) (Quit: Leaving) |
| 2023-12-29 12:26:01 +0100 | <trev> | man, i'm an idiot. it was such a silly mistake on my park |
| 2023-12-29 12:45:36 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2023-12-29 12:48:11 +0100 | misterfish | (~misterfis@g250100.upc-g.chello.nl) (Ping timeout: 268 seconds) |
| 2023-12-29 12:54:24 +0100 | misterfish | (~misterfis@87.215.131.102) |
| 2023-12-29 12:56:37 +0100 | Guest56 | (~Guest56@121-200-9-35.79c809.mel.nbn.aussiebb.net) |
| 2023-12-29 12:58:17 +0100 | <Guest56> | Hi, I am trying to use a materialicon UTF-8 codepoint in a string in Haskell, for printing an icon to the terminal (a battery indicator), and my error is "lexical error in string/character literal at character '\57763'". |
| 2023-12-29 12:58:17 +0100 | <Guest56> | What's my best option here? |
| 2023-12-29 12:58:18 +0100 | <Guest56> | The code looks like |
| 2023-12-29 12:58:18 +0100 | <Guest56> | ``` |
| 2023-12-29 12:58:19 +0100 | <Guest56> | Just $ "" ++ (show percent) ++ "%" |
| 2023-12-29 12:58:19 +0100 | <Guest56> | ``` |
| 2023-12-29 13:02:19 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-12-29 13:03:42 +0100 | <Guest56> | Maybe the better question is, can Haskell accept private area UTF-8 codepoints at all in Strings within code? I guess I could "load" the strings in with some IO... |
| 2023-12-29 13:06:24 +0100 | <ncf> | Guest56: use "\xE1A3" or "\57763"; see https://hackage.haskell.org/package/base-4.19.0.0/docs/Data-Char.html#t:Char |
| 2023-12-29 13:10:36 +0100 | <ncf> | your issue seems to be a resurgence of https://gitlab.haskell.org/ghc/ghc/-/issues/5518 |
| 2023-12-29 13:11:49 +0100 | <Guest56> | ncf interesting, I had attempted that but the Unicode printing out was wrong, so I assumed it was problematic, turns out the bad encoding is coming from `safeSpawn` in https://hackage.haskell.org/package/xmonad-contrib-0.17.1/docs/src/XMonad.Util.Run.html#safeSpawn - I'll have to debug that instead :) - thanks ncf |
| 2023-12-29 13:17:38 +0100 | <Guest56> | Success, stopped using that function and used the System calls myself, no problem :) |
| 2023-12-29 13:32:34 +0100 | zer0bitz_ | (~zer0bitz@user/zer0bitz) |
| 2023-12-29 13:36:31 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 246 seconds) |
| 2023-12-29 13:36:39 +0100 | zer0bitz | (~zer0bitz@user/zer0bitz) (Ping timeout: 256 seconds) |
| 2023-12-29 13:38:15 +0100 | mima | (~mmh@151.217.91.149) |
| 2023-12-29 13:43:16 +0100 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2023-12-29 13:43:55 +0100 | mima | (~mmh@151.217.91.149) (Ping timeout: 260 seconds) |
| 2023-12-29 13:52:37 +0100 | AlexNoo_ | (~AlexNoo@178.34.163.207) |
| 2023-12-29 13:54:29 +0100 | AlexZenon | (~alzenon@94.233.240.140) (Ping timeout: 268 seconds) |
| 2023-12-29 13:56:09 +0100 | AlexNoo | (~AlexNoo@94.233.240.140) (Ping timeout: 252 seconds) |
| 2023-12-29 13:58:07 +0100 | AlexZenon | (~alzenon@178.34.163.207) |
| 2023-12-29 14:04:28 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-12-29 14:06:53 +0100 | AlexNoo_ | AlexNoo |
| 2023-12-29 14:07:06 +0100 | Guest56 | (~Guest56@121-200-9-35.79c809.mel.nbn.aussiebb.net) (Quit: Client closed) |
| 2023-12-29 14:31:27 +0100 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
| 2023-12-29 14:32:14 +0100 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Remote host closed the connection) |
| 2023-12-29 14:35:48 +0100 | __monty__ | (~toonn@user/toonn) (Ping timeout: 268 seconds) |
| 2023-12-29 14:38:53 +0100 | acidjnk | (~acidjnk@p200300d6e72b9374fc20c6d10faefee0.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2023-12-29 14:45:25 +0100 | __monty__ | (~toonn@user/toonn) |
| 2023-12-29 15:05:07 +0100 | acidjnk | (~acidjnk@p200300d6e72b9374f0cb08d58417bae5.dip0.t-ipconnect.de) |
| 2023-12-29 15:10:14 +0100 | dolio | (~dolio@130.44.134.54) |
| 2023-12-29 15:19:17 +0100 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-12-29 15:32:08 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-12-29 15:37:11 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 264 seconds) |
| 2023-12-29 15:41:03 +0100 | gentauro | (~gentauro@user/gentauro) |
| 2023-12-29 15:42:12 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-12-29 15:44:21 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-12-29 15:51:19 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds) |
| 2023-12-29 15:52:31 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-12-29 16:02:48 +0100 | todi | (~todi@p4fd1a1df.dip0.t-ipconnect.de) (Quit: ZNC - https://znc.in) |
| 2023-12-29 16:05:05 +0100 | hippoid | (~hippoid@c-98-213-162-40.hsd1.il.comcast.net) (Changing host) |
| 2023-12-29 16:05:05 +0100 | hippoid | (~hippoid@user/hippoid) |
| 2023-12-29 16:05:13 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1) |
| 2023-12-29 16:32:36 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-12-29 16:34:49 +0100 | mmhat | (~mmh@p200300f1c7323cdcee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2023-12-29 16:35:11 +0100 | mmhat | (~mmh@p200300f1c7323c25ee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-12-29 16:39:45 +0100 | causal | (~eric@50.35.85.7) |
| 2023-12-29 16:39:47 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2023-12-29 16:47:26 +0100 | mt000_ROM | (~mt@2400:2411:c6e1:5800:db07:ec1e:cc61:26a9) (Ping timeout: 260 seconds) |
| 2023-12-29 16:49:19 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-12-29 16:53:54 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-12-29 16:54:38 +0100 | Square | (~Square@user/square) |
| 2023-12-29 16:59:57 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2023-12-29 17:00:08 +0100 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 256 seconds) |
| 2023-12-29 17:00:20 +0100 | Typedfern | (~Typedfern@220.red-83-37-25.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2023-12-29 17:00:34 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-12-29 17:01:33 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2023-12-29 17:05:10 +0100 | gentauro | (~gentauro@user/gentauro) (Ping timeout: 260 seconds) |
| 2023-12-29 17:06:36 +0100 | Inst | (~Inst@120.244.192.161) |
| 2023-12-29 17:06:39 +0100 | <Inst> | https://hackage.haskell.org/package/servant-lucid |
| 2023-12-29 17:06:44 +0100 | <Inst> | is there a version for lucid2? |
| 2023-12-29 17:07:47 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds) |
| 2023-12-29 17:08:41 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:f649:733a:2b7d:2732) |
| 2023-12-29 17:09:17 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2023-12-29 17:10:07 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:f649:733a:2b7d:2732) (Client Quit) |
| 2023-12-29 17:14:49 +0100 | <[exa]> | Inst: https://github.com/haskell-servant/servant-lucid/issues/26 (I'd say not but also changing the pkg by hand to lucid2 won't be very hard) |
| 2023-12-29 17:15:01 +0100 | <[exa]> | be the first™ |
| 2023-12-29 17:15:08 +0100 | <Inst> | thanks, sorry, am losing it somewhat, also, captured by a witch |
| 2023-12-29 17:18:10 +0100 | <[exa]> | interesting note to the immutable policy there... :D |
| 2023-12-29 17:18:45 +0100 | <[exa]> | oh wait, lok here |
| 2023-12-29 17:19:18 +0100 | <[exa]> | https://github.com/intolerable/servant-lucid2 |
| 2023-12-29 17:20:35 +0100 | <[exa]> | doesn't seem hackage-level quality yet but could be usable |
| 2023-12-29 17:22:31 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 240 seconds) |
| 2023-12-29 17:23:00 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2023-12-29 17:26:09 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-12-29 17:36:10 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:8480:b23e:f471:b6f1) (Remote host closed the connection) |
| 2023-12-29 17:36:18 +0100 | target_i | (~target_i@217.175.14.39) |
| 2023-12-29 17:36:27 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:bdfc:5a3c:dbc1:16ed) |
| 2023-12-29 17:36:58 +0100 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 246 seconds) |
| 2023-12-29 17:40:48 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-12-29 17:41:40 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-12-29 17:44:31 +0100 | mikess | (~sam@user/mikess) |
| 2023-12-29 17:45:02 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-12-29 17:52:48 +0100 | Typedfern | (~Typedfern@220.red-83-37-25.dynamicip.rima-tde.net) |
| 2023-12-29 17:54:13 +0100 | Typedfern | (~Typedfern@220.red-83-37-25.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2023-12-29 17:58:38 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:bdfc:5a3c:dbc1:16ed) (Remote host closed the connection) |
| 2023-12-29 18:02:10 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:bdfc:5a3c:dbc1:16ed) |
| 2023-12-29 18:11:23 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2023-12-29 18:11:48 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2023-12-29 18:12:14 +0100 | xdminsy | (~xdminsy@117.147.71.169) (Read error: Connection reset by peer) |
| 2023-12-29 18:12:24 +0100 | misterfish | (~misterfis@84.53.85.146) |
| 2023-12-29 18:12:25 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:bdfc:5a3c:dbc1:16ed) (Remote host closed the connection) |
| 2023-12-29 18:17:03 +0100 | ystael | (~ystael@user/ystael) |
| 2023-12-29 18:19:34 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:bdfc:5a3c:dbc1:16ed) |
| 2023-12-29 18:21:17 +0100 | xdminsy | (~xdminsy@117.147.71.169) |
| 2023-12-29 18:30:10 +0100 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection) |
| 2023-12-29 18:36:36 +0100 | xdminsy | (~xdminsy@117.147.71.169) (Ping timeout: 268 seconds) |
| 2023-12-29 18:37:09 +0100 | xdminsy | (~xdminsy@117.147.71.169) |
| 2023-12-29 18:37:45 +0100 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 2023-12-29 18:41:33 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:bdfc:5a3c:dbc1:16ed) (Remote host closed the connection) |
| 2023-12-29 18:43:25 +0100 | edwtjo | (~edwtjo@fsf/member/edwtjo) (Quit: WeeChat 3.8) |
| 2023-12-29 18:43:42 +0100 | turlando | (~turlando@user/turlando) () |
| 2023-12-29 18:43:58 +0100 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2023-12-29 18:47:21 +0100 | Typedfern | (~Typedfern@220.red-83-37-25.dynamicip.rima-tde.net) |
| 2023-12-29 18:47:33 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:bdfc:5a3c:dbc1:16ed) |
| 2023-12-29 18:48:55 +0100 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 2023-12-29 18:50:52 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-12-29 18:52:10 +0100 | turlando | (~turlando@user/turlando) |
| 2023-12-29 18:53:19 +0100 | turlando | (~turlando@user/turlando) (Client Quit) |
| 2023-12-29 18:53:45 +0100 | turlando | (~turlando@user/turlando) |
| 2023-12-29 18:57:53 +0100 | turlando_ | (~turlando@user/turlando) |
| 2023-12-29 18:58:13 +0100 | turlando | (~turlando@user/turlando) (Ping timeout: 255 seconds) |
| 2023-12-29 18:58:17 +0100 | wroathe | (~wroathe@50.205.197.50) |
| 2023-12-29 18:58:17 +0100 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2023-12-29 18:58:17 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2023-12-29 18:59:20 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-12-29 19:00:22 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2023-12-29 19:00:43 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-12-29 19:04:08 +0100 | telser | (~quassel@user/telser) (Ping timeout: 252 seconds) |
| 2023-12-29 19:04:25 +0100 | Typedfern | (~Typedfern@220.red-83-37-25.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2023-12-29 19:04:41 +0100 | <Inst> | do you know how to produce a link with lucid? |
| 2023-12-29 19:05:55 +0100 | telser | (~quassel@user/telser) |
| 2023-12-29 19:15:29 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-12-29 19:24:22 +0100 | Typedfern | (~Typedfern@220.red-83-37-25.dynamicip.rima-tde.net) |
| 2023-12-29 19:25:36 +0100 | krei-se | (~krei-se@p5085dea2.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2023-12-29 19:33:29 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-12-29 19:33:38 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-12-29 19:37:24 +0100 | igemnace | (~ian@user/igemnace) (Remote host closed the connection) |
| 2023-12-29 19:38:16 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-12-29 19:38:23 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 264 seconds) |
| 2023-12-29 19:42:15 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.) |
| 2023-12-29 19:47:51 +0100 | Typedfern | (~Typedfern@220.red-83-37-25.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2023-12-29 19:48:40 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2023-12-29 19:50:47 +0100 | Typedfern | (~Typedfern@220.red-83-37-25.dynamicip.rima-tde.net) |
| 2023-12-29 19:54:49 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2023-12-29 19:55:33 +0100 | chexum_ | (~quassel@gateway/tor-sasl/chexum) |
| 2023-12-29 19:55:54 +0100 | edwtjo | (~edwtjo@h-46-59-62-216.A213.priv.bahnhof.se) |
| 2023-12-29 19:55:55 +0100 | edwtjo | (~edwtjo@h-46-59-62-216.A213.priv.bahnhof.se) (Changing host) |
| 2023-12-29 19:55:55 +0100 | edwtjo | (~edwtjo@fsf/member/edwtjo) |
| 2023-12-29 19:58:26 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:bdfc:5a3c:dbc1:16ed) (Remote host closed the connection) |
| 2023-12-29 19:58:31 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 255 seconds) |
| 2023-12-29 19:58:35 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2023-12-29 19:58:48 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2023-12-29 19:59:09 +0100 | <haskellbridge> | 06<sm> `a "URL"` I'm guessing |
| 2023-12-29 19:59:19 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 240 seconds) |
| 2023-12-29 20:06:50 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2023-12-29 20:06:55 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2023-12-29 20:10:35 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-12-29 20:11:50 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 260 seconds) |
| 2023-12-29 20:17:09 +0100 | <[exa]> | Inst: what type of the URL? (the href args are plain Text) |
| 2023-12-29 20:18:40 +0100 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 246 seconds) |
| 2023-12-29 20:18:57 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:bdfc:5a3c:dbc1:16ed) |
| 2023-12-29 20:22:55 +0100 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2023-12-29 20:26:51 +0100 | michalz | (~michalz@185.246.207.203) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-12-29 20:32:42 +0100 | misterfish | (~misterfis@84.53.85.146) |
| 2023-12-29 20:36:33 +0100 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 252 seconds) |
| 2023-12-29 20:37:09 +0100 | <Inst> | it's a_ [href_ text] (toHtml content) etc... |
| 2023-12-29 20:42:29 +0100 | <[exa]> | and what type do you have now? (or do you want a URL builder?) |
| 2023-12-29 20:44:07 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2023-12-29 20:45:30 +0100 | xdminsy | (~xdminsy@117.147.71.169) (Ping timeout: 260 seconds) |
| 2023-12-29 20:47:39 +0100 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2023-12-29 20:51:34 +0100 | waldo | (~waldo@user/waldo) |
| 2023-12-29 20:53:12 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:bdfc:5a3c:dbc1:16ed) (Remote host closed the connection) |
| 2023-12-29 20:55:53 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-12-29 21:00:17 +0100 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 268 seconds) |
| 2023-12-29 21:03:36 +0100 | krei-se | (~krei-se@p508747fd.dip0.t-ipconnect.de) |
| 2023-12-29 21:05:33 +0100 | mima_ | (~mmh@151.217.88.185) |
| 2023-12-29 21:10:07 +0100 | mima_ | (~mmh@151.217.88.185) (Ping timeout: 246 seconds) |
| 2023-12-29 21:28:30 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-12-29 21:28:55 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:bdfc:5a3c:dbc1:16ed) |
| 2023-12-29 21:33:23 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:bdfc:5a3c:dbc1:16ed) (Ping timeout: 260 seconds) |
| 2023-12-29 21:44:53 +0100 | michalz | (~michalz@185.246.207.217) |
| 2023-12-29 21:59:03 +0100 | araujo | (~araujo@216.73.163.190) |
| 2023-12-29 22:12:33 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-12-29 22:14:14 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:bdfc:5a3c:dbc1:16ed) |
| 2023-12-29 22:18:28 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-12-29 22:19:51 +0100 | <Inst> | ehhh, i'm just pointing it to my own servants |
| 2023-12-29 22:20:04 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-12-29 22:20:08 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-12-29 22:30:29 +0100 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-12-29 22:38:29 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2023-12-29 22:43:06 +0100 | Nixkernal | (~Nixkernal@115.16.194.178.dynamic.wline.res.cust.swisscom.ch) (Ping timeout: 260 seconds) |
| 2023-12-29 22:45:02 +0100 | Nixkernal | (~Nixkernal@115.16.194.178.dynamic.wline.res.cust.swisscom.ch) |
| 2023-12-29 22:45:38 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-12-29 22:54:29 +0100 | mmhat | (~mmh@p200300f1c7323c25ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.1.2) |
| 2023-12-29 22:56:28 +0100 | michalz | (~michalz@185.246.207.217) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-12-29 22:58:01 +0100 | not_reserved | (~not_reser@154.16.157.88) |
| 2023-12-29 23:01:04 +0100 | <carbolymer> | can I see data family instances in the scope in ghci? :i doesn't seem to print it |
| 2023-12-29 23:01:49 +0100 | <carbolymer> | hmm, :info! seems to be printing something |
| 2023-12-29 23:11:27 +0100 | <monochrom> | Yeah :info! is about as complete as ghci can get. |
| 2023-12-29 23:13:38 +0100 | target_i | (~target_i@217.175.14.39) (Quit: leaving) |
| 2023-12-29 23:26:25 +0100 | chomwitt | (~chomwitt@2a02:587:7a0c:fb00:1ac0:4dff:fedb:a3f1) |
| 2023-12-29 23:33:19 +0100 | notzmv | (~zmv@user/notzmv) (Ping timeout: 260 seconds) |
| 2023-12-29 23:35:08 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-12-29 23:37:22 +0100 | pavonia | (~user@user/siracusa) |
| 2023-12-29 23:40:17 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 2023-12-29 23:41:22 +0100 | waldo | (~waldo@user/waldo) (Quit: waldo) |
| 2023-12-29 23:42:23 +0100 | <haskellbridge> | 15<Jade> Does anyone have a better version of a diagram like this https://en.wikipedia.org/wiki/File%3ABase-classes.svg |
| 2023-12-29 23:43:27 +0100 | <c_wraith> | Jade: does the image near the top of https://wiki.haskell.org/Typeclassopedia work better for you? |
| 2023-12-29 23:45:11 +0100 | <haskellbridge> | 15<Jade> hm, not sure |
| 2023-12-29 23:45:46 +0100 | <haskellbridge> | 15<Jade> my main issue with the diagram I sent is that it's a photo of a book (?) and also phrases things around `Eq` weirdly |
| 2023-12-29 23:46:17 +0100 | <haskellbridge> | 15<Jade> because "All except IO, (->)" ... is wrong? |
| 2023-12-29 23:46:42 +0100 | <c_wraith> | that doesn't look like a photo of a book. It looks like the output of dot, when it's not given enough space for the number of nodes and font configuration... |
| 2023-12-29 23:47:05 +0100 | <haskellbridge> | 15<Jade> ah, okay |
| 2023-12-29 23:47:34 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-12-29 23:47:53 +0100 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) (Remote host closed the connection) |
| 2023-12-29 23:48:16 +0100 | <haskellbridge> | 15<Jade> My point is that the diagram on Wikipedia should probably be replaced |
| 2023-12-29 23:49:02 +0100 | <c_wraith> | (you can identify dot output because it tries to lay out the graph as if it's a DAG and it's doing a level-order traversal, then it adds in back-edges.) |
| 2023-12-29 23:50:07 +0100 | <c_wraith> | I don't know what it means by "all except", but... the examples look sort of ok other than that. |
| 2023-12-29 23:50:49 +0100 | <haskellbridge> | 15<Jade> yeah I suppose, but if it would be consistent within itself it should probably also include (->) with Functor, Applicative and Monad |
| 2023-12-29 23:56:01 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
