Language.Clafer.Intermediate.ResolverName

Documentation

data SEnv

this environment is created for each clafer

Constructors

SEnv

Fields

clafers :: [IClafer]

context :: Maybe IClafer

subClafers :: [(IClafer, [IClafer])]

ancClafers :: [(IClafer, [IClafer])]

bindings :: [([String], [IClafer])]

resPath :: [IClafer]

genv :: GEnv

aClafers :: [(IClafer, [IClafer])]

cClafers :: [(IClafer, [IClafer])]

Instances

Show SEnv

data HowResolved

How a given name was resolved

Constructors

Special

this, parent, children

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

Instances

Eq HowResolved

Show HowResolved

type Resolve = Either ClaferSErr

defSEnv :: GEnv -> [IElement] -> SEnv

checkDuplicateSiblings :: IModule -> Resolve [IElement]

checkDuplicateSiblings' :: [IElement] -> Maybe (String, Span)

checkForJust :: [Maybe (String, Span)] -> Maybe (String, Span)

checkListDuplicates :: [(String, Span)] -> Maybe (String, Span)

checkListDuplicates' :: [(String, Span)] -> Maybe (String, Span)

isIEClafer :: IElement -> Bool

resolveModuleNames :: (IModule, GEnv) -> Resolve IModule

resolveClafer :: SEnv -> IClafer -> Resolve IClafer

mkAncestorList :: SEnv -> [IClafer] -> [(IClafer, [IClafer])]

resolveElement :: SEnv -> IElement -> Resolve IElement

resolvePExp :: SEnv -> PExp -> Resolve PExp

resolveIExp :: Span -> SEnv -> IExp -> Resolve IExp

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

processDecl :: MonadState SEnv m => IDecl -> m (Resolve IDecl)

resolveNav :: Span -> SEnv -> IExp -> Bool -> Resolve (IExp, [IClafer])

mkPath :: SEnv -> (HowResolved, String, [IClafer]) -> (IExp, [IClafer])

toNav' :: [String] -> IExp

adjustAncestor :: [String] -> [String] -> [String]

mkPath' :: String -> (HowResolved, String, [IClafer]) -> (IExp, [IClafer])

resolveName :: Span -> SEnv -> String -> Resolve (HowResolved, String, [IClafer])

resolveImmName :: Span -> SEnv -> String -> Resolve (HowResolved, String, [IClafer])

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

resolveNone :: Span -> SEnv -> String -> Resolve t

resolveSpecial :: SEnv -> String -> Resolve (Maybe (HowResolved, String, [IClafer]))

resolveBind :: SEnv -> String -> Resolve (Maybe (HowResolved, String, [IClafer]))

resolveDescendants :: SEnv -> String -> Resolve (Maybe (HowResolved, String, [IClafer]))

resolveChildren :: Span -> SEnv -> String -> Resolve (Maybe (HowResolved, String, [IClafer]))

resolveReference :: Span -> SEnv -> String -> Resolve (Maybe (HowResolved, String, [IClafer]))

resolveChildren' :: Span -> SEnv -> String -> (SEnv -> [IClafer]) -> HowResolved -> Either ClaferSErr (Maybe (HowResolved, String, [IClafer]))

liftMaybe :: Maybe a -> MaybeT (Either ClaferSErr) a

resolveAncestor :: Span -> SEnv -> String -> Resolve (Maybe (HowResolved, String, [IClafer]))

resolveTopLevel :: Span -> SEnv -> String -> Resolve (Maybe (HowResolved, String, [IClafer]))

toNodeDeep :: SEnv -> ((IClafer, [IClafer]), [SEnv])

allInhChildren :: SEnv -> [IClafer]

allChildren :: SEnv -> [IClafer]

selectChildren :: (IClafer -> String) -> SEnv -> [IClafer]

findUnique :: Span -> String -> [(IClafer, [IClafer])] -> Resolve (Maybe (String, [IClafer]))

findFirst :: String -> [(IClafer, [IClafer])] -> Maybe (String, [IClafer])

showPath :: [String] -> String

isNamespaceConflict :: [[String]] -> Bool

filterPaths :: String -> [(IClafer, [IClafer])] -> [(IClafer, [IClafer])]