UHC.Util.CompileRun

Synopsis

• data CompileRunState err
  • = CRSOk
  • | CRSFail
  • | CRSFailMsg String
  • | CRSStopSeq
  • | CRSStopAllSeq
  • | CRSStop
  • | CRSFailErrL String [err] (Maybe Int)
  • | CRSErrInfoL String Bool [err]
• data CompileRun nm unit info err = CompileRun {
  • crCUCache :: Map nm unit
  • crCompileOrder :: [[nm]]
  • crTopModNm :: nm
  • crState :: CompileRunState err
  • crStateInfo :: info
  }
• type CompilePhase n u i e a = StateT (CompileRun n u i e) IO a
• data CompilePhaseT n u i e m a
• class CompileUnit u n l s | u -> n l s where
• class CompileUnitState s where
• class FPathError e => CompileRunError e p | e -> p where
• class CompileModName n where
• class CompileRunStateInfo i n p where
• data CompileParticipation = CompileParticipation_NoImport
• class FileLocatable x loc | loc -> x where
• mkEmptyCompileRun :: n -> i -> CompileRun n u i e
• crCU :: (Show n, Ord n) => n -> CompileRun n u i e -> u
• crMbCU :: Ord n => n -> CompileRun n u i e -> Maybe u
• ppCR :: (PP n, PP u) => CompileRun n u i e -> PP_Doc
• cpUpdStateInfo :: (i -> i) -> CompilePhase n u i e ()
• cpUpdSI :: (i -> i) -> CompilePhase n u i e ()
• cpUpdCU :: (Ord n, CompileUnit u n l s) => n -> (u -> u) -> CompilePhase n u i e ()
• cpUpdCUWithKey :: (Ord n, CompileUnit u n l s) => n -> (n -> u -> (n, u)) -> CompilePhase n u i e n
• cpSetFail :: CompilePhase n u i e ()
• cpSetStop :: CompilePhase n u i e ()
• cpSetStopSeq :: CompilePhase n u i e ()
• cpSetStopAllSeq :: CompilePhase n u i e ()
• cpSetOk :: CompilePhase n u i e ()
• cpSetErrs :: [e] -> CompilePhase n u i e ()
• cpSetLimitErrs :: Int -> String -> [e] -> CompilePhase n u i e ()
• cpSetLimitErrsWhen :: Int -> String -> [e] -> CompilePhase n u i e ()
• cpSetInfos :: String -> Bool -> [e] -> CompilePhase n u i e ()
• cpSetCompileOrder :: [[n]] -> CompilePhase n u i e ()
• cpSeq :: CompileRunError e p => [CompilePhase n u i e ()] -> CompilePhase n u i e ()
• cpSeqWhen :: CompileRunError e p => Bool -> [CompilePhase n u i e ()] -> CompilePhase n u i e ()
• cpEmpty :: CompilePhase n u i e ()
• cpFindFileForNameOrFPath :: FPATH n => String -> n -> FPath -> [(String, FPath)]
• cpFindFilesForFPathInLocations :: (Ord n, FPATH n, FileLocatable u loc, Show loc, CompileUnitState s, CompileRunError e p, CompileUnit u n loc s, CompileModName n, CompileRunStateInfo i n p) => (loc -> n -> FPath -> [(loc, FPath, [e])]) -> ((FPath, loc, [e]) -> res) -> Bool -> [(FileSuffix, s)] -> [loc] -> Maybe n -> Maybe FPath -> CompilePhase n u i e [res]
• cpFindFilesForFPath :: forall e n u p i s. (Ord n, FPATH n, FileLocatable u String, CompileUnitState s, CompileRunError e p, CompileUnit u n String s, CompileModName n, CompileRunStateInfo i n p) => Bool -> [(FileSuffix, s)] -> [String] -> Maybe n -> Maybe FPath -> CompilePhase n u i e [FPath]
• cpFindFileForFPath :: (Ord n, FPATH n, FileLocatable u String, CompileUnitState s, CompileRunError e p, CompileUnit u n String s, CompileModName n, CompileRunStateInfo i n p) => [(FileSuffix, s)] -> [String] -> Maybe n -> Maybe FPath -> CompilePhase n u i e (Maybe FPath)
• cpImportGather :: (Show n, Ord n, CompileUnit u n l s, CompileRunError e p, CompileUnitState s) => (n -> CompilePhase n u i e ()) -> n -> CompilePhase n u i e ()
• cpImportGatherFromMods :: (Show n, Ord n, CompileUnit u n l s, CompileRunError e p, CompileUnitState s) => (Maybe prev -> n -> CompilePhase n u i e (x, Maybe prev)) -> [n] -> CompilePhase n u i e ()
• cpImportGatherFromModsWithImp :: (Show n, Ord n, CompileUnit u n l s, CompileRunError e p, CompileUnitState s) => (u -> [n]) -> (Maybe prev -> n -> CompilePhase n u i e (x, Maybe prev)) -> [n] -> CompilePhase n u i e ()
• cpPP :: (PP n, PP u) => String -> CompilePhase n u i e ()
• cpPPMsg :: PP m => m -> CompilePhase n u i e ()
• forgetM :: Monad m => m a -> m ()

Documentation