ローカルおよびグローバルな状態

Question

を結合するための最良の方法である私は、このグローバルな状態

type GlobalState a = State Int a 

が、1つの関数は、独自のローカル状態とのアクセスを必要としてい

type LocalState a = State [String] a 

しかし、私はよそれらを組み合わせることは今確かではありません。

今、私はちょうどそれが正常に動作しますが、私はそれが私が唯一の1つの関数に局所的な状態を必要とする右のためだとは思わないグローバル

type GlobalState a = State (Int, [String]) a 

にローカルな状態を追加します。 良い方法がありますか？

Answer 1

あなたは sで使用することができます：

type LocalState a = [String] 
type GlobalState a = [String] 
newtype MyState a = StateT GlobalState (State LocalState) a