clafer-0.4.3: Compiles Clafer models to other formats: Alloy, JavaScript, JSON, HTML, Dot.

Index - M

mainArgsLanguage.Clafer.ClaferArgs, Language.Clafer
makeEnvLanguage.ClaferT, Language.Clafer
makeZeroUnusedAbsLanguage.Clafer.Optimizer.Optimizer
mapHierarchyLanguage.Clafer.Common
mapIRLanguage.Clafer.Intermediate.Intclafer
mappingToAlloyLanguage.Clafer
mapToCStrLanguage.Clafer.Generator.Concat
markTopClaferLanguage.Clafer.Optimizer.Optimizer
markTopDeclLanguage.Clafer.Optimizer.Optimizer
markTopElementLanguage.Clafer.Optimizer.Optimizer
markTopIExpLanguage.Clafer.Optimizer.Optimizer
markTopModuleLanguage.Clafer.Optimizer.Optimizer
markTopPExpLanguage.Clafer.Optimizer.Optimizer
matchNestedInheritanceLanguage.Clafer.Common
mDeclsLanguage.Clafer.Intermediate.Intclafer
mergeArgsLanguage.Clafer.ClaferArgs, Language.Clafer
meta_dataLanguage.Clafer.ClaferArgs, Language.Clafer
mkAncestorListLanguage.Clafer.Intermediate.ResolverName
mkCatSpanLanguage.Clafer.Front.ParClafer
mkConcatLanguage.Clafer.Generator.Concat
mkEscLanguage.Clafer.Front.PrintClafer
mkIdentLanguage.Clafer.Common
mkIFunExpLanguage.Clafer.Common
mkIntegerLanguage.Clafer.Common
mkMinimizeMaximizePExpLanguage.Clafer.Intermediate.Desugarer
mkPathLanguage.Clafer.Intermediate.ResolverName
mkPath'Language.Clafer.Intermediate.ResolverName
mkPLClaferIdLanguage.Clafer.Common
mkPosTokenLanguage.Clafer.Front.LexClafer
mkTokenSpanLanguage.Clafer.Front.ParClafer
mNameLanguage.Clafer.Intermediate.Intclafer
modeLanguage.Clafer.ClaferArgs, Language.Clafer
modelFragsLanguage.ClaferT, Language.Clafer
modelPosLanguage.ClaferT
ModIdLanguage.Clafer.Front.AbsClafer
ModIdIdentLanguage.Clafer.Front.AbsClafer
modifyEnvLanguage.ClaferT
modNameLanguage.Clafer.Intermediate.Intclafer
modSepLanguage.Clafer.Common
Module 
1 (Type/Class)Language.Clafer.Front.AbsClafer, Language.Clafer
2 (Data Constructor)Language.Clafer.Front.AbsClafer
msgLanguage.ClaferT
multExIntLanguage.Clafer.Optimizer.Optimizer
multIntLanguage.Clafer.Optimizer.Optimizer
myLexerLanguage.Clafer.Front.ParClafer