Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 4825 4826 4827 4828 4829 4830 4831 4832 4833 4834 4835 .. 5022
— 502,152 events total
2021-05-11 07:03:26 × mikeplus32 quits (~mike@103.25.58.152) (Ping timeout: 240 seconds)
2021-05-11 07:03:43 → mikeplus32 joins (~mike@2406:d500:6:1:216:3cff:fe36:651)
2021-05-11 07:04:58 → nut joins (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-05-11 07:09:54 × Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 265 seconds)
2021-05-11 07:10:09 → LKoen joins (~LKoen@156.168.9.109.rev.sfr.net)
2021-05-11 07:13:15 × pmj quits (~pmj@p4fe156fa.dip0.t-ipconnect.de) (Quit: WeeChat 3.1)
2021-05-11 07:13:29 → pmj joins (~pmj@p4fe156fa.dip0.t-ipconnect.de)
2021-05-11 07:18:13 → chimera joins (~chimera@168-182-134-95.pool.ukrtel.net)
2021-05-11 07:20:07 × sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
2021-05-11 07:20:29 → sord937 joins (~sord937@gateway/tor-sasl/sord937)
2021-05-11 07:20:56 → undvrainbowvita8 joins (~egp_@128-71-13-3.broadband.corbina.ru)
2021-05-11 07:21:13 × tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2021-05-11 07:22:01 × Shuppiluliuma quits (~shuppilul@153.33.68.161) (Ping timeout: 252 seconds)
2021-05-11 07:22:02 × Sgeo quits (~Sgeo@ool-18b9875e.dyn.optonline.net) (Read error: Connection reset by peer)
2021-05-11 07:24:23 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-05-11 07:26:06 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2021-05-11 07:27:08 → Feuermagier_ joins (~Feuermagi@213.178.26.41)
2021-05-11 07:29:23 → Aquazi joins (uid312403@gateway/web/irccloud.com/x-osjrsukrhwhmjnzf)
2021-05-11 07:30:07 × Feuermagier quits (~Feuermagi@2a02:2488:4211:3400:7285:c2ff:fe22:172e) (Ping timeout: 260 seconds)
2021-05-11 07:30:09 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-11 07:32:03 × mjacob quits (~mjacob@unaffiliated/mjacob) (Read error: Connection reset by peer)
2021-05-11 07:32:38 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2021-05-11 07:32:56 → jgt_ joins (~jgt@92-247-237-116.spectrumnet.bg)
2021-05-11 07:33:56 → takuan joins (~takuan@178-116-218-225.access.telenet.be)
2021-05-11 07:36:20 × Feuermagier_ quits (~Feuermagi@213.178.26.41) (Remote host closed the connection)
2021-05-11 07:36:38 → Feuermagier_ joins (~Feuermagi@213.178.26.41)
2021-05-11 07:37:23 → wonko7 joins (~wonko7@62.115.229.50)
2021-05-11 07:37:27 hackage hackage-db 2.1.1 - Access cabal-install's Hackage database via Data.Map https://hackage.haskell.org/package/hackage-db-2.1.1 (PeterSimons)
2021-05-11 07:37:49 → mjacob joins (~mjacob@unaffiliated/mjacob)
2021-05-11 07:39:21 × chimera quits (~chimera@168-182-134-95.pool.ukrtel.net) (Quit: Konversation terminated!)
2021-05-11 07:45:06 × stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds)
2021-05-11 07:45:55 → nineonin_ joins (~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a)
2021-05-11 07:47:27 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-11 07:49:03 × nineonine quits (~nineonine@50.216.62.2) (Ping timeout: 265 seconds)
2021-05-11 07:51:33 → elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-05-11 07:51:36 × nut quits (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 268 seconds)
2021-05-11 07:52:02 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds)
2021-05-11 07:52:27 × Feuermagier_ quits (~Feuermagi@213.178.26.41) (Quit: Leaving)
2021-05-11 07:52:37 → Feuermagier joins (~Feuermagi@213.178.26.41)
2021-05-11 07:56:16 × cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.1)
2021-05-11 07:57:09 → cfricke joins (~cfricke@unaffiliated/cfricke)
2021-05-11 07:58:00 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-05-11 07:58:14 → makalu joins (~makalu@86-82-191-90.dyn.estpak.ee)
2021-05-11 07:58:41 → stree joins (~stree@68.36.8.116)
2021-05-11 08:00:58 × nineonin_ quits (~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a) (Remote host closed the connection)
2021-05-11 08:01:02 <makalu> If act :: m (a, b) then with lenses I can get the first value using (^. _1) <$> act. Is there an operator for this?
2021-05-11 08:01:06 → __monty__ joins (~toonn@unaffiliated/toonn)
2021-05-11 08:02:59 <dminuoso> No.
2021-05-11 08:03:29 <dminuoso> The only variants of this style exist for MonadState
2021-05-11 08:04:13 → nineonine joins (~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a)
2021-05-11 08:04:25 <dminuoso> %=, %~, etc
2021-05-11 08:05:36 → kritzefitz joins (~kritzefit@p200300ecdf3c5b009ca7d9f9eb7bbe17.dip0.t-ipconnect.de)
2021-05-11 08:06:21 <makalu> Thank you.
2021-05-11 08:06:57 hackage yesod-core 1.6.20 - Creation of type-safe, RESTful web applications. https://hackage.haskell.org/package/yesod-core-1.6.20 (MichaelSnoyman)
2021-05-11 08:08:00 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-05-11 08:08:33 <ski> @type (undefined :: IO (Int,Bool)) <&> (^. _1)
2021-05-11 08:08:34 <lambdabot> IO Int
2021-05-11 08:08:58 × nineonine quits (~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a) (Ping timeout: 276 seconds)
2021-05-11 08:09:09 × hendursa1 quits (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds)
2021-05-11 08:10:31 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-11 08:10:51 × kritzefitz quits (~kritzefit@p200300ecdf3c5b009ca7d9f9eb7bbe17.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2021-05-11 08:11:10 → kritzefitz joins (~kritzefit@2003:5b:203b:200::10:49)
2021-05-11 08:11:53 <Axman6> % :T mapped
2021-05-11 08:11:54 <yahb> Axman6: unknown command ':T'; use :? for help.
2021-05-11 08:11:57 <Axman6> % :t mapped
2021-05-11 08:11:57 <yahb> Axman6: (Settable f1, Functor f2) => (a -> f1 b) -> f2 a -> f1 (f2 b)
2021-05-11 08:12:09 <Axman6> :t mapped . _1
2021-05-11 08:12:11 <lambdabot> (Settable f1, Field1 a1 b1 a2 b2, Functor f2) => (a2 -> f1 b2) -> f2 a1 -> f1 (f2 b1)
2021-05-11 08:12:31 <Axman6> :t (undefined :: IO (Int, Book)) ^. mapped . _1
2021-05-11 08:12:32 <lambdabot> error:
2021-05-11 08:12:32 <lambdabot> Not in scope: type constructor or class ‘Book’
2021-05-11 08:12:32 <lambdabot> Perhaps you meant ‘Bool’ (imported from Data.Bool)
2021-05-11 08:12:38 → hendursa1 joins (~weechat@gateway/tor-sasl/hendursaga)
2021-05-11 08:12:40 <Axman6> :t (undefined :: IO (Int, Bool)) ^. mapped . _1
2021-05-11 08:12:41 <lambdabot> error:
2021-05-11 08:12:41 <lambdabot> • No instance for (Settable (Const Int))
2021-05-11 08:12:41 <lambdabot> arising from a use of ‘mapped’
2021-05-11 08:13:04 <Axman6> uh, no, of course that won't work
2021-05-11 08:14:40 <makalu> Thanks for trying though :D. I went with ski's variant.
2021-05-11 08:15:22 × makalu quits (~makalu@86-82-191-90.dyn.estpak.ee) (Quit: Leaving)
2021-05-11 08:15:39 × jules_ quits (~jules@ip201.ip-135-125-227.eu) (Ping timeout: 268 seconds)
2021-05-11 08:16:07 → minoru_shiraeesh joins (~shiraeesh@109.166.58.80)
2021-05-11 08:16:49 → jules_ joins (~jules@ip201.ip-135-125-227.eu)
2021-05-11 08:17:14 × chris__ quits (~chris@81.96.113.213) (Remote host closed the connection)
2021-05-11 08:17:32 → fendor joins (~fendor@178.165.129.215.wireless.dyn.drei.com)
2021-05-11 08:18:46 → nut joins (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-05-11 08:20:16 × Feuermagier quits (~Feuermagi@213.178.26.41) (Read error: Connection reset by peer)
2021-05-11 08:21:19 × koz_ quits (~koz@121.99.240.58) (Quit: ZNC 1.7.5 - https://znc.in)
2021-05-11 08:22:57 hackage css-easings 0.2.1.0 - Defining and manipulating css easing strings. https://hackage.haskell.org/package/css-easings-0.2.1.0 (wvanonsem90)
2021-05-11 08:23:40 → Feuermagier joins (~Feuermagi@213.178.26.41)
2021-05-11 08:23:53 × Maxdamantus quits (~Maxdamant@unaffiliated/maxdamantus) (Ping timeout: 240 seconds)
2021-05-11 08:24:57 → Maxdamantus joins (~Maxdamant@unaffiliated/maxdamantus)
2021-05-11 08:25:10 → koz joins (~koz@121.99.240.58)
2021-05-11 08:28:17 × howdoi quits (uid224@gateway/web/irccloud.com/x-myfgsmhxtksfsmql) (Quit: Connection closed for inactivity)
2021-05-11 08:29:07 × minoru_shiraeesh quits (~shiraeesh@109.166.58.80) (Ping timeout: 252 seconds)
2021-05-11 08:29:42 → malumore joins (~malumore@151.62.117.210)
2021-05-11 08:32:40 → acidjnk_new2 joins (~acidjnk@p200300d0c72b9550002dc6dbf76c6cb5.dip0.t-ipconnect.de)
2021-05-11 08:36:08 × esph quits (~weechat@unaffiliated/esph) (Ping timeout: 246 seconds)
2021-05-11 08:36:27 × winny quits (~winny@fsf/member/winstonw) (Ping timeout: 246 seconds)
2021-05-11 08:38:44 × berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 245 seconds)
←Prev  Next→
Page 1 .. 4825 4826 4827 4828 4829 4830 4831 4832 4833 4834 4835 .. 5022

All times are in UTC.