GHC.Driver.Pipeline.Monad

The TPipelineClass and MonadUse classes and associated types

Documentation

type TPipelineClass (f :: Type -> Type) (m :: Type -> Type) = (Functor m, MonadIO m, Applicative m, Monad m, MonadUse f m)

class MonadUse (f :: k -> Type) (m :: k -> Type) where

Lift a f action into an m action.

Methods

use :: forall (a :: k). f a -> m a

Instances

MonadUse TPhase HookedUse

Defined in GHC.Driver.Pipeline.Execute

Methods

use :: TPhase a -> HookedUse a

data PipeEnv

Constructors

PipeEnv

Fields

• stop_phase :: StopPhase

  Stop just after this phase

• src_filename :: String

  basename of original input source

• src_basename :: String

  basename of original input source

• src_suffix :: String

  its extension

• start_phase :: Phase
• output_spec :: PipelineOutput

  says where to put the pipeline output

data PipelineOutput

Constructors

Temporary TempFileLifetime

Output should be to a temporary file: we're going to run more compilation steps on this output later.

Persistent

We want a persistent file, i.e. a file in the current directory derived from the input filename, but with the appropriate extension. eg. in "ghc -c Foo.hs" the output goes into ./Foo.o.

SpecificFile

The output must go into the specific outputFile in DynFlags. We don't store the filename in the constructor as it changes when doing -dynamic-too.

NoOutputFile

No output should be created, like in Interpreter or NoBackend.

Instances

Show PipelineOutput

Defined in GHC.Driver.Pipeline.Monad

Methods

showsPrec :: Int -> PipelineOutput -> ShowS

show :: PipelineOutput -> String

showList :: [PipelineOutput] -> ShowS