PureScriptのRecord型俯瞰
概念が多くてわからなくなってきたので俯瞰するページ
JSのobjectのような、Record型
Recordのfieldを表す型
任意のRow型 Row Type を、 RowList 型に変換する
RowToList row list
こういう感じ RowToList :: ∀ k. Row k -> RowList k
property名、propertyの型を要素に持った、型レベルのList
tsのイメージ {hoge: string, piyo: number} みたいな？
ListToRow list row
こういう感じ ListToRow :: ∀ k. RowList k -> Row k
型制約って順序関係ある？
ちゃんと確認してないがたぶんある
RowPlymorphism
Row型を扱うmodule
良い感じの型クラスが4つほど定義されている
RowListを扱うmodule
以下のものなどを含む
RProxy が定義されている
以下のものなどを含む
Prim.RowList からのre export
RowList型、RowToList型クラスなど
最初から入っている
typelevel-preludeをinstallする必要がある