関数や文字列なども自動的に変換してくれる。モナドに包まれている。関数を見てみよう(16行目)。cxt)こんな感じに、本当に普通の関数のように呼べる。インスタンスの値を仕舞っておく事が出来る。呼び出してやる必要がある。647行目以降にある。使って、状態を引き回すことになる。文脈を引数として引き回しているのが判ると思う。関数を見てみよう(438行目)。自分自身への矢印は円形を描く。反対向きの矢印がなければ、頂点の半径の分だけ間を開けて線を引く。反対向きの矢印があれば、更に15度ずつズラして線を引く。使って幾何の計算をしている。context.と叱られる。読み込むようにする必要がある。合うように書き換えると云う手段も取れるだろう。データ型の変換で注意する必要があるのが、文字列の取り扱いだ。文字列型にマップされている。書き換えたり、文字を集めてリストとして文字列を作ったときだ。関数を見てみよう(248行目)。ts)これは、クリックされた所にある矢印のリストを受け取って、それらを選択状態にする関数だ。選択したらその情報をテキストフィールドに反映する必要がある。あって文字列ではない。云う便利関数を定義して、これで変換している。ような形になってしまう。呼び出す形で定義している。使い方や幾何計算の説明になってしまうので、プログラムについてはこの辺りにしておく。使ってみた感想を書いてみたい。