Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 144 145 146 147 148 149 150 151 152 153 154 .. 5022
— 502,152 events total
2020-09-22 22:04:10 × bgavran quits (sid393312@gateway/web/irccloud.com/x-tlvsdvbfvoruwvrt) (Read error: Connection reset by peer)
2020-09-22 22:04:10 × billstclair quits (sid77830@gateway/web/irccloud.com/x-njtwabjodxfeadlq) (Read error: Connection reset by peer)
2020-09-22 22:04:10 × idnar quits (sid12240@gateway/web/irccloud.com/x-jjnutjrgcrnwlbzz) (Write error: Connection reset by peer)
2020-09-22 22:04:10 × verlet64_ quits (sid261276@gateway/web/irccloud.com/x-enbpazlihfwnodyt) (Read error: Connection reset by peer)
2020-09-22 22:04:20 → billstclair joins (sid77830@gateway/web/irccloud.com/x-pgatvwkmtnxlsvqm)
2020-09-22 22:04:21 → kyagrd__ joins (sid102627@gateway/web/irccloud.com/x-bpqznclhpkuhhkvr)
2020-09-22 22:04:27 × gaze__ quits (sid387101@gateway/web/irccloud.com/x-uqinezzzoacqistn) (Ping timeout: 240 seconds)
2020-09-22 22:04:28 × pepeiborra quits (sid443799@gateway/web/irccloud.com/x-muozmjndjwfeqfvy) (Read error: Connection reset by peer)
2020-09-22 22:04:29 × banjiewen quits (sid115913@gateway/web/irccloud.com/x-nssuccxilqzmlupj) (Read error: Connection reset by peer)
2020-09-22 22:04:30 × milessabin quits (sid86799@gateway/web/irccloud.com/x-zzhiqbciotinctdo) (Read error: Connection reset by peer)
2020-09-22 22:04:33 × integral quits (sid296274@p3m/member/integral) (Read error: Connection reset by peer)
2020-09-22 22:04:36 → pepeiborra joins (sid443799@gateway/web/irccloud.com/x-aielmlrjpvrtaudg)
2020-09-22 22:04:38 → lexi-lambda joins (sid92601@gateway/web/irccloud.com/x-kqlffaskqxngpytz)
2020-09-22 22:04:38 × jonrh quits (sid5185@gateway/web/irccloud.com/x-uehyptvyqowptwll) (Read error: Connection reset by peer)
2020-09-22 22:04:39 × wpcarro quits (sid397589@gateway/web/irccloud.com/x-wrenofujztduecpe) (Ping timeout: 272 seconds)
2020-09-22 22:04:39 × nlofaro quits (sid258233@gateway/web/irccloud.com/x-jtgfxmuprlagzefb) (Ping timeout: 272 seconds)
2020-09-22 22:04:40 → alp joins (~alp@2a01:e0a:58b:4920:c8e4:4670:fb4c:ebbb)
2020-09-22 22:04:41 × mitchellsalad quits (uid40617@gateway/web/irccloud.com/x-enhkpawvaptrcxlr) (Read error: Connection reset by peer)
2020-09-22 22:04:42 × ^[_ quits (sid43445@gateway/web/irccloud.com/x-jqgsrnowfujwlgxj) (Read error: Connection reset by peer)
2020-09-22 22:04:43 × sgraf quits (sid326656@gateway/web/irccloud.com/x-radnepseyennuodd) (Read error: Connection reset by peer)
2020-09-22 22:04:43 × affinespaces quits (sid327561@gateway/web/irccloud.com/x-kqmgsfuaufenxspw) (Write error: Connection reset by peer)
2020-09-22 22:04:43 × tnks quits (sid412124@gateway/web/irccloud.com/x-dwexomjeqnwyvklm) (Read error: Connection reset by peer)
2020-09-22 22:04:43 × mudri quits (sid317655@gateway/web/irccloud.com/x-dtllfvjvxgtquiuk) (Write error: Connection reset by peer)
2020-09-22 22:04:43 × parseval quits (sid239098@gateway/web/irccloud.com/x-asobwxfjahkqvwqi) (Read error: Connection reset by peer)
2020-09-22 22:04:44 × jared-w quits (uid405292@gateway/web/irccloud.com/x-zzbrjddwdzpuydkx) (Read error: Connection reset by peer)
2020-09-22 22:04:44 × alanz_ quits (sid110616@gateway/web/irccloud.com/x-ctvkvbwalukqkomp) (Write error: Connection reset by peer)
2020-09-22 22:04:44 × jackdk quits (sid373013@gateway/web/irccloud.com/x-dbnwqqwsgdzlmpfc) (Read error: Connection reset by peer)
2020-09-22 22:04:49 × xyggos quits (uid216035@gateway/web/irccloud.com/x-wkdpfxootgmnrnej) (Read error: Connection reset by peer)
2020-09-22 22:04:50 × zabracks quits (sid322453@gateway/web/irccloud.com/x-loclvakwxwxwlmzf) (Read error: Connection reset by peer)
2020-09-22 22:04:50 × aristid quits (sid1599@gateway/web/irccloud.com/x-ccnoufjdujsoakqg) (Read error: Connection reset by peer)
2020-09-22 22:04:50 × kozowu quits (uid44796@gateway/web/irccloud.com/x-cyafictvxyuooeqg) (Write error: Connection reset by peer)
2020-09-22 22:04:55 × Adeon quits (sid418992@gateway/web/irccloud.com/x-hxhxuxjjmuenreuf) (Read error: Connection reset by peer)
2020-09-22 22:04:55 × grfn quits (sid449115@gateway/web/irccloud.com/x-djhtljnkxqossiys) (Read error: Connection reset by peer)
2020-09-22 22:04:56 × SrPx quits (sid108780@gateway/web/irccloud.com/x-enunzzqygomruidr) (Read error: Connection reset by peer)
2020-09-22 22:04:57 → gluegadget joins (sid22336@gateway/web/irccloud.com/x-tmiumiesupahnofb)
2020-09-22 22:04:57 × rann quits (sid175221@gateway/web/irccloud.com/x-sckiymvkkodozjmc) (Read error: Connection reset by peer)
2020-09-22 22:04:57 × johs quits (sid246410@gateway/web/irccloud.com/x-bnklndnmwpendrgc) (Read error: Connection reset by peer)
2020-09-22 22:04:57 × thi quits (sid97277@gateway/web/irccloud.com/x-egurzehjnvehwmoj) (Write error: Connection reset by peer)
2020-09-22 22:05:02 → sgraf joins (sid326656@gateway/web/irccloud.com/x-hgjjxemhusyfacvt)
2020-09-22 22:05:13 → affinespaces joins (sid327561@gateway/web/irccloud.com/x-surtytzgkagqbptw)
2020-09-22 22:05:14 → bgavran joins (sid393312@gateway/web/irccloud.com/x-rpbuvoicjcozhpoz)
2020-09-22 22:05:26 → Firedancer joins (sid336191@gateway/web/irccloud.com/x-cfbollkuhedzfspa)
2020-09-22 22:05:27 → zabracks joins (sid322453@gateway/web/irccloud.com/x-gipkskgkjwtsbbvf)
2020-09-22 22:05:28 → cbarrett joins (sid192934@adium/cbarrett)
2020-09-22 22:05:28 → alanz_ joins (sid110616@gateway/web/irccloud.com/x-etykcjmhdnhcbhar)
2020-09-22 22:05:29 → idnar joins (sid12240@gateway/web/irccloud.com/x-tfsrbtkqrzazovfm)
2020-09-22 22:05:34 → rslima____ joins (sid26145@gateway/web/irccloud.com/x-zjgqdcvtyayglqgm)
2020-09-22 22:05:38 → banjiewen joins (sid115913@gateway/web/irccloud.com/x-rewtcdbdusjizrvy)
2020-09-22 22:05:38 → integral joins (sid296274@p3m/member/integral)
2020-09-22 22:05:40 → AndreasK joins (sid320732@gateway/web/irccloud.com/x-vczvdqfgysdsqvxe)
2020-09-22 22:05:42 → conjunctive joins (sid433686@gateway/web/irccloud.com/x-tffvixiwtutlgztn)
2020-09-22 22:05:45 → verlet64_ joins (sid261276@gateway/web/irccloud.com/x-olzkamcxrqzvgctd)
2020-09-22 22:05:52 → tnks joins (sid412124@gateway/web/irccloud.com/x-qmlnvujgxrzdkpep)
2020-09-22 22:05:56 → amatecha__ joins (sid10006@gateway/web/irccloud.com/x-seypgunpjxtonakl)
2020-09-22 22:05:58 → jackdk joins (sid373013@gateway/web/irccloud.com/x-lcbyflyjffmioate)
2020-09-22 22:05:59 → irc_user joins (uid423822@gateway/web/irccloud.com/x-nvqjaolnpjtmisyj)
2020-09-22 22:06:00 → johs joins (sid246410@gateway/web/irccloud.com/x-rkhjgvgwqomlfxih)
2020-09-22 22:06:02 → milessabin joins (sid86799@gateway/web/irccloud.com/x-rqchthtgtmeyzixk)
2020-09-22 22:06:02 → wpcarro joins (sid397589@gateway/web/irccloud.com/x-rezhuutabpzihnck)
2020-09-22 22:06:04 → thi joins (sid97277@gateway/web/irccloud.com/x-wriovfhjtmcdbcjt)
2020-09-22 22:06:05 → SrPx joins (sid108780@gateway/web/irccloud.com/x-jnqckeiseqjldnfr)
2020-09-22 22:06:09 → Adeon joins (sid418992@gateway/web/irccloud.com/x-alybvdyanbyduxzk)
2020-09-22 22:06:10 → gaze__ joins (sid387101@gateway/web/irccloud.com/x-dnjlouysixtlqjqi)
2020-09-22 22:06:11 → jonrh joins (sid5185@gateway/web/irccloud.com/x-vrzamnbrmfpulknf)
2020-09-22 22:06:11 → jared-w joins (uid405292@gateway/web/irccloud.com/x-nigyfvoydxcxiets)
2020-09-22 22:06:14 → mudri joins (sid317655@gateway/web/irccloud.com/x-aglqfensdztorpxf)
2020-09-22 22:06:19 → mitchellsalad joins (uid40617@gateway/web/irccloud.com/x-buqlvcdbvgdtirvi)
2020-09-22 22:06:21 → kozowu joins (uid44796@gateway/web/irccloud.com/x-hudcnsdmybxuceok)
2020-09-22 22:06:22 → xyggos joins (uid216035@gateway/web/irccloud.com/x-wmxaxxurlecshsab)
2020-09-22 22:06:28 → nlofaro joins (sid258233@gateway/web/irccloud.com/x-luupihxgwjhpolne)
2020-09-22 22:06:29 → parseval joins (sid239098@gateway/web/irccloud.com/x-maeovdrfxjodxdsd)
2020-09-22 22:06:47 → rann joins (sid175221@gateway/web/irccloud.com/x-qththkjntwgnhebq)
2020-09-22 22:07:16 → grfn joins (sid449115@gateway/web/irccloud.com/x-mkmmnpicneasqiio)
2020-09-22 22:07:20 → aristid joins (sid1599@gateway/web/irccloud.com/x-xcvzgeubwazbgttv)
2020-09-22 22:07:52 → ^[_ joins (sid43445@gateway/web/irccloud.com/x-tppirwslmjxiosbo)
2020-09-22 22:08:23 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-09-22 22:10:57 → kanishka joins (~kanishka@207.38.161.184)
2020-09-22 22:11:37 × alp quits (~alp@2a01:e0a:58b:4920:c8e4:4670:fb4c:ebbb) (Ping timeout: 272 seconds)
2020-09-22 22:16:25 → cocreature joins (K5Bm45ovDM@gateway/shell/uberspace.de/x-nbwtipuyknbchowa)
2020-09-22 22:17:06 × dhil quits (~dhil@11.29.39.217.dyn.plus.net) (Ping timeout: 260 seconds)
2020-09-22 22:17:07 × falafel quits (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) (Ping timeout: 260 seconds)
2020-09-22 22:18:10 × jespada quits (~jespada@90.254.241.6) (Ping timeout: 256 seconds)
2020-09-22 22:18:25 × eric_ quits (~eric@2804:431:c7d4:b4fa:173:5d88:9ad1:a8df) (Remote host closed the connection)
2020-09-22 22:19:06 → eric joins (~eric@2804:431:c7d4:b4fa:173:5d88:9ad1:a8df)
2020-09-22 22:22:02 → jespada joins (~jespada@90.254.241.6)
2020-09-22 22:22:48 → falafel joins (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a)
2020-09-22 22:23:32 × eric quits (~eric@2804:431:c7d4:b4fa:173:5d88:9ad1:a8df) (Ping timeout: 260 seconds)
2020-09-22 22:24:18 <cr0ssw1nd> f :: (Monad m) => m [SomeType]
2020-09-22 22:24:22 <cr0ssw1nd> f = ... g ...
2020-09-22 22:24:26 <cr0ssw1nd> where
2020-09-22 22:24:39 <cr0ssw1nd> g :: AnotherType -> m SomeType
2020-09-22 22:25:08 <cr0ssw1nd> how to make `g` use the same type variable `m` as in `f`? instead of new `m1`
2020-09-22 22:25:40 → justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311)
2020-09-22 22:26:19 → alp joins (~alp@2a01:e0a:58b:4920:70da:fbd3:2228:5773)
2020-09-22 22:26:37 → thir joins (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de)
2020-09-22 22:26:39 <monochrom> One way is you don't give g a type signature at all.
2020-09-22 22:26:53 <monochrom> But if it's important to give g a type signature:
2020-09-22 22:27:04 <monochrom> Step 1: Turn on ScopedTypeVariables
2020-09-22 22:27:33 <monochrom> Step 2: f :: forall m . (Monad m) => m [SomeType]
2020-09-22 22:27:47 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
←Prev  Next→
Page 1 .. 144 145 146 147 148 149 150 151 152 153 154 .. 5022

All times are in UTC.