Newest at the top
2024-05-14 18:08:00 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) |
2024-05-14 18:03:47 +0200 | <ph88> | empire collapsed |
2024-05-14 18:02:09 +0200 | <EvanR> | ph88's plans are ruined |
2024-05-14 18:01:51 +0200 | <EvanR> | peanut gallery here, but if you emulate a map that is not total with total map by having the default value be Nothing, then you can still "delete" by "inserting nothing" |
2024-05-14 17:57:54 +0200 | <ncf> | but k -> v supports lookup and insertion and not deleting items |
2024-05-14 17:57:23 +0200 | <ncf> | or search hackage for "total map" if you want something efficient |
2024-05-14 17:56:30 +0200 | Square | (~Square@user/square) |
2024-05-14 17:51:55 +0200 | tv | (~tv@user/tv) |
2024-05-14 17:51:38 +0200 | tv | (~tv@user/tv) (Quit: derp) |
2024-05-14 17:46:25 +0200 | yin | (~yin@user/zero) |
2024-05-14 17:45:58 +0200 | <ph88> | ? |
2024-05-14 17:43:49 +0200 | <ncf> | (->) ? |
2024-05-14 17:40:23 +0200 | <ph88> | does someone know a map that can only be read and written to and not delete items? |
2024-05-14 17:40:04 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 255 seconds) |
2024-05-14 17:39:48 +0200 | ph88 | (~ph88@2a02:8109:9e26:c800:36fd:400b:5478:66f9) |
2024-05-14 17:38:24 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2024-05-14 17:36:16 +0200 | <johnw> | Part of the answer to my "show" lens question is `re _Show`, which understandably is only valid as a Getter or Fold. There is no valid traversal unless I place an unchecked constraint on the mutation of "no modification that aren't numbers". |
2024-05-14 17:24:56 +0200 | danse-nr3 | (~danse-nr3@151.57.181.243) (Ping timeout: 268 seconds) |
2024-05-14 17:21:16 +0200 | <stefan-__> | esnos: here is my config for eglot and lsp-mode (currently in use): https://gist.github.com/dozed/9b70668200876179b2a5381c53683ca7 |
2024-05-14 17:19:19 +0200 | yin | (~yin@user/zero) (Ping timeout: 256 seconds) |
2024-05-14 17:17:24 +0200 | random-jellyfish | (~developer@user/random-jellyfish) |
2024-05-14 17:17:24 +0200 | random-jellyfish | (~developer@ip4-89-238-215-238.euroweb.ro) (Changing host) |
2024-05-14 17:17:23 +0200 | random-jellyfish | (~developer@ip4-89-238-215-238.euroweb.ro) |
2024-05-14 17:01:16 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
2024-05-14 16:58:08 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 260 seconds) |
2024-05-14 16:49:00 +0200 | dtman34 | (~dtman34@c-75-72-163-222.hsd1.mn.comcast.net) |
2024-05-14 16:48:40 +0200 | dtman34 | (~dtman34@2601:447:d001:ed50:f596:52e1:73ca:629d) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in) |
2024-05-14 16:44:23 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.1) |
2024-05-14 16:43:04 +0200 | <esnos> | stefan-__, will try similar approach |
2024-05-14 16:36:06 +0200 | Benzi-Junior | (~BenziJuni@232-148-209-31.dynamic.hringdu.is) |
2024-05-14 16:35:49 +0200 | Benzi-Junior | (~BenziJuni@232-148-209-31.dynamic.hringdu.is) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-05-14 16:24:37 +0200 | ocra8 | (ocra8@user/ocra8) |
2024-05-14 16:20:23 +0200 | petrichor | (~znc-user@user/petrichor) |
2024-05-14 16:18:15 +0200 | hseg | (~gesh@46.120.21.14) |
2024-05-14 16:15:34 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
2024-05-14 16:14:24 +0200 | petrichor | (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-05-14 16:11:11 +0200 | euleritian | (~euleritia@dynamic-176-004-151-001.176.4.pool.telefonica.de) |
2024-05-14 16:10:30 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
2024-05-14 16:02:57 +0200 | <stefan-__> | esnos: I use company-mode and have the following binding in "haskell-mode-map": "("C-SPC" . 'company-complete)" -- additionally I disabled auto-showing the company completions: "(setq company-idle-delay nil)" |
2024-05-14 15:56:45 +0200 | cfricke | (~cfricke@user/cfricke) |
2024-05-14 15:52:35 +0200 | <danse-nr3> | oh then i don't know what corfu is for |
2024-05-14 15:50:56 +0200 | <esnos> | I use eglot with hls, but to show possible completions you need company or eglot |
2024-05-14 15:50:30 +0200 | yin | (~yin@user/zero) |
2024-05-14 15:47:17 +0200 | <danse-nr3> | this question is quite emacs-specific esnos, i am afraid we might not be that knowledgeable about that. Anyways usually for developing people use Haskell Language Server as a backend... i am not sure about which emacs client to recommend, i think there are a couple of main ones |
2024-05-14 15:43:12 +0200 | <esnos> | Sorry for double message, I started using irc yesterday |
2024-05-14 15:42:13 +0200 | <esnos> | haskell-mode it isn't set to anything, so maybe this is why there are problems. |
2024-05-14 15:42:13 +0200 | <esnos> | Hi, I want to use haskell-mode with corfu as completion backend, does anybody have working setup. I customized '(tab-always-indent 'complete) and tab completion works in other modes, for example in python, but in haskell mode it just intends and I need to use M-tab which is uncomfortable considering I use tab for everything else. I also saw that in other modes completion-at-point is set to C-M-i, which corfu uses I think, but in |
2024-05-14 15:35:48 +0200 | thaliaa | (uid486183@id-486183.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
2024-05-14 15:31:50 +0200 | just_started_has | (~just_star@2401:4900:1cc9:315f:ac5a:52e5:ce3f:eca3) (Quit: Client closed) |
2024-05-14 15:30:33 +0200 | esnos | (~user@194.29.137.22) |