Safe Haskell	None
Language	Haskell2010

Data.Prune.Types

Description

Synopsis

data BuildSystem
- = Stack
- | CabalProject
- | Cabal
parseBuildSystem :: String -> Maybe BuildSystem
allBuildSystems :: [BuildSystem]
data Verbosity
- = Silent
- | Error
- | Info
- | Debug
parseVerbosity :: String -> Maybe Verbosity
allVerbosities :: [Verbosity]
data CompilableType
- = CompilableTypeLibrary
- | CompilableTypeExecutable
- | CompilableTypeTest
- | CompilableTypeBenchmark
newtype CompilableName = CompilableName {
- unCompilableName :: Text
}
data DependencyName = DependencyName {
- unDependencyName :: Text
}
data ModuleName = ModuleName {
- unModuleName :: Text
}
data Compilable = Compilable {
- compilableName :: CompilableName
- compilableType :: CompilableType
- compilableDependencies :: Set DependencyName
- compilableFiles :: Set FilePath
}
data Package = Package {
- packageName :: Text
- packageFile :: FilePath
- packageDescription :: GenericPackageDescription
- packageBaseDependencies :: Set DependencyName
- packageCompilables :: [Compilable]
}
data StackYaml = StackYaml {
- stackYamlPackages :: [FilePath]
}
data ShouldApply
- = ShouldNotApply
- | ShouldApply
- | ShouldApplyNoVerify
validateShouldApply :: (Bool, Bool) -> ShouldApply
allApply :: [ShouldApply]
data ApplyStrategy
- = ApplyStrategySafe
- | ApplyStrategySmart
parseApplyStrategy :: String -> Maybe ApplyStrategy
allApplyStrategies :: [ApplyStrategy]
mkDependencyName :: Dependency -> DependencyName
mkCompilableName :: UnqualComponentName -> CompilableName
headMay :: [a] -> Maybe a
lastMay :: [a] -> Maybe a
ifM :: Monad m => m Bool -> m a -> m a -> m a
whenM :: Monad m => m Bool -> m () -> m ()
unlessM :: Monad m => m Bool -> m () -> m ()

Documentation

data BuildSystem Source #

Constructors

Stack
CabalProject
Cabal

Instances

Instances details

Bounded BuildSystem Source #
Instance details Defined in Data.Prune.Types Methods minBound :: BuildSystem # maxBound :: BuildSystem #
Enum BuildSystem Source #
Instance details Defined in Data.Prune.Types Methods succ :: BuildSystem -> BuildSystem # pred :: BuildSystem -> BuildSystem # toEnum :: Int -> BuildSystem # fromEnum :: BuildSystem -> Int # enumFrom :: BuildSystem -> [BuildSystem] # enumFromThen :: BuildSystem -> BuildSystem -> [BuildSystem] # enumFromTo :: BuildSystem -> BuildSystem -> [BuildSystem] # enumFromThenTo :: BuildSystem -> BuildSystem -> BuildSystem -> [BuildSystem] #
Eq BuildSystem Source #
Instance details Defined in Data.Prune.Types Methods (==) :: BuildSystem -> BuildSystem -> Bool # (/=) :: BuildSystem -> BuildSystem -> Bool #
Ord BuildSystem Source #
Instance details Defined in Data.Prune.Types Methods compare :: BuildSystem -> BuildSystem -> Ordering # (<) :: BuildSystem -> BuildSystem -> Bool # (<=) :: BuildSystem -> BuildSystem -> Bool # (>) :: BuildSystem -> BuildSystem -> Bool # (>=) :: BuildSystem -> BuildSystem -> Bool # max :: BuildSystem -> BuildSystem -> BuildSystem # min :: BuildSystem -> BuildSystem -> BuildSystem #
Show BuildSystem Source #
Instance details Defined in Data.Prune.Types Methods showsPrec :: Int -> BuildSystem -> ShowS # show :: BuildSystem -> String # showList :: [BuildSystem] -> ShowS #

parseBuildSystem :: String -> Maybe BuildSystem Source #

allBuildSystems :: [BuildSystem] Source #

data Verbosity Source #

Constructors

Silent
Error
Info
Debug

Instances

Instances details

