Distribution.Simple.PreProcess.Types

This defines a PreProcessor abstraction which represents a pre-processor that can transform one kind of file into another.

Documentation

newtype Suffix

A suffix (or file extension).

Mostly used to decide which preprocessor to use, e.g. files with suffix "y" are usually processed by the "happy" build tool.

Constructors

Suffix String

Instances

Pretty Suffix

Defined in Distribution.Simple.PreProcess.Types

Methods

pretty :: Suffix -> Doc

prettyVersioned :: CabalSpecVersion -> Suffix -> Doc

Structured Suffix

Defined in Distribution.Simple.PreProcess.Types

Methods

structure :: Proxy Suffix -> Structure

structureHash' :: Tagged Suffix MD5

IsString Suffix

Defined in Distribution.Simple.PreProcess.Types

Methods

fromString :: String -> Suffix

Generic Suffix

Defined in Distribution.Simple.PreProcess.Types

Associated Types

type Rep Suffix :: Type -> Type

Methods

from :: Suffix -> Rep Suffix x

to :: Rep Suffix x -> Suffix

Show Suffix

Defined in Distribution.Simple.PreProcess.Types

Methods

showsPrec :: Int -> Suffix -> ShowS

show :: Suffix -> String

showList :: [Suffix] -> ShowS

Binary Suffix

Defined in Distribution.Simple.PreProcess.Types

Methods

put :: Suffix -> Put

get :: Get Suffix

putList :: [Suffix] -> Put

Eq Suffix

Defined in Distribution.Simple.PreProcess.Types

Methods

(==) :: Suffix -> Suffix -> Bool

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

Ord Suffix

Defined in Distribution.Simple.PreProcess.Types

Methods

compare :: Suffix -> Suffix -> Ordering

(<) :: Suffix -> Suffix -> Bool

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

(>) :: Suffix -> Suffix -> Bool

(>=) :: Suffix -> Suffix -> Bool

max :: Suffix -> Suffix -> Suffix

min :: Suffix -> Suffix -> Suffix

type Rep Suffix

Defined in Distribution.Simple.PreProcess.Types

type Rep Suffix = D1 ('MetaData "Suffix" "Distribution.Simple.PreProcess.Types" "Cabal-3.12.1.0-IXrDPRyFYnM8N0ekMEkERa" 'True) (C1 ('MetaCons "Suffix" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

data PreProcessor

The interface to a preprocessor, which may be implemented using an external program, but need not be. The arguments are the name of the input file, the name of the output file and a verbosity level. Here is a simple example that merely prepends a comment to the given source file:

ppTestHandler :: PreProcessor
ppTestHandler =
  PreProcessor {
    platformIndependent = True,
    runPreProcessor = mkSimplePreProcessor $ \inFile outFile verbosity ->
      do info verbosity (inFile++" has been preprocessed to "++outFile)
         stuff <- readFile inFile
         writeFile outFile ("-- preprocessed as a test\n\n" ++ stuff)
         return ExitSuccess

We split the input and output file names into a base directory and the rest of the file name. The input base dir is the path in the list of search dirs that this file was found in. The output base dir is the build dir where all the generated source files are put.

The reason for splitting it up this way is that some pre-processors don't simply generate one output .hs file from one input file but have dependencies on other generated files (notably c2hs, where building one .hs file may require reading other .chi files, and then compiling the .hs file may require reading a generated .h file). In these cases the generated files need to embed relative path names to each other (eg the generated .hs file mentions the .h file in the FFI imports). This path must be relative to the base directory where the generated files are located, it cannot be relative to the top level of the build tree because the compilers do not look for .h files relative to there, ie we do not use "-I .", instead we use "-I dist/build" (or whatever dist dir has been set by the user)

Most pre-processors do not care of course, so mkSimplePreProcessor and runSimplePreProcessor functions handle the simple case.

Constructors

PreProcessor

Fields

• platformIndependent :: Bool
• ppOrdering :: Verbosity -> [FilePath] -> [ModuleName] -> IO [ModuleName]

  This function can reorder all modules, not just those that the require the preprocessor in question. As such, this function should be well-behaved and not reorder modules it doesn't have dominion over!

  Since: 3.8.1.0

• runPreProcessor :: (FilePath, FilePath) -> (FilePath, FilePath) -> Verbosity -> IO ()

builtinHaskellSuffixes :: [Suffix]

builtinHaskellBootSuffixes :: [Suffix]