標簽[haskell-polysemy] - 堆棧內存溢出

[英]Haskell/Polysemy print to StdOut

我正在使用 Haskell 的 Polysemy 庫，並且在嘗試打印到 StdOut 時非常頭疼。這是我的代碼：apiServer :: (Member Trace r, Member (Embed IO) r) => ServerT Api (Sem r) apiServer = test ...

如何在 Haskell Polysemy 中修改 Reader 效果的類型？

[英]How to modify the type of a Reader effect in Haskell Polysemy?

Reader效果提供了一種local方法，用於修改要在本地 scope 中讀取的值：傳遞給local的 function 不得更改數據的類型。我希望能夠避免這種限制，並有一個替代local可以修改讀取器值的類型。實現這一點的明顯方法是使用解釋器樣式的 function ，如下所示：這種方 ...

實現高階效果解釋器

[英]Implement higher-order effect interpreter

我正在嘗試實現高階效果的解釋器。我有一個基本效果： {-# LANGUAGE TemplateHaskell #-} {-# OPTIONS_GHC -fplugin=Polysemy.Plugin #-} module Hetchr.Commons.Cat where import Pol ...

無法提升下

[英]Unable to raiseUnder

我嘗試使用raiseUnder (with raiseUnder 1.6.0) 引入效果以使用其他解釋器，例如： {-# LANGUAGE TemplateHaskell #-} {-# OPTIONS_GHC -fplugin=Polysemy.Plugin #-} module Memoiza ...

如何將MTL風格、CPS風格的高階效果融入多義詞中？

[英]How to incorporate MTL-style, CPS-style higher-order effect into polysemy?

我正在轉換代碼庫以使用polysemy ，並且在將我對LFresh類型類的使用從unbound-generics轉換時遇到了麻煩。我需要的兩個操作都有簽名顯然是高階的。我想創建一個與LFresh類對應的效果，並通過unbound-generics提供的LFreshM monad 運行它。 ...

在多義中使用 pooledMapConcurrentlyN

[英]Using pooledMapConcurrentlyN in polysemy

我目前正在玩 Polysemy，重寫我的一個小玩具項目以適應它。我偶然發現了一段使用pooledMapConcurrentlyN的代碼，所以基本上是一個並行版本的有界並發遍歷。我可以將我的例子簡化為： foo :: Sem r Int foo = do res <- pooledMa ...

多義詞未檢測到成員

[英]polysemy does not detect a member

我試圖在一個多義詞的Sem Monad 中用 Hspec 編寫一堆語句，如下所示：在明確指定Storage Book Member ，出現以下錯誤：我不知道我能做些什么來幫助類型檢查器。 ...

在 Polysemy 中運行一次 NonDet 效果

[英]Running the NonDet effect once in Polysemy

我對 Polysemy 比較陌生，我正在努力思考如何正確使用NonDet 。具體來說，假設我有這個計算這是打印數字 100 的一種非常低效的方法，但它說明了我遇到的問題。現在，我只想在獲得第一次成功的情況下運行此效果。也就是說，我想運行這個效果足夠長的時間以“找到”數字 100 並打印它，然 ...

在 Polysemy 中將一元值轉換為 IO

[英]Converting a monadic value to an IO in Polysemy

我正在嘗試在polysemy中使用webdriver和 polysemy 構建一個自動化功能測試套件。我已經定義了適當的效果並將它們解釋為 webdriver WD monad，但現在我被卡住了。我有一個Member BrowserMaster r => Sem r ()類型的值，其中B ...

Hint.interpret 在 Polysemy.Sem 值上使用時會出現編譯器錯誤

[英]Hint.interpret gives a compiler error when used on a Polysemy.Sem value

我正在嘗試使用 Hint ( Language.Haskell.Interpreter ) 在運行時編譯Polysemy monad 值。當我嘗試這樣做時，我可靠地得到了一個錯誤:在“交互式”代碼中不正確使用:操作符；似乎傳遞給 GHC 的文本提示存在語法錯誤。 {-# LANGUAGE Da ...

將多個 IO 異常提取成多義詞

[英]Extracting multiple IO exceptions into polysemy

假設我有一些非常復雜的計算集，形式為computation:: IO a ，由於某些庫代碼或其他原因，我無法修改。假設我想提供一些類型級別的保證，保證我們在使用這些計算的過程中不能發射核導彈，所以我們使用polysemy並將所有這些都包裝到它自己的 DSL Library中。我們可以天真地解釋這 ...