| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Clafer.Intermediate.ResolverType
Documentation
resolveTModule :: (IModule, GEnv) -> Either ClaferSErr IModule Source
clafer-0.3.9: clafer compiles Clafer models to other formats, such as Alloy, XML, HTML, Dot.
| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Clafer.Intermediate.ResolverType
resolveTModule :: (IModule, GEnv) -> Either ClaferSErr IModule Source