2024/12/25

Newest at the top

2024-12-25 18:28:50 +0100 <monochrom> LYAH was using this: https://hackage.haskell.org/package/mtl-1.1.1.1/docs/Control-Monad-State.html
2024-12-25 18:27:27 +0100 <monochrom> You are using this: https://hackage.haskell.org/package/mtl-2.3.1/docs/Control-Monad-State.html
2024-12-25 18:27:20 +0100 <Abhisek> Oh sorry, that is for Data.Sequence.Internal
2024-12-25 18:26:13 +0100 <Abhisek> Isn't https://hackage.haskell.org/package/containers-0.7/docs/src/Utils.Containers.Internal.State.html#S… the latest version ? It has "newtype State s a = State ..."
2024-12-25 18:24:33 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2024-12-25 18:24:13 +0100 <monochrom> The old versions had "newtype State s a = State ...". The new versions have "type State s = StateT s Identity". The data constructor is gone.
2024-12-25 18:23:25 +0100prasad(~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net)
2024-12-25 18:22:38 +0100 <monochrom> There was a refactoring.
2024-12-25 18:22:05 +0100 <Abhisek> Why does not the State from Control.Monad.State work? It has the same signature as in the https://learnyouahaskell.github.io/for-a-few-monads-more.html. It is defined in https://hackage.haskell.org/package/containers-0.7/docs/src/Utils.Containers.Internal.State.html#S…
2024-12-25 18:19:19 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-25 18:12:45 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-25 18:12:12 +0100JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2024-12-25 18:10:10 +0100 <monochrom> Example: pop = state (\(x:xs) -> (x,xs))
2024-12-25 18:09:11 +0100 <Abhisek>     push a = State $ \xs -> ((),a:xs)
2024-12-25 18:09:10 +0100 <Abhisek>     push :: Int -> State Stack ()
2024-12-25 18:09:10 +0100 <Abhisek>     pop = State $ \(x:xs) -> (x,xs)
2024-12-25 18:09:09 +0100 <Abhisek>     pop :: State Stack Int
2024-12-25 18:09:09 +0100 <Abhisek>     import Control.Monad.State
2024-12-25 18:09:08 +0100 <Abhisek> I am going through https://learnyouahaskell.github.io/for-a-few-monads-more.html. The State monad is changed in the newer version of haskell, or  it seems. Can you tell me how to work out
2024-12-25 18:06:36 +0100Abhisek(~Abhisek@106.221.206.15)
2024-12-25 17:59:45 +0100notzmv(~umar@user/notzmv) notzmv
2024-12-25 17:59:45 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-25 17:55:29 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-25 17:53:34 +0100CrunchyFlakes(~CrunchyFl@31.19.233.78)
2024-12-25 17:51:14 +0100CrunchyFlakes(~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-12-25 17:43:02 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-25 17:38:31 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-25 17:33:18 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2024-12-25 17:30:24 +0100tomboy64(~tomboy64@user/tomboy64) tomboy64
2024-12-25 17:28:34 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-25 17:25:08 +0100tomboy64(~tomboy64@user/tomboy64) (Ping timeout: 244 seconds)
2024-12-25 17:24:52 +0100gentauro(~gentauro@user/gentauro) gentauro
2024-12-25 17:22:57 +0100rekahsoft(~rekahsoft@76.69.85.220) (Remote host closed the connection)
2024-12-25 17:21:00 +0100gentauro(~gentauro@user/gentauro) (Ping timeout: 244 seconds)
2024-12-25 17:17:46 +0100toch(toch@user/toch) (K-Lined)
2024-12-25 17:16:17 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-12-25 17:14:14 +0100rekahsoft(~rekahsoft@76.69.85.220) rekahsoft
2024-12-25 17:11:44 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-25 17:10:08 +0100tomboy64(~tomboy64@user/tomboy64) tomboy64
2024-12-25 17:09:22 +0100rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection)
2024-12-25 17:05:42 +0100tomboy64(~tomboy64@user/tomboy64) (Ping timeout: 276 seconds)
2024-12-25 17:05:30 +0100rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) rekahsoft
2024-12-25 17:04:37 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
2024-12-25 17:00:45 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-12-25 16:58:44 +0100rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection)
2024-12-25 16:57:13 +0100meritamen(~meritamen@user/meritamen) (Quit: My Mac has gone to sleep. ZZZzzz…)
2024-12-25 16:56:32 +0100rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) rekahsoft
2024-12-25 16:55:43 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-25 16:50:38 +0100meritamen(~meritamen@user/meritamen) meritamen
2024-12-25 16:49:41 +0100tomboy64(~tomboy64@user/tomboy64) tomboy64