Logs: freenode/#haskell
| 2020-10-29 09:00:01 | × | DpEpsilon1 quits (~DpEpsilon@s91904426.blix.com) () |
| 2020-10-29 09:00:05 | × | CaptainFox[m] quits (onianimatr@gateway/shell/matrix.org/x-szolbyecjnlczmzs) (Quit: Idle for 30+ days) |
| 2020-10-29 09:01:06 | → | mmohammadi9812 joins (~mmohammad@5.116.92.37) |
| 2020-10-29 09:01:41 | ← | vonfry parts (~user@116.236.75.207) ("ERC (IRC client for Emacs 27.1)") |
| 2020-10-29 09:01:59 | × | darjeeling_ quits (~darjeelin@112.16.171.8) (Ping timeout: 268 seconds) |
| 2020-10-29 09:04:19 | × | mozzarella quits (~sam@unaffiliated/sam113101) (Read error: Connection reset by peer) |
| 2020-10-29 09:05:04 | → | gnumonic_ joins (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) |
| 2020-10-29 09:05:42 | → | mozzarella joins (~sam@unaffiliated/sam113101) |
| 2020-10-29 09:06:08 | × | phr0m3indh0v3n quits (~Android@188.90.94.167) (Quit: -a- IRC for Android 2.1.59) |
| 2020-10-29 09:07:39 | × | gnumonic quits (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Ping timeout: 265 seconds) |
| 2020-10-29 09:08:58 | → | Franciman joins (~francesco@host-82-54-10-114.retail.telecomitalia.it) |
| 2020-10-29 09:11:19 | → | mimi_vx joins (~mimi@tulipan.habr.nat.praha12.net) |
| 2020-10-29 09:11:54 | × | michalrus quits (m@michalrus.com) (Ping timeout: 272 seconds) |
| 2020-10-29 09:12:23 | → | votefortrump joins (3dded63f@61-222-214-63.HINET-IP.hinet.net) |
| 2020-10-29 09:14:26 | × | mimi1vx quits (~mimi@2a01:490:16:1026:3ddc:b7b4:53e2:6f04) (Ping timeout: 264 seconds) |
| 2020-10-29 09:15:14 | × | ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2020-10-29 09:17:21 | × | GyroW quits (~GyroW@unaffiliated/gyrow) (Remote host closed the connection) |
| 2020-10-29 09:17:33 | → | GyroW joins (~GyroW@d54C03E98.access.telenet.be) |
| 2020-10-29 09:17:34 | × | GyroW quits (~GyroW@d54C03E98.access.telenet.be) (Changing host) |
| 2020-10-29 09:17:34 | → | GyroW joins (~GyroW@unaffiliated/gyrow) |
| 2020-10-29 09:19:34 | × | jonathanx quits (~jonathan@dyn-8-sc.cdg.chalmers.se) (Remote host closed the connection) |
| 2020-10-29 09:19:44 | × | idhugo quits (~idhugo@users-1190.st.net.au.dk) (Remote host closed the connection) |
| 2020-10-29 09:19:58 | → | jonathanx joins (~jonathan@dyn-8-sc.cdg.chalmers.se) |
| 2020-10-29 09:20:16 | → | Aquazi joins (uid312403@gateway/web/irccloud.com/x-hdjxwzczxilznuyg) |
| 2020-10-29 09:20:42 | × | taurux quits (~taurux@net-130-25-114-244.cust.vodafonedsl.it) (Ping timeout: 265 seconds) |
| 2020-10-29 09:20:44 | × | benjamin-l quits (~benjamin@2601:1c0:8800:67e0:fa16:54ff:febc:2e60) (Ping timeout: 240 seconds) |
| 2020-10-29 09:21:12 | → | idhugo joins (~idhugo@users-1190.st.net.au.dk) |
| 2020-10-29 09:21:28 | → | wright joins (~wright@154.13.1.56) |
| 2020-10-29 09:22:32 | → | taurux joins (~taurux@net-93-151-195-63.cust.vodafonedsl.it) |
| 2020-10-29 09:27:11 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-10-29 09:28:06 | → | michalrus joins (m@michalrus.com) |
| 2020-10-29 09:28:34 | → | wretchswollen joins (~jvw@135-180-15-188.fiber.dynamic.sonic.net) |
| 2020-10-29 09:29:10 | × | votefortrump quits (3dded63f@61-222-214-63.HINET-IP.hinet.net) (Remote host closed the connection) |
| 2020-10-29 09:29:51 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-10-29 09:29:58 | hackage | uusi 0.0.1.0 - Remove all version constraints of dependencies in .cabal file https://hackage.haskell.org/package/uusi-0.0.1.0 (berberman) |
| 2020-10-29 09:32:01 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2020-10-29 09:33:26 | × | wretchswollen quits (~jvw@135-180-15-188.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds) |
| 2020-10-29 09:33:41 | → | knupfer joins (~Thunderbi@200116b82cb50a00a447ccfffef86d6b.dip.versatel-1u1.de) |
| 2020-10-29 09:34:50 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 2020-10-29 09:36:05 | × | knupfer quits (~Thunderbi@200116b82cb50a00a447ccfffef86d6b.dip.versatel-1u1.de) (Remote host closed the connection) |
| 2020-10-29 09:36:19 | → | knupfer joins (~Thunderbi@200116b82cb50a006c81a39a2011bb8b.dip.versatel-1u1.de) |
| 2020-10-29 09:37:32 | → | benjamin-l joins (~benjamin@2601:1c0:8800:67e0:fa16:54ff:febc:2e60) |
| 2020-10-29 09:41:25 | × | avoandmayo quits (~textual@122-58-158-238-adsl.sparkbb.co.nz) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-29 09:43:59 | <merijn> | that... doesn't sound like a good feature |
| 2020-10-29 09:52:44 | × | bliminse quits (~bliminse@host109-158-129-241.range109-158.btcentralplus.com) (Ping timeout: 240 seconds) |
| 2020-10-29 09:53:52 | → | bliminse joins (~bliminse@host109-158-129-241.range109-158.btcentralplus.com) |
| 2020-10-29 10:00:46 | <Uniaika> | yep' |
| 2020-10-29 10:04:14 | × | carlomagno1 quits (~cararell@148.87.23.8) (Remote host closed the connection) |
| 2020-10-29 10:05:48 | → | carlomagno joins (~cararell@148.87.23.8) |
| 2020-10-29 10:07:39 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2020-10-29 10:07:44 | → | GyroW_ joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) |
| 2020-10-29 10:07:44 | × | GyroW_ quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host) |
| 2020-10-29 10:07:44 | → | GyroW_ joins (~GyroW@unaffiliated/gyrow) |
| 2020-10-29 10:08:04 | × | GyroW quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 256 seconds) |
| 2020-10-29 10:10:25 | × | aarvar quits (~foewfoiew@50.35.43.33) (Ping timeout: 264 seconds) |
| 2020-10-29 10:13:25 | → | darjeeling_ joins (~darjeelin@122.245.121.118) |
| 2020-10-29 10:13:27 | → | thblt joins (~thblt@unaffiliated/thblt) |
| 2020-10-29 10:15:12 | <thblt> | Can I search for typeclasses on Hoogle? Eg, I was wondering if there's a class such as `toBool :: a -> Bool`, but idk how to look. |
| 2020-10-29 10:15:34 | <thblt> | (Hoogle or anything) |
| 2020-10-29 10:15:40 | × | fmeyer quits (~fmeyer@p4fc127b6.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2020-10-29 10:15:52 | → | christo joins (~chris@81.96.113.213) |
| 2020-10-29 10:16:14 | × | tomboy64 quits (~tomboy64@gateway/tor-sasl/tomboy64) (Remote host closed the connection) |
| 2020-10-29 10:17:41 | <merijn> | You can, but that class doesn't exist |
| 2020-10-29 10:17:53 | <merijn> | At least, not in a library that anyone actually uses |
| 2020-10-29 10:19:12 | → | tomboy64 joins (~tomboy64@gateway/tor-sasl/tomboy64) |
| 2020-10-29 10:19:25 | × | elliott_ quits (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2020-10-29 10:19:43 | × | livvy quits (~livvy@gateway/tor-sasl/livvy) (Ping timeout: 240 seconds) |
| 2020-10-29 10:19:50 | × | mmohammadi9812 quits (~mmohammad@5.116.92.37) (Ping timeout: 264 seconds) |
| 2020-10-29 10:20:27 | → | mmohammadi9812 joins (~mmohammad@2.178.160.31) |
| 2020-10-29 10:20:32 | <thblt> | merijn: thanks :) Is there a query syntax for that? I tried String -> a, and there's a lot of *coerce stuff before `Show a => show…` |
| 2020-10-29 10:20:36 | → | dhil joins (~dhil@195.213.192.122) |
| 2020-10-29 10:23:01 | × | seanparsons quits (~sean@cpc145088-gill21-2-0-cust281.20-1.cable.virginm.net) (Quit: ZNC 1.7.5 - https://znc.in) |
| 2020-10-29 10:23:30 | → | seanparsons joins (~sean@cpc145088-gill21-2-0-cust281.20-1.cable.virginm.net) |
| 2020-10-29 10:23:42 | → | livvy joins (~livvy@gateway/tor-sasl/livvy) |
| 2020-10-29 10:26:33 | → | p8m joins (p8m@gateway/vpn/protonvpn/p8m) |
| 2020-10-29 10:26:44 | × | rprije quits (~rprije@194-193-168-77.tpgi.com.au) (Ping timeout: 240 seconds) |
| 2020-10-29 10:26:54 | × | ghoulguy quits (x@freenode/staff/haskell.developer.glguy) (Read error: Connection reset by peer) |
| 2020-10-29 10:28:53 | → | elliott_ joins (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) |
| 2020-10-29 10:30:58 | hackage | unliftio 0.2.13.1 - The MonadUnliftIO typeclass for unlifting monads to IO (batteries included) https://hackage.haskell.org/package/unliftio-0.2.13.1 (MichaelSnoyman) |
| 2020-10-29 10:31:03 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-29 10:31:17 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 2020-10-29 10:31:17 | → | nlhowell joins (~nlhowell@don28-11.ln.rinet.ru) |
| 2020-10-29 10:31:25 | → | glguy joins (x@freenode/staff/haskell.developer.glguy) |
| 2020-10-29 10:32:48 | × | is_null quits (~jpic@pdpc/supporter/professional/is-null) (Remote host closed the connection) |
| 2020-10-29 10:33:07 | × | mmohammadi9812 quits (~mmohammad@2.178.160.31) (Ping timeout: 246 seconds) |
| 2020-10-29 10:33:28 | → | mmohammadi9812 joins (~mmohammad@2.178.123.90) |
| 2020-10-29 10:34:36 | → | Zaphod joins (51ae801c@mekats.plus.com) |
| 2020-10-29 10:35:00 | Zaphod | is now known as Guest43909 |
| 2020-10-29 10:35:27 | → | ubert joins (~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233) |
| 2020-10-29 10:36:02 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2020-10-29 10:36:32 | Guest43909 | is now known as ZaphodB |
| 2020-10-29 10:40:16 | → | dorkside joins (~tdbgamer@208.190.197.222) |
| 2020-10-29 10:40:35 | × | Sanchayan quits (~Sanchayan@122.167.95.166) (Quit: leaving) |
| 2020-10-29 10:47:24 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2020-10-29 10:47:33 | → | DavidEichmann joins (~david@43.240.198.146.dyn.plus.net) |
| 2020-10-29 10:48:07 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2020-10-29 10:48:40 | ZaphodB | is now known as ZaphodBrox |
| 2020-10-29 10:49:38 | <thblt> | Quick question: To represent a keyboard layout, I use a Map of Map of Map (Map State (Map Key (Map Level Effect))) Is there a built-in way to fold this sort of monster, or a better way to do this? |
| 2020-10-29 10:52:20 | <dminuoso> | thblt: lens/optics lets you fold this rather easily |
| 2020-10-29 10:53:37 | <thblt> | dminuoso: thanks, looking into this |
All times are in UTC.