DDC.Build.Interface.Base

Documentation

data Interface ta sa

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

Pretty (Interface ta sa)

Associated Types

data PrettyMode (Interface ta sa) :: *

Methods

pprDefaultMode :: PrettyMode (Interface ta sa)

ppr :: Interface ta sa -> Doc

pprPrec :: Int -> Interface ta sa -> Doc

pprModePrec :: PrettyMode (Interface ta sa) -> Int -> Interface ta sa -> Doc

makeInterfaceTearLine :: String -> String

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

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

isInterfaceTearLine :: String -> Bool

Check if this string is an interface tear line.