| SMLDoc |
structure SourcePath :> SOURCE_PATH =
struct
type prefile = {context : dir, arcs : string list, err : string -> unit}
datatype dir =
CWD of {name : string, pp : prepath} | ROOT of string | DIR of file
datatype file = PATH of {context : dir, arcs : string list}
val cwd : unit -> dir
val pre : file -> prefile
val dir : file -> dir
val osstring : file -> string
val osstring_prefile : prefile -> string
val osstring_dir : dir -> string
val file : prefile -> file
val native
: {err : string -> unit} -> {context : dir, spec : string} -> prefile
val standard
: {err : string -> unit} -> {context : dir, spec : string} -> prefile
val extend : prefile -> string list -> prefile
val osstring_prefile_relative : prefile -> string
end
Type detail |
---|
type prefile = {context : dir, arcs : string list, err : string -> unit}
Datatype detail |
---|
datatype dir =
CWD of {name : string, pp : prepath} | ROOT of string | DIR of file
datatype file = PATH of {context : dir, arcs : string list}
DataConstructor detail |
---|
constructor CWD : {name : string, pp : prepath} -> dir
constructor ROOT : string -> dir
constructor PATH : {context : dir, arcs : string list} -> file
Value detail |
---|
val osstring_prefile : prefile -> string
val osstring_dir : dir -> string
val native : {err : string -> unit} -> {context : dir, spec : string} -> prefile
val standard
: {err : string -> unit} -> {context : dir, spec : string} -> prefile
val extend : prefile -> string list -> prefile
val osstring_prefile_relative : prefile -> string
| SMLDoc: Documentation generator for SML |