Haskell

11 Jul 2025 15:14

doJailbreak хватило

Haskell

11 Jul 2025 15:06

error: Package ‘xml-lens-0.3.1’ in /nix/store/lxb3a59i0bncl2caq9bd39hkavjragjp-nixpkgs/nixpkgs/pkgs/development/haskell-modules/hackage-packages.nix:726426 is marked as broken, refusing to evaluate.

Haskell

11 Jul 2025 14:49

Тут зависимость только на unliftio-core, как я понял

Haskell

11 Jul 2025 14:47

ллм сделала как смогла

Haskell

11 Jul 2025 14:44

Не вижу ошибку https://play.haskell.org/saved/SMpH9EFd

Haskell

11 Jul 2025 14:42

Дерайвинг монад анлифт ио

Haskell

11 Jul 2025 14:41

Интересный результат

Haskell

11 Jul 2025 14:41

Попробовал еще другую ллм, вот результат https://claude.ai/public/artifacts/865ccbab-dca1-4898-8c3d-c7b50f0ea8db

Haskell

11 Jul 2025 14:34

Да, ты абсолютно прав, сейчас я всё поправлю…

Haskell

11 Jul 2025 14:33

@sand_witch Кажется ты задал MonadFail, а не MonadError

Haskell

11 Jul 2025 14:32

эта фигня, правда, на эррор не упадёт, а продолжит своё существование

Haskell

11 Jul 2025 14:31

Хорошо, но хотелось бы без хуйни

Haskell

11 Jul 2025 14:29

Спасибо, но констрейнт из библиотеки приехал

Haskell

11 Jul 2025 14:20

Ну пусть будет ExceptT

Haskell

11 Jul 2025 14:17

Какой нынче трансформер с MonadError в почёте?

Haskell

11 Jul 2025 15:14

broken=false; и форкни если не собирется, вроде не мертвая либа и активность контрибьютеров есть

Haskell

11 Jul 2025 15:03

А есть чё-нибудь линзовое для xml
кроме xml-lens ничего нет, и хорошо

Haskell

11 Jul 2025 14:49

С другой стороны так будет использоваться анлифтио, но без инвазивного катча

Haskell

11 Jul 2025 14:45

Но почему runInIO, если есть встроенный catch у анлифто?

Haskell

11 Jul 2025 14:43

Это ошибка компиляции

Haskell

11 Jul 2025 14:42

Это то, что я запросил

Haskell

11 Jul 2025 14:41

-- | A newtype wrapper that implements MonadError using IO exceptions
newtype ErrorT e m a = ErrorT { runErrorT :: m a }
  deriving (Functor, Applicative, Monad, MonadIO, MonadUnliftIO)

-- | Custom exception wrapper to hold our error type
data ErrorException e = ErrorException e
  deriving (Show, Eq, Typeable)

instance (Show e, Typeable e) => Exception (ErrorException e)

-- | MonadError instance that uses IO exceptions under the hood
instance (MonadUnliftIO m, Show e, Typeable e) => MonadError e (ErrorT e m) where
  throwError e = ErrorT $ liftIO $ throwIO (ErrorException e)
  
  catchError (ErrorT action) handler = ErrorT $ do
    withRunInIO $ \runInIO -> 
      runInIO action `catch` (\(ErrorException e) -> runInIO $ runErrorT $ handler e)

Haskell

11 Jul 2025 14:36

Всегда было интересно: по какому принципу разработчики библиотек ограничивают версии зависимых либ ? Просто ставят их между близкими major релизами ? (первое число версии, если я правильно понимаю)

Haskell

11 Jul 2025 14:33

Там же throwError и catchError

Haskell

11 Jul 2025 14:32

и выдаст в итоге фигню

Haskell

11 Jul 2025 14:32

Но сделает то, что ты хотел

Haskell

11 Jul 2025 14:31

newtype ToStderr a = MkToStderr {runToStderr :: a}
  deriving (Functor, Applicative, Monad) via Identity

instance MonadError ToStderr where
  fail = unsafePerformIO . hPutStrLn stderr

Haskell

11 Jul 2025 14:29

unsafePerformIO (hPutStrLn stderr msg)

Haskell

11 Jul 2025 14:18

(мне чисто ошибки в stderr сложить)

Haskell

11 Jul 2025 14:03

Шанс что из-за cabal-а высокий, болею за твою победу 😩