H.Component型

4つの型引数を取る

型

code:purs(hs)

data Component

(query :: Type -> Type)

(input :: Type)

(output :: Type)

(m :: Type -> Type)

4つの型引数を取る

query

is the query algebra; the requests that can be made of the component

親→子へのquery

Reactで言うと関数型のprops

指定しない場合は開いておく

tellとrequestの2種類ある

tell

親→子へ何かを実行するように命令する

request

親→子だが、子からの情報も必要とする

返り値を持っている　

code:purs(hs)

data Query a

= Tell a

| Request (Boolean -> a)

input

is the input value that will be received when the parent of this component renders

親から受けとる引数

reactでいうprops

親のstateが更新されるとinputも自動で更新される

静的propsなのか、動的propsなのかで、evalの指定が異なる

指定しない場合は開いておく

output

is the type of messages the component can raise

子→親へmessage送信

modalのclosing、formのsubmitなどのeventを通知

親が子をsubscriptionするために使う機構といった感じ

指定しない場合は開いておく

m

is the effect monad used during evaluation

指定しない場合は開いておく

逆は成り立たない