Logs: liberachat/#haskell
| 2021-05-31 14:14:16 | → | jmcarthur joins (~textual@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-05-31 14:15:42 | → | nschoe joins (~quassel@178.251.84.79) |
| 2021-05-31 14:17:29 | × | wonko quits (~wjc@user/wonko) (Remote host closed the connection) |
| 2021-05-31 14:18:13 | → | ixlun joins (~user@109.249.184.235) |
| 2021-05-31 14:18:47 | → | sondre joins (~sondrelun@eduroam-193-157-203-145.wlan.uio.no) |
| 2021-05-31 14:19:01 | × | favonia quits (~favonia@user/favonia) (Quit: Ping timeout (120 seconds)) |
| 2021-05-31 14:19:03 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 265 seconds) |
| 2021-05-31 14:19:07 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2021-05-31 14:19:24 | → | favonia joins (~favonia@user/favonia) |
| 2021-05-31 14:19:33 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2021-05-31 14:20:29 | → | cheater1__ joins (~Username@user/cheater) |
| 2021-05-31 14:20:35 | <ixlun> | Hi all, I've got a Parsec parser and I'm trying to build a parsec parser. I've got the following: (<>) <$> option "" $ string "a" <*> option |
| 2021-05-31 14:20:43 | × | cheater quits (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 2021-05-31 14:20:50 | → | allbery_b joins (~geekosaur@069-135-003-034.biz.spectrum.com) |
| 2021-05-31 14:20:51 | cheater1__ | is now known as cheater |
| 2021-05-31 14:20:55 | × | geekosaur quits (~geekosaur@069-135-003-034.biz.spectrum.com) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2021-05-31 14:21:01 | allbery_b | is now known as geekosaur |
| 2021-05-31 14:21:08 | <ixlun> | (<>) <$> option "" $ string "a" <*> option "" $ string "b" <*> option "" $ string "c" |
| 2021-05-31 14:21:26 | × | jmcarthur quits (~textual@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-05-31 14:21:49 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-05-31 14:21:52 | <ixlun> | So I want to concatenate whatever string is parsed. Problem is (<>) only takes two strings to it's a type error. |
| 2021-05-31 14:22:18 | <ixlun> | Is the best way to fix this to do something like: (<> . <>)? |
| 2021-05-31 14:23:01 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-05-31 14:23:35 | <hpc> | :t (<>) |
| 2021-05-31 14:23:35 | <lambdabot> | Semigroup a => a -> a -> a |
| 2021-05-31 14:23:38 | <hpc> | :t mconcat |
| 2021-05-31 14:23:39 | <lambdabot> | Monoid a => [a] -> a |
| 2021-05-31 14:23:47 | × | sondre quits (~sondrelun@eduroam-193-157-203-145.wlan.uio.no) (Ping timeout: 272 seconds) |
| 2021-05-31 14:23:52 | → | kiweun joins (~sheepduck@2607:fea8:2a60:b700::5d55) |
| 2021-05-31 14:23:54 | <hpc> | you probably want mconcat |
| 2021-05-31 14:23:55 | <river> | :t (<> . <>) |
| 2021-05-31 14:23:56 | <lambdabot> | error: parse error on input ‘.’ |
| 2021-05-31 14:24:05 | <Hecate> | river: nice emoji |
| 2021-05-31 14:24:16 | <ixlun> | :t ((<>) . (<>)) |
| 2021-05-31 14:24:17 | <lambdabot> | Semigroup a => a -> (a -> a) -> a -> a |
| 2021-05-31 14:24:22 | → | igghibu joins (~igghibu@37.120.201.126) |
| 2021-05-31 14:24:25 | → | hughjfchen joins (~hughjfche@vmi556545.contaboserver.net) |
| 2021-05-31 14:24:36 | <hpc> | mconcat [a, b, c, d] = a <> b <> c <> d <> mempty |
| 2021-05-31 14:24:51 | → | jmcarthu_ joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-05-31 14:25:05 | → | aighearach_ joins (~paris@c-71-63-160-210.hsd1.or.comcast.net) |
| 2021-05-31 14:25:22 | <Hecate> | % :t (\y -> (\x -> x <> y . y <> x)) |
| 2021-05-31 14:25:23 | <yahb> | Hecate: Semigroup a => (a -> a) -> (a -> a) -> a -> a |
| 2021-05-31 14:25:37 | <Hecate> | ah, you were faster ixlun |
| 2021-05-31 14:25:51 | → | cheater1__ joins (~Username@user/cheater) |
| 2021-05-31 14:26:03 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Killed (NickServ (GHOST command used by jmcarthu_))) |
| 2021-05-31 14:26:13 | jmcarthu_ | is now known as jmcarthur |
| 2021-05-31 14:26:20 | <ixlun> | The type of ((<>) . (<>)) isn't what I expected! |
| 2021-05-31 14:26:31 | → | Megant_ joins (megant@user/megant) |
| 2021-05-31 14:26:55 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2021-05-31 14:27:04 | <ixlun> | My intuition would have been: a -> a ->a |
| 2021-05-31 14:27:17 | × | sheepduck quits (~sheepduck@2607:fea8:2a60:b700::5d55) (Read error: Connection reset by peer) |
| 2021-05-31 14:27:17 | × | atwm quits (~andrew@178.197.235.239) (Ping timeout: 268 seconds) |
| 2021-05-31 14:27:17 | × | cheater quits (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 2021-05-31 14:27:17 | × | xff0x quits (~xff0x@2001:1a81:528f:3900:63a6:c05a:b177:6450) (Ping timeout: 268 seconds) |
| 2021-05-31 14:27:18 | × | Megant quits (megant@user/megant) (Ping timeout: 268 seconds) |
| 2021-05-31 14:27:18 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer) |
| 2021-05-31 14:27:18 | × | otto_s_ quits (~user@p5de2fbac.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2021-05-31 14:27:23 | cheater1__ | is now known as cheater |
| 2021-05-31 14:27:28 | × | hughjfchen quits (~hughjfche@vmi556545.contaboserver.net) (Remote host closed the connection) |
| 2021-05-31 14:27:42 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 268 seconds) |
| 2021-05-31 14:27:42 | × | wagle quits (~wagle@quassel.wagle.io) (Ping timeout: 268 seconds) |
| 2021-05-31 14:27:56 | → | xff0x joins (~xff0x@port-92-195-46-148.dynamic.as20676.net) |
| 2021-05-31 14:27:58 | → | otto_s joins (~user@p5de2fbac.dip0.t-ipconnect.de) |
| 2021-05-31 14:28:12 | × | aighearach quits (~paris@c-71-63-160-210.hsd1.or.comcast.net) (Ping timeout: 268 seconds) |
| 2021-05-31 14:28:55 | × | Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Ping timeout: 268 seconds) |
| 2021-05-31 14:28:55 | × | berberman_ quits (~berberman@user/berberman) (Ping timeout: 268 seconds) |
| 2021-05-31 14:28:55 | × | jjhoo quits (jahakala@dsl-trebng21-58c18f-56.dhcp.inet.fi) (Ping timeout: 268 seconds) |
| 2021-05-31 14:28:59 | → | jjhoo_ joins (~jahakala@dsl-trebng21-58c18f-56.dhcp.inet.fi) |
| 2021-05-31 14:29:12 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2021-05-31 14:29:21 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-05-31 14:29:21 | × | smitop quits (uid328768@user/smitop) (Ping timeout: 268 seconds) |
| 2021-05-31 14:29:21 | × | neceve quits (~quassel@2a02:c7f:607e:d600:a95a:ecd2:e57a:3130) (Ping timeout: 268 seconds) |
| 2021-05-31 14:29:21 | × | riatre quits (~quassel@h203-145-233-111.ablenetvps.ne.jp) (Ping timeout: 268 seconds) |
| 2021-05-31 14:29:22 | → | hughjfchen joins (~hughjfche@vmi556545.contaboserver.net) |
| 2021-05-31 14:29:23 | → | riatre_ joins (~quassel@2001:310:6000:f::5198:1) |
| 2021-05-31 14:29:58 | × | ruffy_ quits (~jonas@2a03:b0c0:3:d0::162e:a001) (Ping timeout: 268 seconds) |
| 2021-05-31 14:30:07 | → | neceve joins (~quassel@2a02:c7f:607e:d600:a95a:ecd2:e57a:3130) |
| 2021-05-31 14:30:24 | × | hughjfchen quits (~hughjfche@vmi556545.contaboserver.net) (Remote host closed the connection) |
| 2021-05-31 14:30:36 | → | wagle joins (~wagle@quassel.wagle.io) |
| 2021-05-31 14:30:40 | × | tremon quits (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) (Ping timeout: 268 seconds) |
| 2021-05-31 14:31:11 | → | involans joins (~alex@cpc92718-cmbg20-2-0-cust157.5-4.cable.virginm.net) |
| 2021-05-31 14:31:11 | → | smitop joins (uid328768@user/smitop) |
| 2021-05-31 14:31:19 | → | hughjfchen joins (~hughjfche@vmi556545.contaboserver.net) |
| 2021-05-31 14:31:20 | × | brandonh quits (~brandonh@151.38.202.252) (Ping timeout: 268 seconds) |
| 2021-05-31 14:31:30 | × | hughjfchen quits (~hughjfche@vmi556545.contaboserver.net) (Client Quit) |
| 2021-05-31 14:31:49 | × | AgentM quits (~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) (Ping timeout: 268 seconds) |
| 2021-05-31 14:31:50 | → | sondre joins (~sondrelun@eduroam-193-157-203-145.wlan.uio.no) |
| 2021-05-31 14:32:26 | <tdammers> | :t mconcat <$> mapM (option "" . string) [ "a", "b", "c" ] |
| 2021-05-31 14:32:27 | <lambdabot> | error: |
| 2021-05-31 14:32:27 | <lambdabot> | • Variable not in scope: option :: [Char] -> b0 -> f b |
| 2021-05-31 14:32:27 | <lambdabot> | • Perhaps you meant ‘optional’ (imported from Control.Applicative) |
| 2021-05-31 14:32:30 | → | koishi_ joins (~koishi_@67.209.186.120.16clouds.com) |
| 2021-05-31 14:32:30 | × | ornxka quits (~ornxka@user/ornxka) (Ping timeout: 268 seconds) |
| 2021-05-31 14:32:47 | <tdammers> | something like that? |
| 2021-05-31 14:32:48 | → | tremon joins (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) |
| 2021-05-31 14:33:00 | → | berberman joins (~berberman@user/berberman) |
| 2021-05-31 14:33:10 | → | atwm joins (~andrew@178.197.235.239) |
| 2021-05-31 14:33:12 | × | bfrk quits (~Thunderbi@200116b84534a60005aeadf137ee420f.dip.versatel-1u1.de) (Ping timeout: 268 seconds) |
| 2021-05-31 14:33:12 | × | dyeplexer quits (~dyeplexer@user/dyeplexer) (Ping timeout: 268 seconds) |
| 2021-05-31 14:33:23 | → | brandonh joins (~brandonh@151.38.202.252) |
All times are in UTC.