Overview  Index  Help 
SMLDoc

Elaborator


structure Elaborator : ELABORATOR =
struct
  type path = string list
  val addExternalType : (string * path) * ENVSet.ENVSet -> ENVSet.ENVSet
  val addExternalException : (string * path) * ENVSet.ENVSet -> ENVSet.ENVSet
  val addExternalStructure : (string * path) * ENVSet.ENVSet -> ENVSet.ENVSet
  val addExternalSignature : (string * path) * ENVSet.ENVSet -> ENVSet.ENVSet
  val addExternalFunctor : (string * path) * ENVSet.ENVSet -> ENVSet.ENVSet
  val addExternalFunctorSignature
      : (string * path) * ENVSet.ENVSet -> ENVSet.ENVSet
  val elaborate
      : DocumentGenerationParameter.parameter ->
          ENVSet.ENVSet ->
            AnnotatedAst.compileUnit list ->
              ENVSet.ENVSet * ElaboratedAst.compileUnit list
end

Author:
YAMATODANI Kiyoshi
Version:
$Id: StrElaborator.html,v 1.9 2007/02/17 07:01:58 kiyoshiy Exp $

 
Type detail

path

type path = string list

     
Value detail

addExternalType

val addExternalType : (string * path) * ENVSet.ENVSet -> ENVSet.ENVSet


addExternalException

val addExternalException : (string * path) * ENVSet.ENVSet -> ENVSet.ENVSet


addExternalStructure

val addExternalStructure : (string * path) * ENVSet.ENVSet -> ENVSet.ENVSet


addExternalSignature

val addExternalSignature : (string * path) * ENVSet.ENVSet -> ENVSet.ENVSet


addExternalFunctor

val addExternalFunctor : (string * path) * ENVSet.ENVSet -> ENVSet.ENVSet


addExternalFunctorSignature

val addExternalFunctorSignature
    : (string * path) * ENVSet.ENVSet -> ENVSet.ENVSet


elaborate

val elaborate
    : DocumentGenerationParameter.parameter ->
        ENVSet.ENVSet ->
          AnnotatedAst.compileUnit list ->
            ENVSet.ENVSet * ElaboratedAst.compileUnit list

elaboration.

This function does:

 


Overview  Index  Help 
SMLDoc: Documentation generator for SML