Logs: liberachat/#haskell
| 2021-07-07 13:59:05 | <tromp> | ok, will try remove my instance... |
| 2021-07-07 13:59:09 | → | ptr_frac7al joins (~longlong@user/ptr-frac7al/x-0038398) |
| 2021-07-07 13:59:14 | <geekosaur> | you will probably have to write your own function to format the record. as nshepperd said, this is why you shouldn't get clever with Show instances |
| 2021-07-07 13:59:35 | <polux> | tromp: if the record has a Generic instance then there must be some library that implements a generic show |
| 2021-07-07 14:00:19 | <polux> | but +1 to what everyone just said above: Show should probably not be used for custom formatting |
| 2021-07-07 14:00:33 | <polux> | instance write a Pretty instance or something like that |
| 2021-07-07 14:00:42 | <polux> | s/instance/instead/ |
| 2021-07-07 14:03:01 | <tromp> | thx for all suggestions |
| 2021-07-07 14:03:46 | × | ptr_frac7al quits (~longlong@user/ptr-frac7al/x-0038398) (Ping timeout: 240 seconds) |
| 2021-07-07 14:04:02 | × | cheater quits (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2021-07-07 14:04:10 | × | y04nn quits (~y04nn@91.193.4.106) (Ping timeout: 240 seconds) |
| 2021-07-07 14:04:17 | <polux> | tromp: I just tried https://hackage.haskell.org/package/generic-deriving-1.14/docs/Generics-Deriving-Show.html, it works as intended for records |
| 2021-07-07 14:04:18 | → | cheater joins (~Username@user/cheater) |
| 2021-07-07 14:04:24 | <polux> | Prelude Generics.Deriving.Show GHC.Generics> data Record = R { a :: Int, b :: Bool } deriving (Generic) |
| 2021-07-07 14:04:24 | <polux> | Prelude Generics.Deriving.Show GHC.Generics> instance GShow Record |
| 2021-07-07 14:04:24 | <polux> | Prelude Generics.Deriving.Show GHC.Generics> gshow (R 1 True) |
| 2021-07-07 14:04:24 | <polux> | "R {a = 1, b = True}" |
| 2021-07-07 14:04:49 | <polux> | so if getting rid of your custom Show instance is impractical, that is a valid workaround |
| 2021-07-07 14:04:55 | <tromp> | i now use derive (Show) on the record and added a custom formatting function |
| 2021-07-07 14:04:57 | → | y04nn joins (~y04nn@91.193.4.106) |
| 2021-07-07 14:05:43 | <merijn> | \o/ |
| 2021-07-07 14:05:49 | <merijn> | Another person converted back to sanity |
| 2021-07-07 14:06:29 | × | Danishman quits (~Allan@2-104-144-110-cable.dk.customer.tdc.net) (Quit: Leaving) |
| 2021-07-07 14:07:27 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Ping timeout: 252 seconds) |
| 2021-07-07 14:07:44 | → | Vajb joins (~Vajb@n2hz3gq4auh6ltn9l-2.v6.elisa-mobile.fi) |
| 2021-07-07 14:12:16 | × | azeem quits (~azeem@176.200.218.50) (Ping timeout: 246 seconds) |
| 2021-07-07 14:13:55 | → | norias joins (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) |
| 2021-07-07 14:13:58 | × | dunkeln quits (~dunkeln@188.70.10.207) (Ping timeout: 265 seconds) |
| 2021-07-07 14:14:26 | → | yauhsien joins (~yauhsien@61-231-39-135.dynamic-ip.hinet.net) |
| 2021-07-07 14:15:20 | × | dunj3 quits (~dunj3@2001:16b8:3020:e900:566b:618c:a738:2a84) (Remote host closed the connection) |
| 2021-07-07 14:16:45 | → | azeem joins (~azeem@176.200.218.50) |
| 2021-07-07 14:16:59 | → | vpan joins (~vilius@212.117.1.172) |
| 2021-07-07 14:20:05 | × | yauhsien quits (~yauhsien@61-231-39-135.dynamic-ip.hinet.net) (Ping timeout: 268 seconds) |
| 2021-07-07 14:22:14 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:cdb:cabc:a7c7:75c9) |
| 2021-07-07 14:23:20 | → | notzmv joins (~zmv@user/notzmv) |
| 2021-07-07 14:23:20 | × | alcume quits (~alcume@35.16.60.213.dynamic.reverse-mundo-r.com) (Read error: Connection reset by peer) |
| 2021-07-07 14:25:58 | × | keutoi quits (~keutoi@157.47.77.5) (Remote host closed the connection) |
| 2021-07-07 14:26:03 | → | argento joins (~argent0@168-227-97-34.ptr.westnet.com.ar) |
| 2021-07-07 14:26:34 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:cdb:cabc:a7c7:75c9) (Ping timeout: 240 seconds) |
| 2021-07-07 14:28:14 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 252 seconds) |
| 2021-07-07 14:28:43 | × | waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 246 seconds) |
| 2021-07-07 14:29:16 | × | azeem quits (~azeem@176.200.218.50) (Ping timeout: 272 seconds) |
| 2021-07-07 14:30:46 | → | dunkeln joins (~dunkeln@188.70.10.207) |
| 2021-07-07 14:32:56 | → | azeem joins (~azeem@176.201.11.138) |
| 2021-07-07 14:34:04 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2021-07-07 14:35:18 | ← | nova parts (novasenco@user/nova) (♥☺) |
| 2021-07-07 14:36:36 | × | statusbot1 quits (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Remote host closed the connection) |
| 2021-07-07 14:36:49 | → | statusbot joins (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) |
| 2021-07-07 14:39:13 | → | amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 2021-07-07 14:40:18 | → | chomwitt joins (~Pitsikoko@athedsl-16082.home.otenet.gr) |
| 2021-07-07 14:42:55 | → | rostero joins (uid236576@id-236576.tooting.irccloud.com) |
| 2021-07-07 14:44:07 | × | cheater quits (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 2021-07-07 14:44:32 | → | cheater joins (~Username@user/cheater) |
| 2021-07-07 14:48:16 | × | dunkeln quits (~dunkeln@188.70.10.207) (Ping timeout: 272 seconds) |
| 2021-07-07 14:49:40 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-07-07 14:49:44 | × | azeem quits (~azeem@176.201.11.138) (Ping timeout: 265 seconds) |
| 2021-07-07 14:49:54 | → | azeem joins (~azeem@176.201.11.138) |
| 2021-07-07 14:50:18 | → | yauhsien joins (~yauhsien@61-231-39-135.dynamic-ip.hinet.net) |
| 2021-07-07 14:54:37 | × | yauhsien quits (~yauhsien@61-231-39-135.dynamic-ip.hinet.net) (Ping timeout: 246 seconds) |
| 2021-07-07 14:55:27 | → | chris-the-slurpa joins (~chris@94.119.64.0) |
| 2021-07-07 14:56:55 | × | korayal quits (~Koray_Al@user/korayal) (Quit: WeeChat 3.3-dev) |
| 2021-07-07 14:57:08 | × | azeem quits (~azeem@176.201.11.138) (Ping timeout: 272 seconds) |
| 2021-07-07 14:57:43 | → | azeem joins (~azeem@176.201.11.138) |
| 2021-07-07 15:00:18 | × | habib quits (~habib@89.38.69.210) (Ping timeout: 272 seconds) |
| 2021-07-07 15:01:52 | × | argento quits (~argent0@168-227-97-34.ptr.westnet.com.ar) (Ping timeout: 252 seconds) |
| 2021-07-07 15:04:03 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-07 15:05:03 | → | Kirat joins (~Gill@103.217.122.15) |
| 2021-07-07 15:05:29 | × | Kirat quits (~Gill@103.217.122.15) (Client Quit) |
| 2021-07-07 15:06:34 | → | habib joins (~habib@188.241.156.95) |
| 2021-07-07 15:07:38 | → | hewxle joins (~hewxle@user/hewxle) |
| 2021-07-07 15:09:10 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 272 seconds) |
| 2021-07-07 15:10:48 | → | dunkeln_ joins (~dunkeln@188.70.10.207) |
| 2021-07-07 15:12:57 | → | Lycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-07-07 15:14:56 | × | Vajb quits (~Vajb@n2hz3gq4auh6ltn9l-2.v6.elisa-mobile.fi) (Read error: Connection reset by peer) |
| 2021-07-07 15:15:07 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-07-07 15:18:53 | → | yauhsien joins (~yauhsien@61-231-39-135.dynamic-ip.hinet.net) |
| 2021-07-07 15:19:57 | × | habib quits (~habib@188.241.156.95) (Read error: Connection reset by peer) |
| 2021-07-07 15:20:17 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.2) |
| 2021-07-07 15:21:15 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-07-07 15:21:46 | × | andreabedini quits (~andreabed@8s8kj6n700qk9hqmfk36.ip6.superloop.com) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-07-07 15:22:24 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-07-07 15:23:33 | × | yauhsien quits (~yauhsien@61-231-39-135.dynamic-ip.hinet.net) (Ping timeout: 258 seconds) |
| 2021-07-07 15:23:49 | → | mnrmnaugh joins (~mnrmnaugh@pool-96-252-87-182.bstnma.fios.verizon.net) |
| 2021-07-07 15:28:10 | × | azeem quits (~azeem@176.201.11.138) (Ping timeout: 240 seconds) |
| 2021-07-07 15:28:22 | → | drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 2021-07-07 15:28:40 | × | chris-the-slurpa quits (~chris@94.119.64.0) (Remote host closed the connection) |
| 2021-07-07 15:29:12 | → | chris-the-slurpa joins (~chris@94.119.64.3) |
| 2021-07-07 15:32:35 | × | neceve quits (~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) (Ping timeout: 252 seconds) |
| 2021-07-07 15:32:40 | → | azeem joins (~azeem@176.201.11.138) |
| 2021-07-07 15:33:17 | × | Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-07-07 15:33:22 | × | chris-the-slurpa quits (~chris@94.119.64.3) (Ping timeout: 240 seconds) |
| 2021-07-07 15:38:04 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-07-07 15:38:49 | → | habib joins (~habib@109.70.150.189) |
| 2021-07-07 15:39:06 | ← | habib parts (~habib@109.70.150.189) () |
| 2021-07-07 15:41:05 | → | yauhsien joins (~yauhsien@61-231-39-135.dynamic-ip.hinet.net) |
| 2021-07-07 15:44:24 | <monochrom> | Wouldn't it be more fun to convert to the insane way? >:) |
| 2021-07-07 15:45:06 | <monochrom> | Handwrite your own non-standard Show instance. For the standard one, derive Generic and use GShow. >:) |
| 2021-07-07 15:47:53 | × | dajoer quits (~david@user/gvx) (Quit: leaving) |
| 2021-07-07 15:50:33 | × | lortabac quits (~lortabac@95.138.56.124) (Quit: WeeChat 2.8) |
| 2021-07-07 15:53:04 | × | azeem quits (~azeem@176.201.11.138) (Ping timeout: 258 seconds) |
All times are in UTC.