Bounded Verbosity Source #
Instance details Defined in Data.Prune.Types Methods minBound :: Verbosity # maxBound :: Verbosity #
Enum Verbosity Source #
Instance details Defined in Data.Prune.Types Methods succ :: Verbosity -> Verbosity # pred :: Verbosity -> Verbosity # toEnum :: Int -> Verbosity # fromEnum :: Verbosity -> Int # enumFrom :: Verbosity -> [Verbosity] # enumFromThen :: Verbosity -> Verbosity -> [Verbosity] # enumFromTo :: Verbosity -> Verbosity -> [Verbosity] # enumFromThenTo :: Verbosity -> Verbosity -> Verbosity -> [Verbosity] #
Eq Verbosity Source #
Instance details Defined in Data.Prune.Types Methods (==) :: Verbosity -> Verbosity -> Bool # (/=) :: Verbosity -> Verbosity -> Bool #
Ord Verbosity Source #
Instance details Defined in Data.Prune.Types Methods compare :: Verbosity -> Verbosity -> Ordering # (<) :: Verbosity -> Verbosity -> Bool # (<=) :: Verbosity -> Verbosity -> Bool # (>) :: Verbosity -> Verbosity -> Bool # (>=) :: Verbosity -> Verbosity -> Bool # max :: Verbosity -> Verbosity -> Verbosity # min :: Verbosity -> Verbosity -> Verbosity #
Show Verbosity Source #
Instance details Defined in Data.Prune.Types Methods showsPrec :: Int -> Verbosity -> ShowS # show :: Verbosity -> String # showList :: [Verbosity] -> ShowS #

parseVerbosity :: String -> Maybe Verbosity Source #

allVerbosities :: [Verbosity] Source #

data CompilableType Source #

The type of the thing to compile.

Constructors

CompilableTypeLibrary
CompilableTypeExecutable
CompilableTypeTest
CompilableTypeBenchmark

Instances

Instances details

Eq CompilableType Source #
Instance details Defined in Data.Prune.Types Methods (==) :: CompilableType -> CompilableType -> Bool # (/=) :: CompilableType -> CompilableType -> Bool #
Ord CompilableType Source #
Instance details Defined in Data.Prune.Types Methods compare :: CompilableType -> CompilableType -> Ordering # (<) :: CompilableType -> CompilableType -> Bool # (<=) :: CompilableType -> CompilableType -> Bool # (>) :: CompilableType -> CompilableType -> Bool # (>=) :: CompilableType -> CompilableType -> Bool # max :: CompilableType -> CompilableType -> CompilableType # min :: CompilableType -> CompilableType -> CompilableType #
Show CompilableType Source #
Instance details Defined in Data.Prune.Types Methods showsPrec :: Int -> CompilableType -> ShowS # show :: CompilableType -> String # showList :: [CompilableType] -> ShowS #

newtype CompilableName Source #

The name of the thing to compile.

Constructors

CompilableName
Fields unCompilableName :: Text

Instances

Instances details

Eq CompilableName Source #
Instance details Defined in Data.Prune.Types Methods (==) :: CompilableName -> CompilableName -> Bool # (/=) :: CompilableName -> CompilableName -> Bool #
Ord CompilableName Source #
Instance details Defined in Data.Prune.Types Methods compare :: CompilableName -> CompilableName -> Ordering # (<) :: CompilableName -> CompilableName -> Bool # (<=) :: CompilableName -> CompilableName -> Bool # (>) :: CompilableName -> CompilableName -> Bool # (>=) :: CompilableName -> CompilableName -> Bool # max :: CompilableName -> CompilableName -> CompilableName # min :: CompilableName -> CompilableName -> CompilableName #
Show CompilableName Source #
Instance details Defined in Data.Prune.Types Methods showsPrec :: Int -> CompilableName -> ShowS # show :: CompilableName -> String # showList :: [CompilableName] -> ShowS #

data DependencyName Source #

The name of the dependency as listed in package.yaml

Constructors

DependencyName
Fields unDependencyName :: Text

Instances

Instances details

Eq DependencyName Source #
Instance details Defined in Data.Prune.Types Methods (==) :: DependencyName -> DependencyName -> Bool # (/=) :: DependencyName -> DependencyName -> Bool #
Ord DependencyName Source #
Instance details Defined in Data.Prune.Types Methods compare :: DependencyName -> DependencyName -> Ordering # (<) :: DependencyName -> DependencyName -> Bool # (<=) :: DependencyName -> DependencyName -> Bool # (>) :: DependencyName -> DependencyName -> Bool # (>=) :: DependencyName -> DependencyName -> Bool # max :: DependencyName -> DependencyName -> DependencyName # min :: DependencyName -> DependencyName -> DependencyName #
Show DependencyName Source #
Instance details Defined in Data.Prune.Types Methods showsPrec :: Int -> DependencyName -> ShowS # show :: DependencyName -> String # showList :: [DependencyName] -> ShowS #

