UHC.Util.CompileRun2

Description

Synopsis

• class (CompileModName nm, CompileUnitState state, CompileUnit unit nm loc state, CompileRunError err pos, CompileRunStateInfo info nm pos, MonadState (CompileRun nm unit info err) m, MonadIO m, Monad m) => CompileRunner state nm pos loc unit info err m
• 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
  }
• crCUCache :: forall cat nm unit info err. ArrowApply cat => Lens cat (CompileRun nm unit info err) (Map nm unit)
• crCompileOrder :: forall cat nm unit info err. ArrowApply cat => Lens cat (CompileRun nm unit info err) [[nm]]
• crTopModNm :: forall cat nm unit info err. ArrowApply cat => Lens cat (CompileRun nm unit info err) nm
• crState :: forall cat nm unit info err a. ArrowApply cat => Lens cat (CompileRun nm unit info err -> CompileRun nm unit info a) (CompileRunState err -> CompileRunState a)
• crStateInfo :: forall cat nm unit info err a. ArrowApply cat => Lens cat (CompileRun nm unit info err -> CompileRun nm unit a err) (info -> a)
• type CompilePhase n u i e a = CompilePhaseT n u i e Identity 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 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 :: CompileRunner s n p l u i e m => (i -> i) -> CompilePhaseT n u i e m ()
• cpUpdSI :: CompileRunner s n p l u i e m => (i -> i) -> CompilePhaseT n u i e m ()
• cpUpdCU :: (Ord n, CompileRunner s n p l u i e m) => n -> (u -> u) -> CompilePhaseT n u i e m ()
• cpUpdCUWithKey :: (Ord n, CompileRunner s n p l u i e m) => n -> (n -> u -> (n, u)) -> CompilePhaseT n u i e m n
• cpMbCU :: (Ord n, CompileRunner s n p l u i e m) => n -> CompilePhaseT n u i e m (Maybe u)
• cpSetFail :: CompileRunner s n p l u i e m => CompilePhaseT n u i e m ()
• cpSetStop :: CompileRunner s n p l u i e m => CompilePhaseT n u i e m ()
• cpSetStopSeq :: CompileRunner s n p l u i e m => CompilePhaseT n u i e m ()
• cpSetStopAllSeq :: CompileRunner s n p l u i e m => CompilePhaseT n u i e m ()
• cpSetOk :: CompileRunner s n p l u i e m => CompilePhaseT n u i e m ()
• cpSetErrs :: CompileRunner s n p l u i e m => [e] -> CompilePhaseT n u i e m ()
• cpSetLimitErrs :: CompileRunner s n p l u i e m => Int -> String -> [e] -> CompilePhaseT n u i e m ()
• cpSetLimitErrsWhen :: CompileRunner s n p l u i e m => Int -> String -> [e] -> CompilePhaseT n u i e m ()
• cpSetInfos :: CompileRunner s n p l u i e m => String -> Bool -> [e] -> CompilePhaseT n u i e m ()
• cpSetCompileOrder :: CompileRunner s n p l u i e m => [[n]] -> CompilePhaseT n u i e m ()
• cpSeq :: CompileRunner s n p l u i e m => [CompilePhaseT n u i e m ()] -> CompilePhaseT n u i e m ()
• cpSeqWhen :: CompileRunner s n p l u i e m => Bool -> [CompilePhaseT n u i e m ()] -> CompilePhaseT n u i e m ()
• cpEmpty :: CompileRunner s n p l u i e m => CompilePhaseT n u i e m ()
• cpFindFileForNameOrFPath :: FPATH n => String -> n -> FPath -> [(String, FPath)]
• cpFindFilesForFPathInLocations :: (Ord n, FPATH n, FileLocatable u loc, Show loc, CompileRunner s n p loc u i e m) => (loc -> n -> FPath -> [(loc, FPath, [e])]) -> ((FPath, loc, s, [e]) -> res) -> Bool -> [FileSuffixWith s] -> [loc] -> Maybe n -> Maybe FPath -> CompilePhaseT n u i e m [res]
• cpFindFilesForFPath :: forall e n u p i s m. (Ord n, FPATH n, FileLocatable u String, CompileRunner s n p String u i e m) => Bool -> [FileSuffixWith s] -> [String] -> Maybe n -> Maybe FPath -> CompilePhaseT n u i e m [FPath]
• cpFindFileForFPath :: (Ord n, FPATH n, FileLocatable u String, CompileRunner s n p String u i e m) => [(FileSuffix, s)] -> [String] -> Maybe n -> Maybe FPath -> CompilePhaseT n u i e m (Maybe FPath)
• cpImportGather :: (Show n, Ord n, CompileRunner s n p l u i e m) => (n -> CompilePhaseT n u i e m ()) -> n -> CompilePhaseT n u i e m ()
• cpImportGatherFromMods :: (Show n, Ord n, CompileRunner s n p l u i e m) => (Maybe prev -> n -> CompilePhaseT n u i e m (x, Maybe prev)) -> [n] -> CompilePhaseT n u i e m ()
• cpImportGatherFromModsWithImp :: (Show n, Ord n, CompileRunner s n p l u i e m) => (u -> [n]) -> (Maybe prev -> n -> CompilePhaseT n u i e m (x, Maybe prev)) -> [n] -> CompilePhaseT n u i e m ()
• cpPP :: (PP n, PP u, CompileRunner s n p l u i e m) => String -> CompilePhaseT n u i e m ()
• cpPPMsg :: (PP msg, CompileRunner s n p l u i e m) => msg -> CompilePhaseT n u i e m ()
• forgetM :: Monad m => m a -> m ()

Documentation