ddc-build-0.4.2.1: Disciplined Disciple Compiler build framework.

Safe HaskellNone
LanguageHaskell98

DDC.Build.Interface.Base

Synopsis

Documentation

data Interface ta sa Source

Module interface.

Constructors

Interface 

Fields

interfaceFilePath :: FilePath

Path that the interface was loaded from.

interfaceTimeStamp :: UTCTime

Last modification time of the interface file, used to determine when the source needs to be rebuilt.

interfaceVersion :: String
 
interfaceModuleName :: ModuleName
 
interfaceTetraModule :: Maybe (Module ta Name)
 
interfaceSaltModule :: Maybe (Module sa Name)
 

Instances

makeInterfaceTearLine :: String -> String Source

Tear line to separate sections of the interface file. We use '~' because it's not used in the core language syntax.

takeInterfaceTearLine :: String -> Maybe String Source

Take the name from an interface tear line, if it is one.

isInterfaceTearLine :: String -> Bool Source

Check if this string is an interface tear line.