Safe Haskell | None |
---|---|
Language | Haskell2010 |
Language.Clafer.Intermediate.ResolverType
Documentation
resolveTModule :: (IModule, GEnv) -> Either ClaferSErr IModule Source #
clafer-0.4.5: Compiles Clafer models to other formats: Alloy, JavaScript, JSON, HTML, Dot.
Safe Haskell | None |
---|---|
Language | Haskell2010 |
Language.Clafer.Intermediate.ResolverType
resolveTModule :: (IModule, GEnv) -> Either ClaferSErr IModule Source #