我想棧scalaz單子transfromers在Haskell的方式： statyReader :: (MonadReader Int m, MonadState Int m) => m Int
階： def statyReader[F[_]](implicit r: MonadReader[F, Int], s: MonadState[F, Int]): F[Int] = for {
在這個片段y.run不typecheck。 object Test {
type StateStringTask[A] = StateStringT[Task, A]
type StateStringT[M[_], A] = StateT[M, String, A]
val x: Process[Task, Unit] = ???
val y: Pro
我想讀取用戶輸入的信息並將其解析爲類型Person，該類型使用Gender類型。要做到這一點，我用這個代碼： data Person = Person String Int Gender String
data Gender = Male | Female | NotSpecified deriving Read
instance Show Gender where
show Ma
我有這樣的全局狀態 type GlobalState a = State Int a
而是一個功能需要自己的本地狀態，並獲得了GlobalState type LocalState a = State [String] a
但我的最佳方式現在不確定要合併它們。 現在我只需要添加本地狀態到全球 type GlobalState a = State (Int, [String]) a
它工
考慮從一組可能的字符串中生成字符串的問題，這樣一旦選擇字符串，就不能再次重複。對於這個任務，我想使用QuickCheck的Gen函數。 如果我看看我正在編寫的函數的類型，它看起來非常像狀態monad。由於我正在使用另一個monad，即Gen，在州monad中。我使用StateT寫了我的第一次嘗試。 arbitraryStringS :: StateT GenState Gen String
ar
內由於我有以下的DSL（使用免費單子）及其解釋Memoising： data MyDslF next =
GetThingById Int (Thing -> next)
| Log Text next
type MyDslT = FT MyDslF
runMyDsl :: (MonadLogger m, MonadIO m, MonadCatch m) => MyDs