Mercurial > urweb
comparison src/settings.sig @ 2197:6eae499c56cb
New .urp directive: jsFile
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sat, 05 Dec 2015 12:04:06 -0500 |
parents | fb113569519e |
children | 6fb9232ade99 |
comparison
equal
deleted
inserted
replaced
2196:100352dbae36 | 2197:6eae499c56cb |
---|---|
286 val setFilePath : string -> unit | 286 val setFilePath : string -> unit |
287 (* Sets the directory where we look for files being added below. *) | 287 (* Sets the directory where we look for files being added below. *) |
288 | 288 |
289 val addFile : {Uri : string, LoadFromFilename : string} -> unit | 289 val addFile : {Uri : string, LoadFromFilename : string} -> unit |
290 val listFiles : unit -> {Uri : string, ContentType : string option, LastModified : Time.time, Bytes : Word8Vector.vector} list | 290 val listFiles : unit -> {Uri : string, ContentType : string option, LastModified : Time.time, Bytes : Word8Vector.vector} list |
291 | |
292 val addJsFile : string (* filename *) -> unit | |
293 val listJsFiles : unit -> {Filename : string, Content : string} list | |
291 end | 294 end |