2024/05/20

Newest at the top

2024-05-20 17:16:43 +0200mikess(~mikess@user/mikess)
2024-05-20 17:14:28 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-20 17:12:57 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-05-20 17:11:59 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-05-20 17:05:26 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-05-20 17:05:07 +0200euleritian(~euleritia@dynamic-176-006-180-037.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-05-20 17:04:25 +0200euleritian(~euleritia@dynamic-176-006-180-037.176.6.pool.telefonica.de)
2024-05-20 17:03:49 +0200euleritian(~euleritia@dynamic-176-006-180-037.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-05-20 16:57:49 +0200euleritian(~euleritia@dynamic-176-006-180-037.176.6.pool.telefonica.de)
2024-05-20 16:56:53 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds)
2024-05-20 16:56:17 +0200ocra8(ocra8@user/ocra8)
2024-05-20 16:48:40 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-20 16:42:17 +0200cptaffe(~cptaffe@user/cptaffe)
2024-05-20 16:38:44 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-20 16:36:51 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-05-20 16:36:11 +0200danse-nr3(~danse-nr3@151.57.192.203)
2024-05-20 16:36:10 +0200euleritian(~euleritia@77.22.252.56) (Read error: Connection reset by peer)
2024-05-20 16:34:33 +0200zetef(~quassel@5.2.182.99)
2024-05-20 16:20:12 +0200danse-nr3(~danse-nr3@151.57.192.203) (Ping timeout: 260 seconds)
2024-05-20 16:09:54 +0200fendor(~fendor@2a02:8388:1605:ce00:24e2:c141:1f86:a346) (Remote host closed the connection)
2024-05-20 16:06:34 +0200rvalue(~rvalue@user/rvalue)
2024-05-20 16:06:04 +0200rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2024-05-20 16:05:44 +0200B-J(~BenziJuni@232-148-209-31.dynamic.hringdu.is) ()
2024-05-20 16:04:34 +0200yin(~yin@user/zero)
2024-05-20 16:03:40 +0200B-J(~BenziJuni@232-148-209-31.dynamic.hringdu.is)
2024-05-20 16:00:30 +0200 <lambdabot> System.Process.Typed data StreamType
2024-05-20 16:00:30 +0200 <lambdabot> Streamly.Internal.Data.Stream.Serial type StreamT = SerialT
2024-05-20 16:00:30 +0200 <lambdabot> Streamly type StreamT = SerialT
2024-05-20 16:00:30 +0200 <carbolymer> @hoogle StreamT
2024-05-20 15:59:29 +0200 <carbolymer> I'm wondering if there's a datatype in hackage similar to `data Stream m a = StreamT (m a) (m (Stream m a))`
2024-05-20 15:57:27 +0200 <carbolymer> yeah maybe untilJust is a good idea
2024-05-20 15:41:16 +0200 <danse-nr3> well i was thinking of something like untilJust anyways
2024-05-20 15:39:48 +0200 <ncf> you can use /query to figure it out
2024-05-20 15:39:24 +0200 <yahb2> <no location info>: error: ; Could not find module ‘Control.Monad.Extra’ ; Perhaps you meant ; Control.Monad.Catch (from exceptions-0.10.5) ; Control.Monad.Error (from mtl-2.2.2...
2024-05-20 15:39:24 +0200 <danse-nr3> % import Control.Monad.Extra
2024-05-20 15:39:18 +0200 <danse-nr3> huh i forgot how to use the bots ...
2024-05-20 15:37:52 +0200 <lambdabot> <hint>:1:1: error: parse error on input ‘import’
2024-05-20 15:37:50 +0200 <danse-nr3> > import Control.Monad.Extra
2024-05-20 15:37:45 +0200 <danse-nr3> import Control.Monad.Extra
2024-05-20 15:37:05 +0200 <ncf> if so, you could just have poll :: IO Thing; then, given a callback :: Thing -> IO (Maybe x), you have untilJust (poll >>= callback) :: IO x
2024-05-20 15:36:53 +0200 <lambdabot> Language.C.Syntax While :: Exp -> Stm -> SrcLoc -> Stm
2024-05-20 15:36:53 +0200 <lambdabot> Development.NSIS while :: Exp Bool -> Action () -> Action ()
2024-05-20 15:36:53 +0200 <lambdabot> Sound.Tidal.UI while :: Pattern Bool -> (Pattern a -> Pattern a) -> Pattern a -> Pattern a
2024-05-20 15:36:53 +0200 <danse-nr3> @hoogle while
2024-05-20 15:36:40 +0200 <lambdabot> error: Variable not in scope: while
2024-05-20 15:36:39 +0200 <danse-nr3> :t while
2024-05-20 15:35:07 +0200haveo(~weechat@pacamara.iuwt.fr)
2024-05-20 15:33:47 +0200 <ncf> but in your use case, they're all doing the same polling action, right?
2024-05-20 15:33:05 +0200 <carbolymer> no because those are `IO Thing`, so each element can do whatever IO action it wants
2024-05-20 15:33:04 +0200haveo(~weechat@pacamara.iuwt.fr) (Quit: WeeChat 4.2.2)