Module Dispatch.DSL

A module that implements the dispatch operations for a DLS represented as a string literal. A more familiar interface for the Web world.

type 'a route = string * (assoc -> string option -> 'a)

The type of a route using the DSL to specify the path pattern. For example, here are some DSL strings and their translation:

  # of_dsl "/";;
    = ([], `Exact)
  # of_dsl "/user/:id";;
    = ([`Lit, "user"; `Var, "id"], `Exact)
  # of_dsl "/user/:id/*";;
    = ([`Lit, "user"; `Var, "id"], `Prefix)
  # of_dsk "/user/:id/settings";;
    = ([`Lit, "user"; `Var, "id"; `Lit, "settings"], `Exact)
val dispatch : 'a route list -> string -> ('a, string) Result.result
val dispatch_exn : 'a route list -> string -> 'a