Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 18023 18024 18025 18026 18027 18028
1,802,717 events total
2026-04-29 05:44:56 × haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2026-04-29 06:20:41 sord937 joins (~sord937@gateway/tor-sasl/sord937)
2026-04-29 06:27:18 arandombit joins (~arandombi@user/arandombit)
2026-04-29 06:38:15 <gentauro> is there a way to replicate/mimic this behaviour in Haskell: https://paste.tomsmeding.com/qoZq3jhq (In F#, you can hide the constructors and then (Active) pattern match on them: https://learn.microsoft.com/en-us/dotnet/fsharp/language-reference/active-patterns)
2026-04-29 06:40:29 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds)
2026-04-29 06:44:47 × mzg_ quits (mzg@abusers.hu) (Ping timeout: 268 seconds)
2026-04-29 06:49:27 <davean> you can do view patterns
2026-04-29 06:53:50 <Leary> gentauro: I'm not familiar with F# so I may be missing something, but with `PatternSynonyms` you can expose patterns without constructors, e.g. `module FooBar (FooBar(Foo,Bar)) where { data FooBar = Foo_ Int | Bar_ Char; pattern Foo i <- Foo_ i; pattern Bar c <- Bar_ c }`.
2026-04-29 06:56:32 r1bilski joins (~r1bilski@user/r1bilski)
2026-04-29 06:57:42 × poscat quits (~poscat@user/poscat) (Remote host closed the connection)
2026-04-29 07:00:52 poscat joins (~poscat@user/poscat)
2026-04-29 07:05:45 × r1bilski quits (~r1bilski@user/r1bilski) (Ping timeout: 268 seconds)
2026-04-29 07:05:45 × synchrom1 quits (~john@2406:5a00:247e:1500:6092:d450:dbbd:88ed) (Read error: Connection reset by peer)
2026-04-29 07:06:35 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-04-29 07:06:53 synchromesh joins (~john@2406:5a00:247e:1500:6092:d450:dbbd:88ed)
2026-04-29 07:10:56 bitmapper joins (uid464869@id-464869.lymington.irccloud.com)
2026-04-29 07:11:34 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
←Prev  Next→
Page 1 .. 18023 18024 18025 18026 18027 18028

All times are in UTC.