purescript-routing

A clean, type-safe routing library for PureScript.

client側のroutingの定義をする

以下の2つを提供する

applicative parsingするrouting定義用のmodule

各routingにアクセスしたときのevent発火させる用のmodule

2つ方法がある

hash base

push state

かなり親切でわかりやすい

web frameworkに依存しない小さなexample

with Halogen

Applicative parsingするrouting定義

そのためにApplicative parsingする

URLに使われる単語しかないのでparsingよりもかなりシンプル

例を見ればすぐ理解できる

code:purs(hs)

data MyRoute

= PostIndex

| Post PostId

| PostEdit PostId

| PostBrowse Int String

myRoute :: Match MyRoute

myRoute = oneOf

[ PostIndex <$ lit "posts" -- /posts

, Post <$> (lit "posts" *> int) -- /posts/:id

, PostEdit <$> (lit "posts" *> int) <* lit "edit" -- /posts/:postId/edit

, PostBrowse <$> (lit "posts" *> lit "browse" *> int) <*> str -- /posts/browse/:year/:month

]

code:purs(hs)

myRoute :: Match MyRoute

myRoute =

root *> lit "posts" *> oneOf

[ PostEdit <$> int <* lit "edit"

, Post <$> int

, PostBrowse <$> (lit "browse" *> int) <*> str

, pure PostIndex

] <* end

上からパターンマッチされていく

各routingにアクセスしたときのevent発火

Routing effects and events (Routing.Hash or Routing.PushState)

上で作ったRouterに対して、matchしたらevent発火するやつを作る

2種類ある

hash base

push state