data ModuleName Source #

A qualified module name, like Foo.Bar

Constructors

ModuleName
Fields unModuleName :: Text

Instances

Instances details

Eq ModuleName Source #
Instance details Defined in Data.Prune.Types Methods (==) :: ModuleName -> ModuleName -> Bool # (/=) :: ModuleName -> ModuleName -> Bool #
Ord ModuleName Source #
Instance details Defined in Data.Prune.Types Methods compare :: ModuleName -> ModuleName -> Ordering # (<) :: ModuleName -> ModuleName -> Bool # (<=) :: ModuleName -> ModuleName -> Bool # (>) :: ModuleName -> ModuleName -> Bool # (>=) :: ModuleName -> ModuleName -> Bool # max :: ModuleName -> ModuleName -> ModuleName # min :: ModuleName -> ModuleName -> ModuleName #
Show ModuleName Source #
Instance details Defined in Data.Prune.Types Methods showsPrec :: Int -> ModuleName -> ShowS # show :: ModuleName -> String # showList :: [ModuleName] -> ShowS #

data Compilable Source #

A thing to compile.

Constructors

Compilable
Fields compilableName :: CompilableName compilableType :: CompilableType compilableDependencies :: Set DependencyName The list of dependencies less the common dependencies. compilableFiles :: Set FilePath The files under `source-dirs`.

Instances

Instances details

Eq Compilable Source #
Instance details Defined in Data.Prune.Types Methods (==) :: Compilable -> Compilable -> Bool # (/=) :: Compilable -> Compilable -> Bool #
Ord Compilable Source #
Instance details Defined in Data.Prune.Types Methods compare :: Compilable -> Compilable -> Ordering # (<) :: Compilable -> Compilable -> Bool # (<=) :: Compilable -> Compilable -> Bool # (>) :: Compilable -> Compilable -> Bool # (>=) :: Compilable -> Compilable -> Bool # max :: Compilable -> Compilable -> Compilable # min :: Compilable -> Compilable -> Compilable #
Show Compilable Source #
Instance details Defined in Data.Prune.Types Methods showsPrec :: Int -> Compilable -> ShowS # show :: Compilable -> String # showList :: [Compilable] -> ShowS #

data Package Source #

Constructors

Package
Fields packageName :: Text The name of the package. packageFile :: FilePath The location of the cabal file. packageDescription :: GenericPackageDescription The path to the config file. packageBaseDependencies :: Set DependencyName The list of common dependencies. packageCompilables :: [Compilable] The things to compile in the package.

Instances

Instances details

Eq Package Source #
Instance details Defined in Data.Prune.Types Methods (==) :: Package -> Package -> Bool # (/=) :: Package -> Package -> Bool #
Show Package Source #
Instance details Defined in Data.Prune.Types Methods showsPrec :: Int -> Package -> ShowS # show :: Package -> String # showList :: [Package] -> ShowS #

data StackYaml Source #

Constructors

StackYaml
Fields stackYamlPackages :: [FilePath] The list of packages in stack.yaml. FIXME not every package is this way.

Instances

Instances details

Eq StackYaml Source #
Instance details Defined in Data.Prune.Types Methods (==) :: StackYaml -> StackYaml -> Bool # (/=) :: StackYaml -> StackYaml -> Bool #
Ord StackYaml Source #
Instance details Defined in Data.Prune.Types Methods compare :: StackYaml -> StackYaml -> Ordering # (<) :: StackYaml -> StackYaml -> Bool # (<=) :: StackYaml -> StackYaml -> Bool # (>) :: StackYaml -> StackYaml -> Bool # (>=) :: StackYaml -> StackYaml -> Bool # max :: StackYaml -> StackYaml -> StackYaml # min :: StackYaml -> StackYaml -> StackYaml #
Show StackYaml Source #
Instance details Defined in Data.Prune.Types Methods showsPrec :: Int -> StackYaml -> ShowS # show :: StackYaml -> String # showList :: [StackYaml] -> ShowS #
FromJSON StackYaml Source #
Instance details Defined in Data.Prune.Types Methods parseJSON :: Value -> Parser StackYaml # parseJSONList :: Value -> Parser [StackYaml] #

data ShouldApply Source #

Constructors

ShouldNotApply
ShouldApply
ShouldApplyNoVerify

Instances

Instances details

