| SMLDoc |
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
Type detail |
---|
type moduleLinkage = moduleLinkType * EA.moduleFQN * EA.moduleFQN
type typeLinkage =
typeLinkType * (EA.moduleFQN * string) * (EA.moduleFQN * string)
Datatype detail |
---|
datatype moduleLinkType =
ModuleDefLink
| AppLink
| ArgLink
| FormalArgLink
| WhereLink
| OpenLink
| IncludeLink
| ConstraintLink
datatype typeLinkType =
TypeDefLink | ExnArgLink | ConstructurArgLink | ValTypeLink
DataConstructor detail |
---|
constructor ModuleDefLink : moduleLinkType
constructor AppLink : moduleLinkType
constructor ArgLink : moduleLinkType
constructor FormalArgLink : moduleLinkType
constructor WhereLink : moduleLinkType
constructor OpenLink : moduleLinkType
constructor IncludeLink : moduleLinkType
constructor ConstraintLink : moduleLinkType
constructor TypeDefLink : typeLinkType
constructor ExnArgLink : typeLinkType
constructor ConstructurArgLink : typeLinkType
constructor ValTypeLink : typeLinkType
| SMLDoc: Documentation generator for SML |