UHC.Util.CompileRun3

Combinators for a compile run. 20150807: experimental version, to provide with a forwarding mechanism for renamed compile units. As of now does not work with UHC, suspect a non intented name capture

Documentation

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

Class alias for compile functionality

data CompileRunState err

Constructors

CRSOk

CRSFail

CRSFailMsg String

CRSStopSeq

CRSStopAllSeq

CRSStop

CRSFailErrL String [err] (Maybe Int)

CRSErrInfoL String Bool [err]

Instances

Show (CompileRunState err)

Methods

showsPrec :: Int -> CompileRunState err -> ShowS

show :: CompileRunState err -> String

showList :: [CompileRunState err] -> ShowS

Error (CompileRunState err)

Methods

noMsg :: CompileRunState err

strMsg :: String -> CompileRunState err

data CompileRun nm unit info err

Constructors

CompileRun

Fields

• _crCUCache :: Map nm unit
• _crNmForward :: Map nm nm
• _crCompileOrder :: [[nm]]
• _crTopModNm :: nm
• _crState :: CompileRunState err
• _crStateInfo :: info
• _crOutputDebug :: Bool

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)

crNmForward :: forall cat nm unit info err. ArrowApply cat => Lens cat (CompileRun nm unit info err) (Map nm nm)

type CompilePhase n u i e a = CompilePhaseT n u i e Identity 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, MonadState s m) => MonadState s (CompilePhaseT n u i e m)

Methods

get :: CompilePhaseT n u i e m s

put :: s -> CompilePhaseT n u i e m ()

state :: (s -> (a, s)) -> CompilePhaseT n u i e m a

(CompileRunner state n pos loc u i e m, MonadError e' m) => MonadError e' (CompilePhaseT n u i e m)

Methods

throwError :: e' -> CompilePhaseT n u i e m a

catchError :: CompilePhaseT n u i e m a -> (e' -> CompilePhaseT n u i e m a) -> CompilePhaseT n u i e m a

MonadTrans (CompilePhaseT n u i e)

Methods

lift :: Monad m => m a -> CompilePhaseT n u i e m a

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

Methods

(>>=) :: CompilePhaseT n u i e m a -> (a -> CompilePhaseT n u i e m b) -> CompilePhaseT n u i e m b

(>>) :: CompilePhaseT n u i e m a -> CompilePhaseT n u i e m b -> CompilePhaseT n u i e m b

return :: a -> CompilePhaseT n u i e m a

fail :: String -> CompilePhaseT n u i e m a

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

Methods

fmap :: (a -> b) -> CompilePhaseT n u i e m a -> CompilePhaseT n u i e m b

(<$) :: a -> CompilePhaseT n u i e m b -> CompilePhaseT n u i e m a

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

Methods

mfix :: (a -> CompilePhaseT n u i e m a) -> CompilePhaseT n u i e m a

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

Methods

pure :: a -> CompilePhaseT n u i e m a

(<*>) :: CompilePhaseT n u i e m (a -> b) -> CompilePhaseT n u i e m a -> CompilePhaseT n u i e m b

liftA2 :: (a -> b -> c) -> CompilePhaseT n u i e m a -> CompilePhaseT n u i e m b -> CompilePhaseT n u i e m c

(*>) :: CompilePhaseT n u i e m a -> CompilePhaseT n u i e m b -> CompilePhaseT n u i e m b

(<*) :: CompilePhaseT n u i e m a -> CompilePhaseT n u i e m b -> CompilePhaseT n u i e m a

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

Methods

liftIO :: IO a -> CompilePhaseT n u i e m a

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

Minimal complete definition

cusDefault, cusUnk, cusIsUnk, cusIsImpKnown

Methods

cusDefault :: s

cusUnk :: s

cusIsUnk :: s -> Bool

cusIsImpKnown :: s -> Bool

class CompileRunError e p | e -> p where

Error reporting

Methods

crePPErrL :: [e] -> PP_Doc

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

creAreFatal :: [e] -> Bool

Instances

CompileRunError String ()

Methods

crePPErrL :: [String] -> PP_Doc

creMkNotFoundErrL :: () -> String -> [String] -> [FileSuffix] -> [String]

creAreFatal :: [String] -> Bool

class CompileModName n where

Conversion from string to module name

Minimal complete definition

mkCMNm

Methods

mkCMNm :: String -> n

class CompileRunStateInfo i n p where

Minimal complete definition

crsiImportPosOfCUKey

Methods

crsiImportPosOfCUKey :: n -> i -> p

data CompileParticipation

Constructors

CompileParticipation_NoImport

Instances

Eq CompileParticipation

Methods

(==) :: CompileParticipation -> CompileParticipation -> Bool

(/=) :: CompileParticipation -> CompileParticipation -> Bool

Ord CompileParticipation

Methods

compare :: CompileParticipation -> CompileParticipation -> Ordering

(<) :: CompileParticipation -> CompileParticipation -> Bool

(<=) :: CompileParticipation -> CompileParticipation -> Bool

(>) :: CompileParticipation -> CompileParticipation -> Bool

(>=) :: CompileParticipation -> CompileParticipation -> Bool

max :: CompileParticipation -> CompileParticipation -> CompileParticipation

min :: CompileParticipation -> CompileParticipation -> CompileParticipation

class FileLocatable x loc | loc -> x where

Minimal complete definition

fileLocation, noFileLocation

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

crMbCUNotForwarded :: Ord n => n -> CompileRun n u i e -> Maybe u

crMbCUForwarded :: 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 :: (Show n, Ord n, CompileRunner s n p l u i e m) => n -> (u -> u) -> CompilePhaseT n u i e m ()

cpUpdCUWithKey :: (Show n, 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)

lookup unit

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

Arguments

:: (Ord n, Show n, FPATH n, FileLocatable u loc, Show loc, CompileRunner s n p loc u i e m)

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

-> CompilePhaseT n u i e m [res]

cpFindFilesForFPath :: forall e n u p i s m. (Ord n, Show n, FPATH n, FileLocatable u String, CompileRunner s n p String u i e m) => Bool -> [(FileSuffix, s)] -> [String] -> Maybe n -> Maybe FPath -> CompilePhaseT n u i e m [FPath]

cpFindFileForFPath :: (Ord n, Show 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 ()

Abbreviation for cpImportGatherFromMods for 1 module

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

recursively extract imported modules

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

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

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