generated at
2/18/2025, 1:05:32 PM
RowList型
from
PureScriptのRow型
RowList型
https://pursuit.purescript.org/packages/purescript-typelevel-prelude/6.0.0/docs/Type.RowList
https://github.com/justinwoo/awesome-rowlist
https://qiita.com/kimagure/items/6a9764966edd6cef497d