Bounded ShouldApply Source #
Instance details Defined in Data.Prune.Types Methods minBound :: ShouldApply # maxBound :: ShouldApply #
Enum ShouldApply Source #
Instance details Defined in Data.Prune.Types Methods succ :: ShouldApply -> ShouldApply # pred :: ShouldApply -> ShouldApply # toEnum :: Int -> ShouldApply # fromEnum :: ShouldApply -> Int # enumFrom :: ShouldApply -> [ShouldApply] # enumFromThen :: ShouldApply -> ShouldApply -> [ShouldApply] # enumFromTo :: ShouldApply -> ShouldApply -> [ShouldApply] # enumFromThenTo :: ShouldApply -> ShouldApply -> ShouldApply -> [ShouldApply] #
Eq ShouldApply Source #
Instance details Defined in Data.Prune.Types Methods (==) :: ShouldApply -> ShouldApply -> Bool # (/=) :: ShouldApply -> ShouldApply -> Bool #
Ord ShouldApply Source #
Instance details Defined in Data.Prune.Types Methods compare :: ShouldApply -> ShouldApply -> Ordering # (<) :: ShouldApply -> ShouldApply -> Bool # (<=) :: ShouldApply -> ShouldApply -> Bool # (>) :: ShouldApply -> ShouldApply -> Bool # (>=) :: ShouldApply -> ShouldApply -> Bool # max :: ShouldApply -> ShouldApply -> ShouldApply # min :: ShouldApply -> ShouldApply -> ShouldApply #
Show ShouldApply Source #
Instance details Defined in Data.Prune.Types Methods showsPrec :: Int -> ShouldApply -> ShowS # show :: ShouldApply -> String # showList :: [ShouldApply] -> ShowS #

validateShouldApply :: (Bool, Bool) -> ShouldApply Source #

allApply :: [ShouldApply] Source #

data ApplyStrategy Source #

Constructors

ApplyStrategySafe
ApplyStrategySmart

Instances

Instances details

Bounded ApplyStrategy Source #
Instance details Defined in Data.Prune.Types Methods minBound :: ApplyStrategy # maxBound :: ApplyStrategy #
Enum ApplyStrategy Source #
Instance details Defined in Data.Prune.Types Methods succ :: ApplyStrategy -> ApplyStrategy # pred :: ApplyStrategy -> ApplyStrategy # toEnum :: Int -> ApplyStrategy # fromEnum :: ApplyStrategy -> Int # enumFrom :: ApplyStrategy -> [ApplyStrategy] # enumFromThen :: ApplyStrategy -> ApplyStrategy -> [ApplyStrategy] # enumFromTo :: ApplyStrategy -> ApplyStrategy -> [ApplyStrategy] # enumFromThenTo :: ApplyStrategy -> ApplyStrategy -> ApplyStrategy -> [ApplyStrategy] #
Eq ApplyStrategy Source #
Instance details Defined in Data.Prune.Types Methods (==) :: ApplyStrategy -> ApplyStrategy -> Bool # (/=) :: ApplyStrategy -> ApplyStrategy -> Bool #
Ord ApplyStrategy Source #
Instance details Defined in Data.Prune.Types Methods compare :: ApplyStrategy -> ApplyStrategy -> Ordering # (<) :: ApplyStrategy -> ApplyStrategy -> Bool # (<=) :: ApplyStrategy -> ApplyStrategy -> Bool # (>) :: ApplyStrategy -> ApplyStrategy -> Bool # (>=) :: ApplyStrategy -> ApplyStrategy -> Bool # max :: ApplyStrategy -> ApplyStrategy -> ApplyStrategy # min :: ApplyStrategy -> ApplyStrategy -> ApplyStrategy #
Show ApplyStrategy Source #
Instance details Defined in Data.Prune.Types Methods showsPrec :: Int -> ApplyStrategy -> ShowS # show :: ApplyStrategy -> String # showList :: [ApplyStrategy] -> ShowS #

parseApplyStrategy :: String -> Maybe ApplyStrategy Source #

allApplyStrategies :: [ApplyStrategy] Source #

mkDependencyName :: Dependency -> DependencyName Source #

mkCompilableName :: UnqualComponentName -> CompilableName Source #

headMay :: [a] -> Maybe a Source #

lastMay :: [a] -> Maybe a Source #

ifM :: Monad m => m Bool -> m a -> m a -> m a Source #

whenM :: Monad m => m Bool -> m () -> m () Source #

unlessM :: Monad m => m Bool -> m () -> m () Source #