2026/05/01

Newest at the top

2026-05-01 13:54:29 +0000 <haskellbridge> <ijouw> The prelude (++) is only for lists. Using Semigroup's (<>) seems a good choice. If you have multiple ways to define (<>) on your type, either document your choice or define custom operators.
2026-05-01 13:50:43 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-05-01 13:49:42 +0000puke(~puke@user/puke) puke
2026-05-01 13:48:50 +0000dcb(~dcb@user/dcb) dcb
2026-05-01 13:47:33 +0000dcb(~dcb@user/dcb) (Remote host closed the connection)
2026-05-01 13:47:20 +0000dcb(~dcb@user/dcb) dcb
2026-05-01 13:46:24 +0000Googulator(~Googulato@84-236-65-50.pool.digikabel.hu)
2026-05-01 13:46:09 +0000Googulator(~Googulato@84-236-65-50.pool.digikabel.hu) (Quit: Client closed)
2026-05-01 13:46:00 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-01 13:44:42 +0000 <gentauro> is it possible to implement `(++)` for a custom type? Or is it `Semigroup Foo where Foo x <> Foo y`` that should be used?
2026-05-01 13:43:49 +0000 <yahb2> (++) :: [a] -> [a] -> [a]
2026-05-01 13:43:49 +0000 <gentauro> % :t (++)
2026-05-01 13:37:33 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-05-01 13:35:58 +0000arandombit(~arandombi@user/arandombit) arandombit
2026-05-01 13:35:58 +0000arandombit(~arandombi@2a02:2455:8656:7100:2d2e:4dd7:3c6f:8587) (Changing host)
2026-05-01 13:35:58 +0000arandombit(~arandombi@2a02:2455:8656:7100:2d2e:4dd7:3c6f:8587)
2026-05-01 13:35:55 +0000Pozyomka(~pyon@user/pyon) (Client Quit)
2026-05-01 13:34:42 +0000Pozyomka(~pyon@user/pyon) pyon
2026-05-01 13:34:31 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-05-01 13:33:49 +0000yushyin(he1AwRbeNM@karif.server-speed.net) yushyin
2026-05-01 13:33:49 +0000s4msung(je0MgNYRJg@user/s4msung) s4msung
2026-05-01 13:33:38 +0000noctuks(4qNwsywqoM@user/noctux) noctux
2026-05-01 13:33:06 +0000yushyin(cFgGaR0ach@mail.karif.server-speed.net) (Quit: WeeChat 4.8.1)
2026-05-01 13:33:06 +0000noctuks(7NcJRRWP29@user/noctux) (Quit: WeeChat 4.8.1)
2026-05-01 13:33:06 +0000s4msung(SHMU1ylKNZ@user/s4msung) (Quit: s4msung)
2026-05-01 13:29:41 +0000arandombit(~arandombi@user/arandombit) (Ping timeout: 244 seconds)
2026-05-01 13:29:28 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-01 13:25:22 +0000weary-traveler(~user@user/user363627) (Remote host closed the connection)
2026-05-01 13:24:56 +0000dcb(~dcb@user/dcb) (Quit: MSN Messenger v1.10.1)
2026-05-01 13:22:41 +0000leppard(~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Remote host closed the connection)
2026-05-01 13:09:34 +0000Pozyomka(~pyon@user/pyon) (Quit: WeeChat 4.9.0)
2026-05-01 13:07:19 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 265 seconds)
2026-05-01 13:03:17 +0000xff0x(~xff0x@2405:6580:b080:900:6a5b:5b2a:edc6:20f4)
2026-05-01 13:01:09 +0000xff0x(~xff0x@2402:9500:8000:8:f0d1:5cb6:56c6:e0bf) (Ping timeout: 245 seconds)
2026-05-01 12:56:04 +0000xff0x(~xff0x@2402:9500:8000:8:f0d1:5cb6:56c6:e0bf)
2026-05-01 12:53:14 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-05-01 12:52:25 +0000infinity0(~infinity0@pwned.gg) infinity0
2026-05-01 12:50:51 +0000xff0x(~xff0x@2405:6580:b080:900:6a5b:5b2a:edc6:20f4) (Ping timeout: 246 seconds)
2026-05-01 12:48:59 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-01 12:48:30 +0000haritz(~hrtz@user/haritz) haritz
2026-05-01 12:48:30 +0000haritz(~hrtz@140.228.70.141) (Changing host)
2026-05-01 12:48:30 +0000haritz(~hrtz@140.228.70.141)
2026-05-01 12:42:16 +0000leppard(~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline
2026-05-01 12:40:54 +0000tnt1(~Thunderbi@user/tnt1) tnt1
2026-05-01 12:36:08 +0000leppard(~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Remote host closed the connection)
2026-05-01 12:35:26 +0000polykernel(~polykerne@user/polykernel) polykernel
2026-05-01 12:35:06 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-05-01 12:32:13 +0000Square(~Square@user/square) Square
2026-05-01 12:31:47 +0000tremon(~tremon@83.80.159.219) tremon
2026-05-01 12:31:14 +0000infinity0(~infinity0@pwned.gg) (Ping timeout: 248 seconds)