Logs: freenode/#haskell
| 2021-04-03 21:21:54 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:c5e2:b955:ecac:f7f3) |
| 2021-04-03 21:23:40 | → | DTZUZU_ joins (~DTZUZO@207.81.119.43) |
| 2021-04-03 21:25:41 | × | DTZUZU quits (~DTZUZO@205.ip-149-56-132.net) (Ping timeout: 240 seconds) |
| 2021-04-03 21:26:25 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:c5e2:b955:ecac:f7f3) (Ping timeout: 250 seconds) |
| 2021-04-03 21:26:50 | × | neiluj quits (~jco@unaffiliated/neiluj) (Quit: leaving) |
| 2021-04-03 21:28:40 | × | _xor quits (~xor@74.215.46.133) (Read error: Connection reset by peer) |
| 2021-04-03 21:31:37 | → | _xor joins (~xor@74.215.46.133) |
| 2021-04-03 21:32:38 | → | son0p joins (~son0p@181.136.122.143) |
| 2021-04-03 21:35:10 | × | ericsagn1 quits (~ericsagne@2405:6580:0:5100:1b1e:6b9b:245f:d5e2) (Ping timeout: 246 seconds) |
| 2021-04-03 21:35:16 | → | fendor_ joins (~fendor@178.165.129.178.wireless.dyn.drei.com) |
| 2021-04-03 21:38:11 | × | fendor quits (~fendor@77.119.130.232.wireless.dyn.drei.com) (Ping timeout: 240 seconds) |
| 2021-04-03 21:41:44 | × | petersen quits (~petersen@redhat/juhp) (Quit: petersen) |
| 2021-04-03 21:42:27 | → | petersen joins (~petersen@redhat/juhp) |
| 2021-04-03 21:42:45 | × | motersen quits (~motersen@gateway/tor-sasl/motersen) (Ping timeout: 240 seconds) |
| 2021-04-03 21:42:46 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 2021-04-03 21:43:33 | × | Franciman quits (~francesco@host-87-20-23-243.retail.telecomitalia.it) (Quit: Leaving) |
| 2021-04-03 21:45:58 | → | motersen joins (~motersen@gateway/tor-sasl/motersen) |
| 2021-04-03 21:47:47 | → | ericsagn1 joins (~ericsagne@2405:6580:0:5100:4c29:bb07:9985:fb29) |
| 2021-04-03 21:50:05 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 2021-04-03 21:50:51 | → | ADG1089 joins (~aditya@223.235.216.238) |
| 2021-04-03 21:51:41 | × | Guest56580 quits (~textual@mskresolve-a.mskcc.org) (Ping timeout: 252 seconds) |
| 2021-04-03 21:52:05 | × | petersen quits (~petersen@redhat/juhp) (Quit: petersen) |
| 2021-04-03 21:52:42 | → | petersen joins (~petersen@redhat/juhp) |
| 2021-04-03 21:53:29 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:c5e2:b955:ecac:f7f3) |
| 2021-04-03 21:54:37 | × | fendor_ quits (~fendor@178.165.129.178.wireless.dyn.drei.com) (Read error: Connection reset by peer) |
| 2021-04-03 21:56:00 | → | stree joins (~stree@68.36.8.116) |
| 2021-04-03 22:01:16 | × | hypercube quits (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Quit: WeeChat 3.1) |
| 2021-04-03 22:02:19 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-03 22:02:26 | <edwardk> | Biff started as the bifunctor functor functor bifunctor |
| 2021-04-03 22:02:57 | <edwardk> | then tannen was from the lack of a name for the opposite wrapping til i realized it was the same as the cayley construction |
| 2021-04-03 22:03:23 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2021-04-03 22:04:04 | → | slack1256 joins (~slack1256@dvc-186-186-101-190.movil.vtr.net) |
| 2021-04-03 22:04:12 | × | xff0x quits (~xff0x@2001:1a81:5382:2700:3e60:8ef5:8d8c:59f2) (Ping timeout: 246 seconds) |
| 2021-04-03 22:04:15 | × | Chousuke quits (oranenj@coffee.modeemi.fi) (Ping timeout: 246 seconds) |
| 2021-04-03 22:04:21 | → | Chousuke joins (oranenj@coffee.modeemi.fi) |
| 2021-04-03 22:04:22 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-04-03 22:05:23 | <edwardk> | profunctors will soon have quantified superclasses so i'll be able to retire Tannen potentially |
| 2021-04-03 22:08:21 | nckx | is now known as jorts |
| 2021-04-03 22:08:30 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2021-04-03 22:08:46 | × | Feuermagier quits (~Feuermagi@213.178.26.41) (Ping timeout: 240 seconds) |
| 2021-04-03 22:09:25 | → | xff0x joins (~xff0x@2001:1a81:53a1:c700:42a:90b8:2b01:39ec) |
| 2021-04-03 22:09:33 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2021-04-03 22:11:49 | × | _noblegas quits (uid91066@gateway/web/irccloud.com/x-qofejsurifxshhgi) (Quit: Connection closed for inactivity) |
| 2021-04-03 22:12:43 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-04-03 22:12:55 | → | hypercube joins (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 2021-04-03 22:14:06 | × | ADG1089 quits (~aditya@223.235.216.238) (Remote host closed the connection) |
| 2021-04-03 22:14:23 | → | Alleria joins (~textual@2603-7000-3040-0000-c51d-1cd0-a8e6-1189.res6.spectrum.com) |
| 2021-04-03 22:14:47 | Alleria | is now known as Guest57863 |
| 2021-04-03 22:20:04 | × | DigitalKiwi quits (~kiwi@unaffiliated/digitalkiwi) (Killed (Sigyn (Spam is off topic on freenode.))) |
| 2021-04-03 22:20:07 | × | __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 2021-04-03 22:20:49 | → | DigitalKiwi joins (~kiwi@unaffiliated/digitalkiwi) |
| 2021-04-03 22:21:33 | × | DigitalKiwi quits (~kiwi@unaffiliated/digitalkiwi) (Remote host closed the connection) |
| 2021-04-03 22:21:33 | × | noan quits (~noan@2604:a880:400:d0::12fc:5001) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-04-03 22:21:41 | × | dyamon quits (~dyamon@cpc69058-oxfd26-2-0-cust662.4-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2021-04-03 22:21:56 | → | DigitalKiwi joins (~kiwi@unaffiliated/digitalkiwi) |
| 2021-04-03 22:21:57 | → | noan joins (~noan@2604:a880:400:d0::12fc:5001) |
| 2021-04-03 22:24:37 | × | dinciorip quits (~dincio@5.171.36.128) (Quit: WeeChat 3.1) |
| 2021-04-03 22:27:12 | → | Paks joins (~paks@c-69-136-183-189.hsd1.il.comcast.net) |
| 2021-04-03 22:27:39 | × | xff0x quits (~xff0x@2001:1a81:53a1:c700:42a:90b8:2b01:39ec) (Ping timeout: 246 seconds) |
| 2021-04-03 22:29:38 | → | xff0x joins (~xff0x@2001:1a81:53a1:f600:fe5e:e55e:8502:8002) |
| 2021-04-03 22:32:46 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-04-03 22:33:20 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-04-03 22:33:22 | × | mouseghost quits (~draco@wikipedia/desperek) (Quit: mew wew) |
| 2021-04-03 22:35:21 | → | usr25 joins (~usr25@unaffiliated/usr25) |
| 2021-04-03 22:36:19 | ← | usr25 parts (~usr25@unaffiliated/usr25) () |
| 2021-04-03 22:36:25 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-04-03 22:38:11 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds) |
| 2021-04-03 22:42:46 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-04-03 22:43:14 | × | hypercube quits (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 258 seconds) |
| 2021-04-03 22:46:52 | → | shatriff joins (~vitaliish@176.52.216.242) |
| 2021-04-03 22:51:21 | × | acidjnk_new quits (~acidjnk@p200300d0c72b95616541deb5a58528aa.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-04-03 22:52:35 | → | bitmapper joins (uid464869@gateway/web/irccloud.com/x-tyfptednkskarnir) |
| 2021-04-03 22:56:07 | × | xff0x quits (~xff0x@2001:1a81:53a1:f600:fe5e:e55e:8502:8002) (Ping timeout: 250 seconds) |
| 2021-04-03 22:57:49 | → | xff0x joins (~xff0x@2001:1a81:53a2:3400:9191:7a44:6803:ee4d) |
| 2021-04-03 22:58:00 | → | shalokshalom joins (~quassel@2a02:1748:dd5e:7f60:cf49:8384:7c93:3106) |
| 2021-04-03 22:58:51 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 2021-04-03 22:59:16 | × | vv8 quits (~egp_@2.95.145.35) (Read error: Connection reset by peer) |
| 2021-04-03 22:59:17 | <sim590> | When you have `newtype A = B deriving Show` where B is not an instance of Show. How do you make it so `let a = B ; show a` works, i.e. that a is interpreted as type A so that the Show instance comes into play? |
| 2021-04-03 23:00:14 | <sim590> | In short, I have a type which doesn't implement Show and I want to print this type in another module without deriving Show on the type for in the first module. I just want to have a derivation of show for some debugging purposes through another module. |
| 2021-04-03 23:00:44 | <L29Ah> | sim590: write an instance declaration |
| 2021-04-03 23:01:05 | <sim590> | Why doesn't deriving work? |
| 2021-04-03 23:01:05 | × | ezrakilty quits (~ezrakilty@97-126-95-37.tukw.qwest.net) (Read error: Connection reset by peer) |
| 2021-04-03 23:01:28 | <sim590> | It compiles, but just doesn't work as I would want it at run time. |
| 2021-04-03 23:03:14 | <sim590> | This: http://ix.io/2UX6 compiles, but when I do `fromBSTree (Leaf $ (LBSLeaf 0 0 :: DebugLBSNode Int))`, I get Couldn't match expected type ‘DebugLBSNode Int’ with actual type ‘LBSNode Integer’. |
| 2021-04-03 23:03:49 | × | stree quits (~stree@68.36.8.116) (Quit: Caught exception) |
| 2021-04-03 23:04:14 | → | stree joins (~stree@68.36.8.116) |
| 2021-04-03 23:05:32 | <sim590> | L29Ah: and if I try to write an instance of Show, I get the same type of error about not being able to match the type. |
| 2021-04-03 23:08:29 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-04-03 23:09:08 | <sim590> | I get it. I need a constructor for the newtype. |
| 2021-04-03 23:09:57 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:c5e2:b955:ecac:f7f3) (Remote host closed the connection) |
| 2021-04-03 23:10:15 | <sim590> | But, I would have preferred using Deriving for something so simple. |
| 2021-04-03 23:10:29 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:c5e2:b955:ecac:f7f3) |
| 2021-04-03 23:11:12 | × | xff0x quits (~xff0x@2001:1a81:53a2:3400:9191:7a44:6803:ee4d) (Ping timeout: 258 seconds) |
| 2021-04-03 23:11:53 | × | Sheilong quits (uid293653@gateway/web/irccloud.com/x-wqegmyveynqiexyu) (Quit: Connection closed for inactivity) |
| 2021-04-03 23:12:48 | <dmwit> | sim590: Probably the simplest thing is to go the other direction: have an internal normal data type with a Show instance, then write a newtype wrapper that doesn't have it. |
| 2021-04-03 23:13:01 | → | xff0x joins (~xff0x@2001:1a81:53a3:9100:8289:a74a:7ec1:fdb0) |
| 2021-04-03 23:13:07 | <dmwit> | Then you can use deriving for the Show instance on the internal type. |
| 2021-04-03 23:13:46 | × | tpefreedom quits (~tpefreedo@98.125.189.230) (Ping timeout: 260 seconds) |
| 2021-04-03 23:16:11 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:c5e2:b955:ecac:f7f3) (Ping timeout: 258 seconds) |
| 2021-04-03 23:16:20 | <sim590> | dmwit: But then all my functions that are already defined for the internal type will need to have a counter part defined for the exposed type. Is there a way to create that substitution easily without making a one-to-one match of functions in another module? |
All times are in UTC.