{-# LANGUAGE DeriveDataTypeable #-}
{-# LANGUAGE DeriveGeneric #-}
module Distribution.Types.ComponentRequestedSpec (
ComponentRequestedSpec(..),
ComponentDisabledReason(..),
defaultComponentRequestedSpec,
componentNameRequested,
componentEnabled,
componentDisabledReason,
) where
import Prelude ()
import Distribution.Compat.Prelude
import Distribution.Types.Component
import Distribution.Types.ComponentName
import Distribution.Pretty (prettyShow)
data ComponentRequestedSpec
= ComponentRequestedSpec { ComponentRequestedSpec -> Bool
testsRequested :: Bool
, ComponentRequestedSpec -> Bool
benchmarksRequested :: Bool }
| OneComponentRequestedSpec ComponentName
deriving (forall x. Rep ComponentRequestedSpec x -> ComponentRequestedSpec
forall x. ComponentRequestedSpec -> Rep ComponentRequestedSpec x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cto :: forall x. Rep ComponentRequestedSpec x -> ComponentRequestedSpec
$cfrom :: forall x. ComponentRequestedSpec -> Rep ComponentRequestedSpec x
Generic, ReadPrec [ComponentRequestedSpec]
ReadPrec ComponentRequestedSpec
Int -> ReadS ComponentRequestedSpec
ReadS [ComponentRequestedSpec]
forall a.
(Int -> ReadS a)
-> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
readListPrec :: ReadPrec [ComponentRequestedSpec]
$creadListPrec :: ReadPrec [ComponentRequestedSpec]
readPrec :: ReadPrec ComponentRequestedSpec
$creadPrec :: ReadPrec ComponentRequestedSpec
readList :: ReadS [ComponentRequestedSpec]
$creadList :: ReadS [ComponentRequestedSpec]
readsPrec :: Int -> ReadS ComponentRequestedSpec
$creadsPrec :: Int -> ReadS ComponentRequestedSpec
Read, Int -> ComponentRequestedSpec -> ShowS
[ComponentRequestedSpec] -> ShowS
ComponentRequestedSpec -> String
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [ComponentRequestedSpec] -> ShowS
$cshowList :: [ComponentRequestedSpec] -> ShowS
show :: ComponentRequestedSpec -> String
$cshow :: ComponentRequestedSpec -> String
showsPrec :: Int -> ComponentRequestedSpec -> ShowS
$cshowsPrec :: Int -> ComponentRequestedSpec -> ShowS
Show, ComponentRequestedSpec -> ComponentRequestedSpec -> Bool
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: ComponentRequestedSpec -> ComponentRequestedSpec -> Bool
$c/= :: ComponentRequestedSpec -> ComponentRequestedSpec -> Bool
== :: ComponentRequestedSpec -> ComponentRequestedSpec -> Bool
$c== :: ComponentRequestedSpec -> ComponentRequestedSpec -> Bool
Eq, Typeable)
instance Binary ComponentRequestedSpec
instance Structured ComponentRequestedSpec
defaultComponentRequestedSpec :: ComponentRequestedSpec
defaultComponentRequestedSpec :: ComponentRequestedSpec
defaultComponentRequestedSpec = Bool -> Bool -> ComponentRequestedSpec
ComponentRequestedSpec Bool
False Bool
False
componentEnabled :: ComponentRequestedSpec -> Component -> Bool
componentEnabled :: ComponentRequestedSpec -> Component -> Bool
componentEnabled ComponentRequestedSpec
enabled = forall a. Maybe a -> Bool
isNothing forall b c a. (b -> c) -> (a -> b) -> a -> c
. ComponentRequestedSpec
-> Component -> Maybe ComponentDisabledReason
componentDisabledReason ComponentRequestedSpec
enabled
componentNameRequested :: ComponentRequestedSpec -> ComponentName -> Bool
componentNameRequested :: ComponentRequestedSpec -> ComponentName -> Bool
componentNameRequested ComponentRequestedSpec
enabled = forall a. Maybe a -> Bool
isNothing forall b c a. (b -> c) -> (a -> b) -> a -> c
. ComponentRequestedSpec
-> ComponentName -> Maybe ComponentDisabledReason
componentNameNotRequestedReason ComponentRequestedSpec
enabled
componentDisabledReason :: ComponentRequestedSpec -> Component
-> Maybe ComponentDisabledReason
componentDisabledReason :: ComponentRequestedSpec
-> Component -> Maybe ComponentDisabledReason
componentDisabledReason ComponentRequestedSpec
enabled Component
comp
| Bool -> Bool
not (Component -> Bool
componentBuildable Component
comp) = forall a. a -> Maybe a
Just ComponentDisabledReason
DisabledComponent
| Bool
otherwise = ComponentRequestedSpec
-> ComponentName -> Maybe ComponentDisabledReason
componentNameNotRequestedReason ComponentRequestedSpec
enabled (Component -> ComponentName
componentName Component
comp)
componentNameNotRequestedReason :: ComponentRequestedSpec -> ComponentName
-> Maybe ComponentDisabledReason
componentNameNotRequestedReason :: ComponentRequestedSpec
-> ComponentName -> Maybe ComponentDisabledReason
componentNameNotRequestedReason
ComponentRequestedSpec{ testsRequested :: ComponentRequestedSpec -> Bool
testsRequested = Bool
False } (CTestName UnqualComponentName
_)
= forall a. a -> Maybe a
Just ComponentDisabledReason
DisabledAllTests
componentNameNotRequestedReason
ComponentRequestedSpec{ benchmarksRequested :: ComponentRequestedSpec -> Bool
benchmarksRequested = Bool
False } (CBenchName UnqualComponentName
_)
= forall a. a -> Maybe a
Just ComponentDisabledReason
DisabledAllBenchmarks
componentNameNotRequestedReason ComponentRequestedSpec{} ComponentName
_ = forall a. Maybe a
Nothing
componentNameNotRequestedReason (OneComponentRequestedSpec ComponentName
cname) ComponentName
c
| ComponentName
c forall a. Eq a => a -> a -> Bool
== ComponentName
cname = forall a. Maybe a
Nothing
| Bool
otherwise = forall a. a -> Maybe a
Just (String -> ComponentDisabledReason
DisabledAllButOne (forall a. Pretty a => a -> String
prettyShow ComponentName
cname))
data ComponentDisabledReason = DisabledComponent
| DisabledAllTests
| DisabledAllBenchmarks
| DisabledAllButOne String