Mercurial > urweb

comparison src/settings.sig @ 768:3b7e46790fa7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Path rewriting
author Adam Chlipala <adamc@hcoop.net>
date Sat, 02 May 2009 13:23:07 -0400
parents df09c95085f8
children efceae06df17
comparison
equal deleted inserted replaced
767:d27ed5ddeb52 768:3b7e46790fa7
63 63
64 (* Which FFI functions may be run in JavaScript? (JavaScript function names included) *) 64 (* Which FFI functions may be run in JavaScript? (JavaScript function names included) *)
65 val setJsFuncs : (ffi * string) list -> unit 65 val setJsFuncs : (ffi * string) list -> unit
66 val jsFunc : ffi -> string option 66 val jsFunc : ffi -> string option
67 67
68 datatype pattern_kind = Exact | Prefix
69 datatype action = Allow | Deny
70 type rule = { action : action, kind : pattern_kind, pattern : string }
71
72 datatype path_kind = Any | Url | Table | Sequence | View | Relation | Cookie | Style
73 type rewrite = { pkind : path_kind, kind : pattern_kind, from : string, to : string }
74
75 (* Rules for rewriting URLs from canonical forms *)
76 val setRewriteRules : rewrite list -> unit
77 val rewrite : path_kind -> string -> string
78
68 end 79 end