servant

本文描述了在Haskell的servant-auth库基础上设计和实现的一种类型安全的基于角色的授权系统，该系统支持为每个角色设置不同的处理程序，并在编译时进行检查。