2024/05/20

Newest at the top

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)
2024-05-20 15:30:26 +0200 <ncf> wouldn't all the elements of the list be the same?
2024-05-20 15:29:47 +0200 <carbolymer> myFunction is polling some data source every 500ms, I guess it could be possible to do `[IO Thing]` ...
2024-05-20 15:28:28 +0200 <carbolymer> hmm, maybe [IO Thing] ...
2024-05-20 15:27:59 +0200 <carbolymer> it does
2024-05-20 15:27:54 +0200 <ncf> or does reading require IO
2024-05-20 15:27:38 +0200 <ncf> myFunction :: [Thing] ?
2024-05-20 15:25:42 +0200euleritian(~euleritia@77.22.252.56)
2024-05-20 15:25:21 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-05-20 15:25:20 +0200 <carbolymer> I have a function executing a callback function endlessly. The callback type should allow stopping of the processing. I'm wondering what's the best way to represent this type? e.g. https://bpa.st/N6HQ
2024-05-20 15:23:36 +0200ocra8(ocra8@user/ocra8) (Ping timeout: 256 seconds)
2024-05-20 15:23:33 +0200sayola(~sayola@ip-109-42-243-154.web.vodafone.de)
2024-05-20 15:20:10 +0200sayola(~sayola@ip-109-42-243-154.web.vodafone.de) (Read error: Connection reset by peer)
2024-05-20 15:20:06 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.1)