Newest at the top
| 2025-06-22 02:12:58 +0200 | <hololeap> | yeah, I realized I have to choose the Any or All monoids because mempty also needs to be defined |
| 2025-06-22 02:12:06 +0200 | <yahb2> | let foo :: Applicative i => [a -> i Bool] -> (a -> i Bool); foo fs x = getAll <$> getAp (foldMap (Ap . (All <$>) . ($ x)) fs) in foo ; :: Applicative i => [a -> i Bool] -> a -> i Bool |
| 2025-06-22 02:12:06 +0200 | <ski> | % :t let foo :: Applicative i => [a -> i Bool] -> (a -> i Bool); foo fs x = getAll <$> getAp (foldMap (Ap . (All <$>) . ($ x)) fs) in foo |
| 2025-06-22 02:11:58 +0200 | <yahb2> | let foo :: Applicative i => [a -> i Bool] -> (a -> i Bool); foo fs x = getAny <$> getAp (foldMap (Ap . (Any <$>) . ($ x)) fs) in foo ; :: Applicative i => [a -> i Bool] -> a -> i Bool |
| 2025-06-22 02:11:58 +0200 | <ski> | % :t let foo :: Applicative i => [a -> i Bool] -> (a -> i Bool); foo fs x = getAny <$> getAp (foldMap (Ap . (Any <$>) . ($ x)) fs) in foo |
| 2025-06-22 02:11:52 +0200 | <yahb2> | let foo :: (Applicative i,Monoid m) => [a -> i m] -> (a -> i m); foo fs x = getAp (foldMap (Ap . ($ x)) fs) in foo ; :: (Applicative i, Monoid m) => [a -> i m] -> a -> i m |
| 2025-06-22 02:11:52 +0200 | <ski> | % :t let foo :: (Applicative i,Monoid m) => [a -> i m] -> (a -> i m); foo fs x = getAp (foldMap (Ap . ($ x)) fs) in foo |
| 2025-06-22 02:09:56 +0200 | inline | (~inline@ip-005-146-196-202.um05.pools.vodafone-ip.de) Inline |
| 2025-06-22 02:08:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-22 02:08:06 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-22 02:05:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-22 02:05:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-22 02:03:33 +0200 | jespada | (~jespada@r190-133-49-105.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds) |
| 2025-06-22 01:58:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-22 01:58:23 +0200 | notzmv | (~umar@user/notzmv) (Ping timeout: 268 seconds) |
| 2025-06-22 01:58:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-22 01:53:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-22 01:53:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-22 01:52:10 +0200 | trickard_ | trickard |
| 2025-06-22 01:51:59 +0200 | <hololeap> | hmm... (Bool -> Bool -> Bool) -> [a -> m Bool] -> a -> m Bool |
| 2025-06-22 01:47:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-22 01:47:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-06-22 01:44:14 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-06-22 01:43:28 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2025-06-22 01:42:58 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds) |
| 2025-06-22 01:42:07 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-06-22 01:41:48 +0200 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-06-22 01:39:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-22 01:38:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-22 01:38:02 +0200 | sprotte24 | (~sprotte24@p200300d16f085b008008e72f4942b32e.dip0.t-ipconnect.de) |
| 2025-06-22 01:37:47 +0200 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2025-06-22 01:33:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-22 01:33:31 +0200 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-22 01:33:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-06-22 01:27:45 +0200 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2025-06-22 01:27:41 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
| 2025-06-22 01:27:32 +0200 | trickard | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-22 01:27:00 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2025-06-22 01:26:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-22 01:25:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-22 01:22:03 +0200 | arahael | (~arahael@user/arahael) (Ping timeout: 252 seconds) |
| 2025-06-22 01:20:14 +0200 | ystael | (~ystael@user/ystael) ystael |
| 2025-06-22 01:19:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-22 01:19:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-22 01:19:00 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-06-22 01:16:26 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
| 2025-06-22 01:14:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-22 01:13:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-22 01:11:55 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-22 01:10:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |