Overview  Index  Help 
SMLDoc

Linkage


structure Linkage =
struct
  structure EA = ElaboratedAst
  type moduleLinkage = moduleLinkType * EA.moduleFQN * EA.moduleFQN
  type typeLinkage =
       typeLinkType * (EA.moduleFQN * string) * (EA.moduleFQN * string)
  datatype moduleLinkType =
           ModuleDefLink
         | AppLink
         | ArgLink
         | FormalArgLink
         | WhereLink
         | OpenLink
         | IncludeLink
         | ConstraintLink
  datatype typeLinkType =
           TypeDefLink | ExnArgLink | ConstructurArgLink | ValTypeLink
end

information of links between entities.

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

 
Type detail

moduleLinkage

type moduleLinkage = moduleLinkType * EA.moduleFQN * EA.moduleFQN


typeLinkage

type typeLinkage =
     typeLinkType * (EA.moduleFQN * string) * (EA.moduleFQN * string)

 
Datatype detail

moduleLinkType

datatype moduleLinkType =
         ModuleDefLink
       | AppLink
       | ArgLink
       | FormalArgLink
       | WhereLink
       | OpenLink
       | IncludeLink
       | ConstraintLink


typeLinkType

datatype typeLinkType =
         TypeDefLink | ExnArgLink | ConstructurArgLink | ValTypeLink

 
DataConstructor detail

ModuleDefLink

constructor ModuleDefLink : moduleLinkType


AppLink

constructor AppLink : moduleLinkType


ArgLink

constructor ArgLink : moduleLinkType


FormalArgLink

constructor FormalArgLink : moduleLinkType


WhereLink

constructor WhereLink : moduleLinkType


OpenLink

constructor OpenLink : moduleLinkType


IncludeLink

constructor IncludeLink : moduleLinkType


ConstraintLink

constructor ConstraintLink : moduleLinkType


TypeDefLink

constructor TypeDefLink : typeLinkType


ExnArgLink

constructor ExnArgLink : typeLinkType


ConstructurArgLink

constructor ConstructurArgLink : typeLinkType


ValTypeLink

constructor ValTypeLink : typeLinkType

   


Overview  Index  Help 
SMLDoc: Documentation generator for SML