f# - 保护多个参数化页面

Question

示例站点项目模板显示了如何保护单个非参数化页面。我用谷歌搜索了一下，仔细阅读了 WebSharper 的网站等，但不知道如何保护多个参数化页面。有人可以向我展示或指出如何执行此操作的示例吗？

Answer 1

这个问题最近再次出现在FPish上。似乎有一个不需要大量重构的简单解决方案。它需要一个辅助功能：

module Sitelet =

  let Filter (ok: 'T -> bool) (sitelet: Sitelet<'T>) =
    let route req =
        match sitelet.Router.Route(req) with
        | Some x when ok x -> Some x
        | _ -> None
    let link action =
        if ok action then
            sitelet.Router.Link(action)
        else None
    { sitelet with Router = Router.New route link }

假设您有一个包含多个案例的 Action 类型，其中一些您想要保护，一些是公共的：

type Action =
    | Pub ..
    | Priv ..

过滤允许您在完整类型上使用方便的Infer组合子，然后安全地将受保护部分和公共部分相加。由于总和站点是从左到右尝试的，因此保护仅适用于需要的地方：

let s1 =
    Sitelet.Infer ..
    |> Sitelet.Protect
    |> Sitelet.Filter (function Priv _ -> true | _ -> false)
let s2 = Sitelet.Infer ..
Sitelet.Sum [s1; s2]

如果不进行过滤，受保护的站点将捕获所有请求。可能还有其他解决方案，包括将您的Action类型重构和拆分为多个子类型，或者在不使用Infer.