Mercurial > urweb
annotate src/mono_fm.sig @ 2253:d665925acff8
Factor out [Monoize.Fm] to make it accessible to [Sqlcache].
| author | Ziv Scully <ziv@mit.edu> |
|---|---|
| date | Mon, 21 Sep 2015 14:54:07 -0400 |
| parents | |
| children |
| rev | line source |
|---|---|
| ziv@2253 | 1 signature MONO_FM = sig |
| ziv@2253 | 2 type t |
| ziv@2253 | 3 |
| ziv@2253 | 4 type vr = string * int * Mono.typ * Mono.exp * string |
| ziv@2253 | 5 |
| ziv@2253 | 6 datatype foo_kind = |
| ziv@2253 | 7 Attr |
| ziv@2253 | 8 | Url |
| ziv@2253 | 9 |
| ziv@2253 | 10 val empty : int -> t |
| ziv@2253 | 11 |
| ziv@2253 | 12 val lookup : t -> foo_kind -> int -> (int -> t -> vr * t) -> t * int |
| ziv@2253 | 13 val lookupList : t -> foo_kind -> Mono.typ -> (int -> t -> vr * t) -> t * int |
| ziv@2253 | 14 val enter : t -> t |
| ziv@2253 | 15 val decls : t -> Mono.decl list |
| ziv@2253 | 16 |
| ziv@2253 | 17 val freshName : t -> int * t |
| ziv@2253 | 18 |
| ziv@2253 | 19 (* TODO: don't expose raw references if possible. *) |
| ziv@2253 | 20 val nextPvar : int ref |
| ziv@2253 | 21 val postMonoize : t ref |
| ziv@2253 | 22 end |