Language.Clafer.Intermediate.ResolverName

Synopsis

• data SEnv = SEnv {
  • clafers :: [IClafer]
  • context :: Maybe IClafer
  • subClafers :: [(IClafer, [IClafer])]
  • ancClafers :: [(IClafer, [IClafer])]
  • bindings :: [([String], [IClafer])]
  • resPath :: [IClafer]
  • genv :: GEnv
  • aClafers :: [(IClafer, [IClafer])]
  • cClafers :: [(IClafer, [IClafer])]
  }
• data HowResolved
  • = Special
  • | TypeSpecial
  • | Binding
  • | Subclafers
  • | Reference
  • | Ancestor
  • | AbsClafer
  • | TopClafer
• 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])
• toTuple :: IClafer -> (String, Maybe IClafer)
• toNav' :: [(String, Maybe IClafer)] -> IExp
• adjustAncestor :: IClafer -> [(String, Maybe IClafer)] -> [(String, Maybe IClafer)] -> [(String, Maybe IClafer)]
• 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])]

Documentation