Overview  Index  Help 
SMLDoc

SourcePath


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

Author:
(c) 2000 by Lucent Technologies, Bell Laboratories , Matthias Blume
Version:
$Id: StrSourcePath.html,v 1.9 2007/02/17 07:01:58 kiyoshiy Exp $

 
Type detail

prefile

type prefile = {context : dir, arcs : string list, err : string -> unit}

 
Datatype detail

dir

datatype dir =
         CWD of {name : string, pp : prepath} | ROOT of string | DIR of file


file

datatype file = PATH of {context : dir, arcs : string list}

 
DataConstructor detail

CWD

constructor CWD : {name : string, pp : prepath} -> dir


ROOT

constructor ROOT : string -> dir


DIR

constructor DIR : file -> dir


PATH

constructor PATH : {context : dir, arcs : string list} -> file

 
Value detail

cwd

val cwd : unit -> dir


pre

val pre : file -> prefile


dir

val dir : file -> dir


osstring

val osstring : file -> string


osstring_prefile

val osstring_prefile : prefile -> string


osstring_dir

val osstring_dir : dir -> string


file

val file : prefile -> file


native

val native : {err : string -> unit} -> {context : dir, spec : string} -> prefile


standard

val standard
    : {err : string -> unit} -> {context : dir, spec : string} -> prefile


extend

val extend : prefile -> string list -> prefile


osstring_prefile_relative

val osstring_prefile_relative : prefile -> string

 


Overview  Index  Help 
SMLDoc: Documentation generator for SML