Я пытаюсь разрешить встраивание монады состояния в мою свободную монаду; вот моя простая попытка: {-# language FlexibleInstances, MultiParamTypeClasses #-} module Main where import Control.Monad.Free import Control.Monad.State import...

Я играю с Кошками и Free Monads , и я написал игрушечную алгебру службы REST и "программу" под названием ensureOneProduct . К сожалению, ensureOneProduct содержит больше стандартного кода, чем мне хотелось бы. Есть ли лучший способ написать...

Я пытаюсь построить абстрактное синтаксическое дерево, которое позволяет определение с использованием нотации монады do следующим образом: ast = do Variable uint8 "i" Function Void "f" $ do Variable uint8 "local_y"...

Мотивация: Чтобы иметь возможность управлять эффектами в MTL, как мы можем в стиле Free / Freer . Пример может быть немного надуманным — представьте себе программу с некоторыми базовыми операциями (GHC 8.2 с использованием freer-simple ),...

Я играю с freer-simple и пытаюсь понять, как комбинировать эффекты. У меня есть алгебра для представления простой файловой системы, и пользователь вызвал ошибку следующим образом: data FileSystem r where ReadFile :: Path a File ->...