Development.Shake.ATS

Shake Rules

cgen

Arguments

:: ATSToolConfig

-> FilePath

Directory containing ATS source code

-> Rules ()

cgenPretty :: ATSToolConfig -> FilePath -> Rules ()

This uses pats-filter to prettify the errors.

cleanATS :: Rules ()

atsBin :: BinaryTarget -> Rules ()

atsLex :: FilePattern -> Rules ()

Build a .lats file.

cabalExport :: ForeignCabal -> Rules ()

Actions

patsHome :: Version -> Action String

The directory that will be PATSHOME.

Helper functions

getSubdirs :: FilePath -> IO [FilePath]

ccToString :: CCompiler -> String

compatible :: CCompiler -> CCompiler -> Bool

Whether

newtype Version :: *

Constructors

Version [Integer]

Instances

Eq Version

Methods

(==) :: Version -> Version -> Bool

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

Ord Version

Methods

compare :: Version -> Version -> Ordering

(<) :: Version -> Version -> Bool

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

(>) :: Version -> Version -> Bool

(>=) :: Version -> Version -> Bool

max :: Version -> Version -> Version

min :: Version -> Version -> Version

Show Version

Methods

showsPrec :: Int -> Version -> ShowS

show :: Version -> String

showList :: [Version] -> ShowS

Generic Version

Associated Types

type Rep Version :: * -> *

Methods

from :: Version -> Rep Version x

to :: Rep Version x -> Version

Binary Version

Methods

put :: Version -> Put

get :: Get Version

putList :: [Version] -> Put

NFData Version

Methods

rnf :: Version -> ()

type Rep Version

type Rep Version = D1 * (MetaData "Version" "Data.Dependency.Type" "dependency-0.1.0.0-AwRF7IZCq4OhoffktdIqo" True) (C1 * (MetaCons "Version" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Integer])))

data ForeignCabal

Data type containing information about Haskell components of a build.

Constructors

ForeignCabal

Fields

• cabalFile :: Text

  .cabal file associated with the library

• objectFile :: Text

  Object file to be generated

Instances

Eq ForeignCabal

Methods

(==) :: ForeignCabal -> ForeignCabal -> Bool

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

Show ForeignCabal

Methods

showsPrec :: Int -> ForeignCabal -> ShowS

show :: ForeignCabal -> String

showList :: [ForeignCabal] -> ShowS

Generic ForeignCabal

Associated Types

type Rep ForeignCabal :: * -> *

Methods

from :: ForeignCabal -> Rep ForeignCabal x

to :: Rep ForeignCabal x -> ForeignCabal

Binary ForeignCabal

Methods

put :: ForeignCabal -> Put

get :: Get ForeignCabal

putList :: [ForeignCabal] -> Put

type Rep ForeignCabal

type Rep ForeignCabal = D1 * (MetaData "ForeignCabal" "Development.Shake.ATS.Type" "shake-ats-1.3.0.7-CDmka0N72qLLOiPYahd8js" False) (C1 * (MetaCons "ForeignCabal" PrefixI True) ((:*:) * (S1 * (MetaSel (Just Symbol "cabalFile") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text)) (S1 * (MetaSel (Just Symbol "objectFile") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text))))

data BinaryTarget

Constructors

BinaryTarget

Fields

• cc :: String

  C compiler to be used.

• cFlags :: [String]

  Flags to be passed to the C compiler

• toolConfig :: ATSToolConfig
• gc :: Bool

  Whether to configure build for use with the garbage collector.

• libs :: [String]

  Libraries against which to link

• src :: String

  Source file for binary.

• hsLibs :: [ForeignCabal]

  Cabal-based Haskell libraries

• genTargets :: [(String, String)]

  Files to be run through hs2ats.

• binTarget :: String

  Binary target

• cDeps :: [String]

  Any C files necessary to compile the target

Instances

Generic BinaryTarget

Associated Types

type Rep BinaryTarget :: * -> *

Methods

from :: BinaryTarget -> Rep BinaryTarget x

to :: Rep BinaryTarget x -> BinaryTarget

Binary BinaryTarget

Methods

put :: BinaryTarget -> Put

get :: Get BinaryTarget

putList :: [BinaryTarget] -> Put

type Rep BinaryTarget

type Rep BinaryTarget = D1 * (MetaData "BinaryTarget" "Development.Shake.ATS.Type" "shake-ats-1.3.0.7-CDmka0N72qLLOiPYahd8js" False) (C1 * (MetaCons "BinaryTarget" PrefixI True) ((:*:) * ((:*:) * ((:*:) * (S1 * (MetaSel (Just Symbol "cc") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * String)) (S1 * (MetaSel (Just Symbol "cFlags") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [String]))) ((:*:) * (S1 * (MetaSel (Just Symbol "toolConfig") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * ATSToolConfig)) ((:*:) * (S1 * (MetaSel (Just Symbol "gc") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Bool)) (S1 * (MetaSel (Just Symbol "libs") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [String]))))) ((:*:) * ((:*:) * (S1 * (MetaSel (Just Symbol "src") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * String)) (S1 * (MetaSel (Just Symbol "hsLibs") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [ForeignCabal]))) ((:*:) * (S1 * (MetaSel (Just Symbol "genTargets") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [(String, String)])) ((:*:) * (S1 * (MetaSel (Just Symbol "binTarget") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * String)) (S1 * (MetaSel (Just Symbol "cDeps") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [String])))))))

data ATSToolConfig

Information about where to find patscc and patsopt.

Constructors

ATSToolConfig

Fields

• libVersion :: Version
• compilerVer :: Version
• hasPretty :: Bool

  Whether to display errors via pats-filter

Instances

Generic ATSToolConfig

Associated Types

type Rep ATSToolConfig :: * -> *

Methods

from :: ATSToolConfig -> Rep ATSToolConfig x

to :: Rep ATSToolConfig x -> ATSToolConfig

Binary ATSToolConfig

Methods

put :: ATSToolConfig -> Put

get :: Get ATSToolConfig

putList :: [ATSToolConfig] -> Put

type Rep ATSToolConfig

type Rep ATSToolConfig = D1 * (MetaData "ATSToolConfig" "Development.Shake.ATS.Type" "shake-ats-1.3.0.7-CDmka0N72qLLOiPYahd8js" False) (C1 * (MetaCons "ATSToolConfig" PrefixI True) ((:*:) * (S1 * (MetaSel (Just Symbol "libVersion") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Version)) ((:*:) * (S1 * (MetaSel (Just Symbol "compilerVer") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Version)) (S1 * (MetaSel (Just Symbol "hasPretty") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Bool)))))

data CCompiler

Constructors

GCC (Maybe String) (Maybe String)

Clang

Other String

Bundled Patterns

pattern GCCStd :: CCompiler

Instances

Eq CCompiler

Methods

(==) :: CCompiler -> CCompiler -> Bool

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