Overview  Index  Help 
SMLDoc

SOURCE_PATH

All Known Implementing Modules:

SourcePath


signature SOURCE_PATH =
sig
  type file
  type dir
  type prefile
  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 file : prefile -> file
  val pre : file -> prefile
  val cwd : unit -> dir
  val dir : file -> dir
  val osstring : file -> string
  val osstring_prefile_relative : prefile -> string
  val osstring_dir : dir -> string
  val osstring_prefile : prefile -> string
end

Operations over abstract names for CM source files.

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

 
Type detail

file

type file


dir

type dir


prefile

type prefile

     
Value detail

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


file

val file : prefile -> file


pre

val pre : file -> prefile


cwd

val cwd : unit -> dir


dir

val dir : file -> dir


osstring

val osstring : file -> string


osstring_prefile_relative

val osstring_prefile_relative : prefile -> string


osstring_dir

val osstring_dir : dir -> string


osstring_prefile

val osstring_prefile : prefile -> string

 


Overview  Index  Help 
SMLDoc: Documentation generator for SML