PureScriptのRouting
purescript-routing
Arrayでroutingを定義する
Parsecなどのparser combinatorの書き方に慣れてたら簡単
routing定義用のmoduleと、accessした際にeventを発火する用のmoduleを提供する
2021/8/28現在v10.0.1でメンテもされている
purescript-routing-duplex
recordを使ってroutingを定義する
interfaceにすごく拘っており、見た目の洗練したrouting定義ができる
文字列のpathと、pursのデータ型の相互変換をサポートする
access時のevent発火用のものは提供されていないので、purescript-routingのものと組み合わせて使う
2021/8/28現在v0.5.1で半年以上止まってはいる
purescript-halogen-realworldではこれを使ってる
Trout
purescript-boomboom
https://github.com/paluh/purescript-boomboom
purescript-cofree-react-router
https://github.com/coot/purescript-cofree-react-router
https://codersteve.dev/post/simple-routing/
小さいものを自作する
https://qiita.com/kimagure/items/bb9bd3e4ffe1bba4c214
https://speakerdeck.com/justinwoo/type-safe-routing-with-purescript-row-types
https://qiita.com/kimagure/items/4f5c6054870f631ff768