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
この辺はmodule
Row型を扱うmodule
良い感じの型クラスが4つほど定義されている
RowListを扱うmodule
以下のものなどを含む
RProxyが定義されている
以下のものなどを含む
Prim.RowListからのre export
RowList型、RowToList型クラスなど
この辺は型
この辺は型クラス
最初から入っている
typelevel-preludeをinstallする必要がある