Overview  Index  Help 
SMLDoc

ENVSet


structure ENVSet =
struct
  structure AA = AnnotatedAst
  structure EA = ElaboratedAst
  datatype ENVSet =
           ENVSet of
           {
             structureENV : (string * EA.moduleReference * ENVSetlist,
             signatureENV : (string * EA.moduleReference * ENVSetlist,
             functorENV : (string * EA.moduleReference * ENVSetlist,
             functorSignatureENV : (string * EA.moduleReference * ENVSetlist,
             typeENV : (string * EA.moduleReferencelist,
             exceptionENV : (string * EA.moduleReferencelist,
             valENV : (string * AA.ty optionlist
           }
  val emptyENVSet
  val appendENVSet
  val bindVal
  val bindType
  val bindException
  val bindStructure
  val bindSignature
  val bindFunctor
  val bindFunctorSignature
  val bindModule
end

environment with module hierarchy.

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

   
Datatype detail

ENVSet

datatype ENVSet =
         ENVSet of
         {
           structureENV : (string * EA.moduleReference * ENVSetlist,
           signatureENV : (string * EA.moduleReference * ENVSetlist,
           functorENV : (string * EA.moduleReference * ENVSetlist,
           functorSignatureENV : (string * EA.moduleReference * ENVSetlist,
           typeENV : (string * EA.moduleReferencelist,
           exceptionENV : (string * EA.moduleReferencelist,
           valENV : (string * AA.ty optionlist
         }

 
DataConstructor detail

ENVSet

constructor ENVSet
            : {
                structureENV : (string * EA.moduleReference * ENVSetlist,
                signatureENV : (string * EA.moduleReference * ENVSetlist,
                functorENV : (string * EA.moduleReference * ENVSetlist,
                functorSignatureENV :
                (string * EA.moduleReference * ENVSetlist,
                typeENV : (string * EA.moduleReferencelist,
                exceptionENV : (string * EA.moduleReferencelist,
                valENV : (string * AA.ty optionlist
              } ->
                ENVSet

 
Value detail

emptyENVSet

val emptyENVSet


appendENVSet

val appendENVSet


bindVal

val bindVal


bindType

val bindType


bindException

val bindException


bindStructure

val bindStructure


bindSignature

val bindSignature


bindFunctor

val bindFunctor


bindFunctorSignature

val bindFunctorSignature


bindModule

val bindModule

 


Overview  Index  Help 
SMLDoc: Documentation generator for SML