2024/05/20

Newest at the top

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)
2024-05-20 15:12:02 +0200haveo(~weechat@pacamara.iuwt.fr)
2024-05-20 15:11:38 +0200haveo_(~weechat@pacamara.iuwt.fr) (Quit: WeeChat 4.2.1)
2024-05-20 15:06:51 +0200 <dmj`> unique within a record
2024-05-20 15:04:30 +0200 <dmj`> https://hackage.haskell.org/package/generic-lens-2.2.2.0/docs/Data-Generics-Product-Typed.html
2024-05-20 15:04:13 +0200 <dmj`> markasoftware_: generic-lens has a getTyped accessor (myUser ^. typed @EmailAddress), some limitations though, the types /have/ to be unique.