clafer-0.3.9: clafer compiles Clafer models to other formats, such as Alloy, XML, HTML, Dot.

Safe HaskellNone
LanguageHaskell2010

Language.Clafer.Intermediate.ResolverName

Synopsis

Documentation

data SEnv Source

this environment is created for each clafer

Constructors

SEnv 

Instances

data HowResolved Source

How a given name was resolved

Constructors

Special

"this", "parent", "children", and "root"

TypeSpecial

primitive type: "integer", "string"

Binding

local variable (in constraints)

Subclafers

clafer's descendant

Reference

resolved by a reference

Ancestor

clafer's ancestor

AbsClafer

abstract clafer

TopClafer

non-abstract top-level clafer

liftError :: Monad m => Either e a -> ErrorT e m a Source

resolve :: (Monad f, Functor f) => SEnv -> String -> [SEnv -> String -> f (Maybe b)] -> f b Source