Types.hs

module Development.Hake.Types (
  Rule
, RuleInner
, Targets
, Sources
, Commands

, TargetRet
, SourcesRet
, CommandIO
, CommandRet
, RuleRet

, MadeFromList

, getSrcs
, getUpdateStatus
) where

import Control.Monad.Reader (ReaderT, asks)
import System.Exit          (ExitCode)

type Targets   = [ String -> Bool ]
type Sources   = String -> SourcesRet
type Commands  = String -> [ String ] -> [ CommandRet ]
type Rule      = ( Targets, Sources, Commands )
type RuleInner = ( Targets, (Sources, Commands) )

type TargetRet   = String
type SourcesRet  = [ String ]
type CommandIO   = ReaderT (Bool, MadeFromList) IO
type CommandRet  = CommandIO ExitCode
type RuleRet     = ( TargetRet, (SourcesRet, [CommandRet]) )

type MadeFromList = [ (FilePath, [FilePath]) ]

getSrcs :: FilePath -> CommandIO [FilePath]
getSrcs fp = asks (maybe [] id . lookup fp . snd)

getUpdateStatus :: CommandIO Bool
getUpdateStatus = asks fst