スプレーの指示はどのように継続に対応していますか？

Question

スプレーの指示がcontinuation passing style (CPS)にどのように対応しているかわかりません。

具体的には、継続は（ハスケルで）(a -> r) -> rであるが、このタイプ（(a -> r) -> r）（Route->Routetype Route = RequestContext => Unitのタイプを持っている）、スプレーdirectivesを使用しているどこで見つけることができません。

nor Route->Routetype Route = RequestContext => Unitはどちらも同じように(a -> r) -> rと似ていますので、指示はどのようにCPSに関係していますか？

スプレーの指示書correspondを継承したスタイルにどのように表示することができますか？

Answer 1

指令は、その最も単純な形で、正確(a -> r) -> rある

abstract class Directive[L <: HList] { 
    def happly(f: L => Route): Route 
} 

として定義されます。スプレーdirectivesのマニュアルに記載されているのは、フードの下にDirectiveのインスタンスを構築する高レベルのDSLです。あなたは完全な定義をDirective.scala

で見ることができます