Logs: freenode/#haskell

←Prev Next→

Page 1 .. 357 358 359 360 361 362 363 364 365 366 367 .. 5022

— 502,152 events total

2020-10-01 23:12:56	<koz_>	:t maybe empty pure
2020-10-01 23:12:57	<lambdabot>	Alternative f => Maybe a -> f a
2020-10-01 23:13:41	<koz_>	@hoogle Alternative f => Maybe a -> f a
2020-10-01 23:13:42	<lambdabot>	Control.Effect.NonDet oneOf :: (Foldable t, Alternative m) => t a -> m a
2020-10-01 23:13:42	<lambdabot>	Generic.Data.Internal.Utils coerce' :: Coercible (f x) (g x) => f x -> g x
2020-10-01 23:13:42	<lambdabot>	Control.Effect.Lift sendM :: (Has (Lift n) sig m, Functor n) => n a -> m a
2020-10-01 23:15:14	×	shafox quits (~shafox@106.51.234.111) (Remote host closed the connection)
2020-10-01 23:16:38	<hpc>	maybe something with fold/traverse?
2020-10-01 23:17:25	<koz_>	I might just write a combinator of my own.
2020-10-01 23:17:53	<koz_>	alternatively :: Alternative f => Maybe a -> f a
2020-10-01 23:17:55	×	chele quits (~chele@ip5b416ea2.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2020-10-01 23:19:27	hackage	unordered-containers 0.2.13.0 - Efficient hashing-based container types https://hackage.haskell.org/package/unordered-containers-0.2.13.0 (sjakobi)
2020-10-01 23:20:27	×	merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-10-01 23:21:33	×	qzo quits (~qzo@c-73-229-59-252.hsd1.co.comcast.net) (Ping timeout: 265 seconds)
2020-10-01 23:22:31	×	conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-01 23:26:57	<ski>	@type foldr ((<\|>) . pure) empty
2020-10-01 23:26:58	<lambdabot>	(Foldable t, Alternative f) => t a -> f a
2020-10-01 23:28:03	<hpc>	yep, that's it
2020-10-01 23:28:19	→	mrchampion joins (~mrchampio@216-211-57-41.dynamic.tbaytel.net)
2020-10-01 23:29:26	→	conal joins (~conal@64.71.133.70)
2020-10-01 23:32:22	<ski>	@. hoogle type (asum .) . fmap -- from before
2020-10-01 23:32:25	<lambdabot>	Util altMap :: (Alternative p, Foldable f) => (a -> p b) -> f a -> p b
2020-10-01 23:32:25	<lambdabot>	Relude.Foldable.Fold asumMap :: forall b m f a . (Foldable f, Alternative m) => (a -> m b) -> f a -> m b
2020-10-01 23:32:25	<lambdabot>	Control.Effect.NonDet foldMapA :: (Foldable t, Alternative m) => (a -> m b) -> t a -> m b
2020-10-01 23:33:51	×	mirrorbird quits (~psutcliff@2a00:801:42a:82eb:6edc:4c78:a574:2a8f) (Ping timeout: 272 seconds)
2020-10-01 23:39:38	×	son0p quits (~son0p@181.136.122.143) (Quit: Lost terminal)
2020-10-01 23:40:48	×	xerox_ quits (~xerox@unaffiliated/xerox) (Ping timeout: 258 seconds)
2020-10-01 23:42:01	→	snakemasterflex joins (~snakemast@213.100.206.23)
2020-10-01 23:43:07	×	thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 244 seconds)
2020-10-01 23:44:27	→	nbloomf joins (~nbloomf@2600:1700:83e0:1f40:7d12:c491:8a2c:d3a6)
2020-10-01 23:45:19	×	elliott_ quits (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2020-10-01 23:47:01	×	snakemasterflex quits (~snakemast@213.100.206.23) (Ping timeout: 264 seconds)
2020-10-01 23:47:16	→	elliott_ joins (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net)
2020-10-01 23:48:45	×	irc_user quits (uid423822@gateway/web/irccloud.com/x-ekikuzxknoijafbq) (Quit: Connection closed for inactivity)
2020-10-01 23:53:47	×	elliott_ quits (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
2020-10-01 23:54:14	→	merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-01 23:54:57	×	thonkpod quits (~thonkpod@2001:19f0:ac01:b46:5400:1ff:fec7:d73d) (.net .split)
2020-10-01 23:54:57	×	entel quits (uid256215@botters/entel) (.net .split)
2020-10-01 23:54:57	×	eacameron quits (sid256985@gateway/web/irccloud.com/x-kpwlorbysgtnxhte) (.net .split)
2020-10-01 23:54:57	×	liff quits (liff@kapsi.fi) (.net .split)
2020-10-01 23:54:57	×	PotatoHatsue quits (berbermanp@gateway/shell/matrix.org/x-lcuapfbpkatzswxh) (.net .split)
2020-10-01 23:54:57	×	glowcoil quits (sid3405@gateway/web/irccloud.com/x-thsriowqmdkgjing) (.net .split)
2020-10-01 23:54:57	×	PoliticsII____ quits (sid193551@gateway/web/irccloud.com/x-nvfqluymqsvazvtl) (.net .split)
2020-10-01 23:54:57	×	koankeeper quits (sid216950@gateway/web/irccloud.com/x-zrkqcymdfzqfjfqv) (.net .split)
2020-10-01 23:54:57	×	dequbed quits (~dequbed@yanduxian.paranoidlabs.org) (.net .split)
2020-10-01 23:54:57	×	simony quits (sid226116@gateway/web/irccloud.com/x-ebcflagagczxghjj) (.net .split)
2020-10-01 23:54:57	×	teehemkay quits (sid14792@gateway/web/irccloud.com/x-xjwybgbmcxfolzwh) (.net .split)
2020-10-01 23:54:57	×	benwr__ quits (sid372383@gateway/web/irccloud.com/x-ehohzcwkyjbzpbwl) (.net .split)
2020-10-01 23:54:57	×	miklcct quits (quasselcor@2001:19f0:7001:5ad:5400:2ff:feb6:50d7) (.net .split)
2020-10-01 23:54:57	×	mpickering quits (sid78412@gateway/web/irccloud.com/x-ugziboqyrxfitrmv) (.net .split)
2020-10-01 23:54:57	×	nlofaro quits (sid258233@gateway/web/irccloud.com/x-etxlydyigzmwkiap) (.net .split)
2020-10-01 23:54:57	×	angerman quits (sid209936@gateway/web/irccloud.com/x-kbnupcpypxlxxlnc) (.net .split)
2020-10-01 23:54:57	×	unlink__ quits (~unlink2@p200300ebcf25bd0068eb9d9c94da2a17.dip0.t-ipconnect.de) (.net .split)
2020-10-01 23:54:57	×	srid quits (sridmatrix@gateway/shell/matrix.org/x-zqttickmrfyduksr) (.net .split)
2020-10-01 23:54:57	×	michaelpj1 quits (michaelpjm@gateway/shell/matrix.org/x-bmrqrkqdmdnabvkc) (.net .split)
2020-10-01 23:54:57	×	johnnyboy[m] quits (gifumatrix@gateway/shell/matrix.org/x-xczqbcixpmjhwvre) (.net .split)
2020-10-01 23:54:57	×	chreekat[m] quits (chreekatma@gateway/shell/matrix.org/x-umxlgtkybcwevjvb) (.net .split)
2020-10-01 23:54:57	×	lambdaclan quits (lambdaclan@gateway/shell/matrix.org/x-rosqvrjyauthsfym) (.net .split)
2020-10-01 23:54:57	×	io_r_us[m] quits (commandlin@gateway/shell/matrix.org/x-kjrwesnzoyenqgzx) (.net .split)
2020-10-01 23:54:57	×	barrucadu quits (~barrucadu@fsf/member/barrucadu) (.net .split)
2020-10-01 23:54:57	×	bcoppens_ quits (~bartcopp@vpn2.bartcoppens.be) (.net .split)
2020-10-01 23:54:57	×	noteness quits (~noteness@unaffiliated/nessessary129) (.net .split)
2020-10-01 23:54:57	×	opqdonut quits (opqdonut@pseudo.fixme.fi) (.net .split)
2020-10-01 23:54:57	×	Velpoman quits (~Velpoman@159.65.76.124) (.net .split)
2020-10-01 23:54:57	×	dixie quits (~dixie@real.wilbury.sk) (.net .split)
2020-10-01 23:54:57	×	uwap quits (~uwap@genja.uwap.name) (.net .split)
2020-10-01 23:57:10	→	barzo joins (~sosal@95.70.249.57)
2020-10-01 23:58:15	→	elliott_ joins (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net)
2020-10-01 23:59:42	×	merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-10-02 00:00:01	×	fajro quits (~fajro@193.56.252.210) ()
2020-10-02 00:00:27	×	alp quits (~alp@2a01:e0a:58b:4920:550:ea71:7853:65d0) (Ping timeout: 272 seconds)
2020-10-02 00:02:59	×	ystael quits (~ystael@209.6.50.55) (Ping timeout: 272 seconds)
2020-10-02 00:03:44	→	jedws joins (~jedws@121.209.139.222)
2020-10-02 00:05:49	→	thonkpod joins (~thonkpod@2001:19f0:ac01:b46:5400:1ff:fec7:d73d)
2020-10-02 00:05:49	→	entel joins (uid256215@botters/entel)
2020-10-02 00:05:49	→	eacameron joins (sid256985@gateway/web/irccloud.com/x-kpwlorbysgtnxhte)
2020-10-02 00:05:49	→	liff joins (liff@kapsi.fi)
2020-10-02 00:05:49	→	PotatoHatsue joins (berbermanp@gateway/shell/matrix.org/x-lcuapfbpkatzswxh)
2020-10-02 00:05:49	→	glowcoil joins (sid3405@gateway/web/irccloud.com/x-thsriowqmdkgjing)
2020-10-02 00:05:49	→	PoliticsII____ joins (sid193551@gateway/web/irccloud.com/x-nvfqluymqsvazvtl)
2020-10-02 00:05:49	→	angerman joins (sid209936@gateway/web/irccloud.com/x-kbnupcpypxlxxlnc)
2020-10-02 00:05:49	→	dequbed joins (~dequbed@yanduxian.paranoidlabs.org)
2020-10-02 00:05:49	→	koankeeper joins (sid216950@gateway/web/irccloud.com/x-zrkqcymdfzqfjfqv)
2020-10-02 00:05:49	→	teehemkay joins (sid14792@gateway/web/irccloud.com/x-xjwybgbmcxfolzwh)
2020-10-02 00:05:49	→	simony joins (sid226116@gateway/web/irccloud.com/x-ebcflagagczxghjj)
2020-10-02 00:05:49	→	miklcct joins (quasselcor@2001:19f0:7001:5ad:5400:2ff:feb6:50d7)
2020-10-02 00:05:49	→	mpickering joins (sid78412@gateway/web/irccloud.com/x-ugziboqyrxfitrmv)
2020-10-02 00:05:49	→	benwr__ joins (sid372383@gateway/web/irccloud.com/x-ehohzcwkyjbzpbwl)
2020-10-02 00:05:49	→	nlofaro joins (sid258233@gateway/web/irccloud.com/x-etxlydyigzmwkiap)
2020-10-02 00:05:49	→	unlink__ joins (~unlink2@p200300ebcf25bd0068eb9d9c94da2a17.dip0.t-ipconnect.de)
2020-10-02 00:05:49	→	srid joins (sridmatrix@gateway/shell/matrix.org/x-zqttickmrfyduksr)
2020-10-02 00:05:49	→	michaelpj1 joins (michaelpjm@gateway/shell/matrix.org/x-bmrqrkqdmdnabvkc)
2020-10-02 00:05:49	→	johnnyboy[m] joins (gifumatrix@gateway/shell/matrix.org/x-xczqbcixpmjhwvre)
2020-10-02 00:05:49	→	chreekat[m] joins (chreekatma@gateway/shell/matrix.org/x-umxlgtkybcwevjvb)
2020-10-02 00:05:49	→	lambdaclan joins (lambdaclan@gateway/shell/matrix.org/x-rosqvrjyauthsfym)
2020-10-02 00:05:49	→	io_r_us[m] joins (commandlin@gateway/shell/matrix.org/x-kjrwesnzoyenqgzx)
2020-10-02 00:05:49	→	barrucadu joins (~barrucadu@fsf/member/barrucadu)
2020-10-02 00:05:49	→	bcoppens_ joins (~bartcopp@vpn2.bartcoppens.be)
2020-10-02 00:05:49	→	noteness joins (~noteness@unaffiliated/nessessary129)
2020-10-02 00:05:49	→	opqdonut joins (opqdonut@pseudo.fixme.fi)

←Prev Next→

Page 1 .. 357 358 359 360 361 362 363 364 365 366 367 .. 5022

All times are in UTC.