Newest at the top
2024-04-20 16:28:53 +0200 | elbear | (~lucian@79.118.150.93) (Ping timeout: 240 seconds) |
2024-04-20 16:25:10 +0200 | <ncf> | or at least had one at some point https://github.com/haskell/haskell-language-server/pull/391 |
2024-04-20 16:24:54 +0200 | paddymahoney | (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) (Ping timeout: 255 seconds) |
2024-04-20 16:23:37 +0200 | <ncf> | i think haskell-language-server has a case split feature, similar to agda's |
2024-04-20 16:22:37 +0200 | <mauke> | Just (Left "hello") is really: Just (Left ((:) 'h' ((:) 'e' ((:) 'l' ((:) 'l' ((:) 'o' [])))))) |
2024-04-20 16:21:01 +0200 | <ph88> | I meant to generate pattern matching boilerplate based on a type. Like this example https://bpa.st/JWGA |
2024-04-20 16:20:36 +0200 | <mauke> | trying to unpack [] and Char (as a sum type) as well |
2024-04-20 16:19:06 +0200 | elbear | (~lucian@79.118.150.93) |
2024-04-20 16:19:04 +0200 | <ph88> | mauke, what's that ? |
2024-04-20 16:16:28 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-04-20 16:14:16 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
2024-04-20 16:11:31 +0200 | Guest94 | (~Guest85@209.38.140.204) (Quit: Client closed) |
2024-04-20 16:02:59 +0200 | zetef | (~quassel@109.166.183.50) (Ping timeout: 272 seconds) |
2024-04-20 15:59:05 +0200 | danza | (~francesco@151.43.8.9) (Ping timeout: 245 seconds) |
2024-04-20 15:58:48 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) (Quit: WeeChat 4.2.1) |
2024-04-20 15:54:55 +0200 | elbear | (~lucian@79.118.150.93) (Ping timeout: 245 seconds) |
2024-04-20 15:52:34 +0200 | <lambdabot> | Eq b => Maybe (Either [Char] b) -> Bool |
2024-04-20 15:52:33 +0200 | <ncf> | :t (== Just (Left "hello")) |
2024-04-20 15:46:38 +0200 | sukbeom | (~sukbeom@121.172.255.83) |
2024-04-20 15:45:36 +0200 | <mauke> | did you mean: ... Left c -> case c of { [] -> ...; '\0' : [] -> ...; '\1' : [] -> ... |
2024-04-20 15:44:18 +0200 | puke | (~puke@user/puke) (Quit: puke) |
2024-04-20 15:40:54 +0200 | sukbeom | (~sukbeom@121.172.255.83) (Quit: The Lounge - https://thelounge.chat) |
2024-04-20 15:38:04 +0200 | danza | (~francesco@151.43.8.9) |
2024-04-20 15:28:31 +0200 | <ph88> | does anyone know of a script that generates pattern matching code based on a given value? Example, given: Just (Left "hello") code: case a of; Nothing -> undefined Just b -> case b of; Left c -> undefined; Right d -> undefined |
2024-04-20 15:24:12 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-04-20 15:23:31 +0200 | tremon | (~tremon@83.80.159.219) |
2024-04-20 15:21:59 +0200 | puke | (~puke@user/puke) |
2024-04-20 15:21:30 +0200 | puke | (~puke@user/puke) (Max SendQ exceeded) |
2024-04-20 15:20:15 +0200 | pyooque | puke |
2024-04-20 15:20:15 +0200 | Guest7257 | (~puke@user/puke) (Killed (copper.libera.chat (Nickname regained by services))) |
2024-04-20 15:20:15 +0200 | pyooque | (~puke@user/puke) |
2024-04-20 15:20:15 +0200 | puke | Guest7257 |
2024-04-20 15:19:17 +0200 | myxos | (~myxos@172.93.132.84) (Ping timeout: 272 seconds) |
2024-04-20 15:16:55 +0200 | myxokephale | (~myxos@65.28.251.121) |
2024-04-20 15:12:38 +0200 | imdoor | (~imdoor@balticom-142-78-50.balticom.lv) |
2024-04-20 15:06:57 +0200 | aljazmc | (~aljazmc@user/aljazmc) (Remote host closed the connection) |
2024-04-20 15:05:48 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
2024-04-20 14:57:48 +0200 | [Leary] | (~Leary]@user/Leary/x-0910699) (Ping timeout: 260 seconds) |
2024-04-20 14:55:56 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3302-d776-5085-4da3-9df1-4a7b.rev.sfr.net) |
2024-04-20 14:55:30 +0200 | Lears | (~Leary]@user/Leary/x-0910699) |
2024-04-20 14:46:01 +0200 | elbear | (~lucian@79.118.150.93) |
2024-04-20 14:45:34 +0200 | CiaoSen | (~Jura@2a05:5800:2a0:7b00:e6b9:7aff:fe80:3d03) (Quit: CiaoSen) |
2024-04-20 14:42:36 +0200 | masaeedu | (~masaeedu@user/masaeedu) |
2024-04-20 14:42:24 +0200 | Square | (~Square@user/square) (Ping timeout: 260 seconds) |
2024-04-20 14:36:39 +0200 | masaeedu | (~masaeedu@user/masaeedu) (Read error: Connection reset by peer) |
2024-04-20 14:35:48 +0200 | <ncf> | foldlShortEither = foldlM |
2024-04-20 14:34:24 +0200 | <ncf> | use foldlM or foldrM in the Either monad, presumably |
2024-04-20 14:34:17 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2024-04-20 14:32:52 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
2024-04-20 14:29:49 +0200 | notzmv | (~daniel@user/notzmv) |