内部状態はどこに保存しますか？

Question

レコードが初期化され、内部関数によってのみ更新されるときに、2つのフィールドが0であるレコードがあります。

どうすればこの問題を解決できますか？どこで内部状態を維持しますか？引数として0を入力し、それらのフィールドには触れないようにユーザーに依頼してください。

Answer 1

モジュールのタイプと機能を制限するには、モジュールのexposingキーワードを使用します。ただし、レコードタイプの個々のフィールドを非表示にすることはできません。まずはあなたがプライベート維持したいレコードの別名を定義してみましょう：

type alias InternalModel = 
    { foo : Int 
    , bar : Int 
    } 

まず第一に、我々は、値の内部を非表示にする方法が必要です。これは典型的には型を公開するが、コンストラクタは公開しないで行う。

module MyModule exposing (Model) 

type Model = Model InternalModel 

上記のコードは、外部モジュールは、見てみましょうか、すべてのInternalModel型パラメータと相互作用しないでしょう。このモジュールの外側にModelを作成することさえできません。ここで、新しいModelを作成し、その初期値をゼロに設定する関数を定義することができます。また、モジュールexposingリストを調整する必要があります（デフォルト設定ながら、ここで私は、外部モジュールは作成時にbarを設定してもらおうfooゼロ）：

module MyModule exposing (Model, newModel) 

newModel : Int -> Model 
newModel bar = 
    Model { foo = 0, bar = bar } 

あなたは「ゲッター」と「セッター」を公開したい場合フィールドの場合は、次のようにすることができます。

module MyModule exposing (Model, newModel, getFoo, setFoo) 

getFoo : Model -> Int 
getFoo (Model {foo}) = 
    foo 

setFoo : Int -> Model -> Model 
setFoo foo (Model model) = 
    Model { model | foo = foo }