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