UHC.Util.CompileRun

Documentation

data CompileRunState err

Constructors

CRSOk

CRSFail

CRSFailMsg String

CRSStopSeq

CRSStopAllSeq

CRSStop

CRSFailErrL String [err] (Maybe Int)

CRSErrInfoL String Bool [err]

Instances

Show (CompileRunState err)

Error (CompileRunState err)

data CompileRun nm unit info err

Constructors

CompileRun

Fields

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

CompileRun as state in specific StateT variant with non standard >>= newtype CompilePhaseT n u i e m a = CompilePhaseT {runCompilePhaseT :: CompileRun n u i e -> m (a, CompileRun n u i e)}

Instances

CompileRunner state n pos loc u i e m => Monad (CompilePhaseT n u i e m)

CompileRunner state n pos loc u i e m => Functor (CompilePhaseT n u i e m)

CompileRunner state n pos loc u i e m => Applicative (CompilePhaseT n u i e m)

class CompileUnit u n l s | u -> n l s where

Per compile unit

Minimal complete definition

cuDefault, cuFPath, cuUpdFPath, cuLocation, cuUpdLocation, cuKey, cuUpdKey, cuState, cuUpdState, cuImports

Methods

cuDefault :: u

cuFPath :: u -> FPath

cuUpdFPath :: FPath -> u -> u

cuLocation :: u -> l

cuUpdLocation :: l -> u -> u

cuKey :: u -> n

cuUpdKey :: n -> u -> u

cuState :: u -> s

cuUpdState :: s -> u -> u

cuImports :: u -> [n]

cuParticipation :: u -> [CompileParticipation]

class CompileUnitState s where

State of a compile unit

Methods

cusDefault :: s

cusUnk :: s

cusIsUnk :: s -> Bool

cusIsImpKnown :: s -> Bool

class FPathError e => CompileRunError e p | e -> p where

Error reporting

Minimal complete definition

Nothing

Methods

crePPErrL :: [e] -> PP_Doc

creMkNotFoundErrL :: p -> String -> [String] -> [FileSuffix] -> [e]

creAreFatal :: [e] -> Bool

Instances

CompileRunError String ()

class CompileModName n where

Conversion from string to module name

Methods

mkCMNm :: String -> n

class CompileRunStateInfo i n p where

Methods

crsiImportPosOfCUKey :: n -> i -> p

data CompileParticipation

Constructors

CompileParticipation_NoImport

Instances

Eq CompileParticipation

Ord CompileParticipation

class FileLocatable x loc | loc -> x where

Methods

fileLocation :: x -> loc

noFileLocation :: loc

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

Arguments

:: (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])])

get the locations for a name, possibly with errors

-> ((FPath, loc, [e]) -> res)

construct a result given a found location

-> Bool

stop when first is found

-> [(FileSuffix, s)]

suffix info

-> [loc]

locations to search

-> Maybe n

possibly a module name

-> Maybe FPath

possibly a file path

-> 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 ()

Abbreviation for cpImportGatherFromMods for 1 module

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 ()

recursively extract imported modules

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 ()

recursively extract imported modules, providing a way to import + do the import

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 ()