Newest at the top
| 2024-11-10 23:41:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-10 23:36:55 +0100 | <int-e> | I forgot the sigil :P |
| 2024-11-10 23:36:31 +0100 | <lambdabot> | Alternative f => a -> f a -> f a |
| 2024-11-10 23:36:30 +0100 | <ncf> | :t \x xs -> pure x <|> xs |
| 2024-11-10 23:36:15 +0100 | <ncf> | oh yeah that's basically what Alternative is isn't it |
| 2024-11-10 23:36:14 +0100 | <lambdabot> | Alternative f => f a -> f a -> f a |
| 2024-11-10 23:36:13 +0100 | <int-e> | :t (<|>) |
| 2024-11-10 23:35:45 +0100 | <lambdabot> | MonadPlus m => m a -> m a -> m a |
| 2024-11-10 23:35:44 +0100 | <int-e> | :t mplus |
| 2024-11-10 23:35:29 +0100 | <ncf> | or semigroups |
| 2024-11-10 23:35:08 +0100 | <lambdabot> | (Semigroup (f a), Applicative f) => a -> f a -> f a |
| 2024-11-10 23:35:07 +0100 | <ncf> | :t \x xs -> pure x <> xs |
| 2024-11-10 23:34:59 +0100 | <ncf> | that makes sense for Applicatives valued in Monoids i guess |
| 2024-11-10 23:31:16 +0100 | pera | (~pera@user/pera) (Quit: leaving) |
| 2024-11-10 23:31:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-11-10 23:30:17 +0100 | <yin> | i was thinking of something more like `x :? xs = singleton x <> xs` |
| 2024-11-10 23:29:38 +0100 | misterfish | (~misterfis@31-161-39-137.biz.kpn.net) (Ping timeout: 252 seconds) |
| 2024-11-10 23:28:15 +0100 | <yin> | ah thta's noce |
| 2024-11-10 23:28:00 +0100 | <lambdabot> | Cons b b a a => a -> b -> b |
| 2024-11-10 23:27:59 +0100 | <ncf> | :t (:<) |
| 2024-11-10 23:27:43 +0100 | <ncf> | Cons exists https://hackage.haskell.org/package/lens-5.3.2/docs/Control-Lens-Combinators.html#t:Cons |
| 2024-11-10 23:27:09 +0100 | <yin> | i'm thinking for Foldable but i understand that wouldn't be right |
| 2024-11-10 23:26:54 +0100 | <lambdabot> | a -> [a] -> [a] |
| 2024-11-10 23:26:53 +0100 | <sshine> | :t (:) |
| 2024-11-10 23:26:38 +0100 | <yin> | is there a generalization of (:) ? |
| 2024-11-10 23:25:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-10 23:16:12 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-11-10 23:12:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-10 23:11:22 +0100 | CoolMa7 | (~CoolMa7@95.91.137.87) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2024-11-10 23:07:16 +0100 | halloy6033 | (~halloy603@a89-152-101-97.cpe.netcabo.pt) |
| 2024-11-10 23:05:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-10 23:00:51 +0100 | ljdarj1 | ljdarj |
| 2024-11-10 23:00:49 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2024-11-10 22:58:33 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-11-10 22:56:27 +0100 | Guest30 | (~Guest30@2a01:cb19:a0f:df00:9123:e7e6:8a15:d31) (Client Quit) |
| 2024-11-10 22:55:06 +0100 | Guest30 | (~Guest30@2a01:cb19:a0f:df00:9123:e7e6:8a15:d31) |
| 2024-11-10 22:54:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-11-10 22:52:28 +0100 | anpad | (~pandeyan@user/anpad) anpad |
| 2024-11-10 22:49:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-10 22:47:59 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2024-11-10 22:47:55 +0100 | pandeyan | (~pandeyan@135-180-52-227.fiber.dynamic.sonic.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-11-10 22:39:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-10 22:37:52 +0100 | CoolMa7 | (~CoolMa7@95.91.137.87) CoolMa7 |
| 2024-11-10 22:37:02 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 255 seconds) |
| 2024-11-10 22:34:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-10 22:29:44 +0100 | michalz | (~michalz@185.246.207.221) |
| 2024-11-10 22:24:26 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-11-10 22:23:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-10 22:18:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-10 22:14:47 +0100 | tv | (~tv@user/tv) tv |