Contents
Index
clafer-0.4.3: Compiles Clafer models to other formats: Alloy, JavaScript, JSON, HTML, Dot.
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
+
>
_
All
Index - R
readC
Language.Clafer.Front.LayoutResolver
readCfrScopeFile
Language.Clafer.JSONMetaData
realType
Language.Clafer.Common
reason
Language.Clafer
reduceIExp
Language.Clafer.Intermediate.Desugarer
reduceNav
Language.Clafer.Intermediate.Desugarer
reducePExp
Language.Clafer.Intermediate.Desugarer
ref
Language.Clafer.Intermediate.Intclafer
Reference
1 (Type/Class)
Language.Clafer.Front.AbsClafer
2 (Data Constructor)
Language.Clafer.Intermediate.ResolverName
reference
Language.Clafer.Intermediate.Intclafer
ReferenceBag
Language.Clafer.Front.AbsClafer
ReferenceEmpty
Language.Clafer.Front.AbsClafer
ReferenceSet
Language.Clafer.Front.AbsClafer
relBinOps
Language.Clafer.Common
relGenBinOps
Language.Clafer.Common
relocateTopLevelAbstractToParents
Language.Clafer.Intermediate.ResolverInheritance
relSetBinOps
Language.Clafer.Common
remUnusedAbs
Language.Clafer.Optimizer.Optimizer
renameClafer
Language.Clafer.Intermediate.ResolverInheritance
renameClafer'
Language.Clafer.Intermediate.ResolverInheritance
render
Language.Clafer.Front.PrintClafer
replicateS
Language.Clafer.Front.PrintClafer
resLayout
Language.Clafer.Front.LayoutResolver
Resolve
Language.Clafer.Intermediate.ResolverName
resolve
1 (Function)
Language.Clafer.Front.LayoutResolver
2 (Function)
Language.Clafer.Intermediate.ResolverName
resolveAncestor
Language.Clafer.Intermediate.ResolverName
resolveBind
Language.Clafer.Intermediate.ResolverName
resolveChildren
Language.Clafer.Intermediate.ResolverName
resolveChildren'
Language.Clafer.Intermediate.ResolverName
resolveClafer
Language.Clafer.Intermediate.ResolverName
resolveDescendants
Language.Clafer.Intermediate.ResolverName
resolveEClafer
Language.Clafer.Intermediate.ResolverInheritance
resolveEElement
Language.Clafer.Intermediate.ResolverInheritance
resolveEInheritance
Language.Clafer.Intermediate.ResolverInheritance
resolveElement
Language.Clafer.Intermediate.ResolverName
resolveEModule
Language.Clafer.Intermediate.ResolverInheritance
resolveHierarchy
Language.Clafer.Intermediate.ResolverInheritance
resolveImmName
Language.Clafer.Intermediate.ResolverName
resolveLayout
Language.Clafer.Front.LayoutResolver
resolveLayout'
Language.Clafer.Front.LayoutResolver
resolveModule
Language.Clafer.Intermediate.Resolver
resolveModuleNames
Language.Clafer.Intermediate.ResolverName
resolveN
Language.Clafer.Intermediate.ResolverInheritance
resolveName
Language.Clafer.Intermediate.ResolverName
resolveNamesModule
Language.Clafer.Intermediate.Resolver
resolveNav
Language.Clafer.Intermediate.ResolverName
resolveNClafer
Language.Clafer.Intermediate.ResolverInheritance
resolveNElement
Language.Clafer.Intermediate.ResolverInheritance
resolveNModule
Language.Clafer.Intermediate.ResolverInheritance
resolveNone
Language.Clafer.Intermediate.ResolverName
resolveNSuper
Language.Clafer.Intermediate.ResolverInheritance
resolveOClafer
Language.Clafer.Intermediate.ResolverInheritance
resolveOElement
Language.Clafer.Intermediate.ResolverInheritance
resolveOModule
Language.Clafer.Intermediate.ResolverInheritance
resolveOReference
Language.Clafer.Intermediate.ResolverInheritance
resolvePExp
Language.Clafer.Intermediate.ResolverName
resolveRedefinition
Language.Clafer.Intermediate.ResolverInheritance
resolveReference
Language.Clafer.Intermediate.ResolverName
resolveSpecial
Language.Clafer.Intermediate.ResolverName
resolveTModule
Language.Clafer.Intermediate.ResolverType
resolveTopLevel
Language.Clafer.Intermediate.ResolverName
resPath
Language.Clafer.Intermediate.ResolverName
Result
Language.Clafer.Common
resWords
Language.Clafer.Front.LexClafer
retrieveModelFromURL
Language.Clafer.ClaferArgs
, Language.Clafer
returnM
Language.Clafer.Front.ParClafer
revertLayout
Language.Clafer.Front.LayoutResolver
,
Language.Clafer.Generator.Html
revertLayout'
Language.Clafer.Front.LayoutResolver
rootIdent
Language.Clafer.Common
rootTClafer
Language.Clafer.Intermediate.TypeSystem
rootUID
Language.Clafer.Common
runClafer
Language.ClaferT
,
Language.Clafer
runClaferT
Language.ClaferT
,
Language.Clafer
runCompiler
Language.Clafer