{-# LANGUAGE DeriveGeneric #-}
module Cabal.Optimization (
Optimization (..),
) where
import Control.Applicative (Alternative (..))
import Control.DeepSeq (NFData (..))
import GHC.Generics (Generic)
import qualified Distribution.Compat.CharParsing as C
import qualified Distribution.Parsec as C
import qualified Distribution.Pretty as C
import qualified Text.PrettyPrint as PP
data Optimization
= OptimizationOn
| OptimizationOff
| OptimizationLevel Int
deriving (Optimization -> Optimization -> Bool
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: Optimization -> Optimization -> Bool
$c/= :: Optimization -> Optimization -> Bool
== :: Optimization -> Optimization -> Bool
$c== :: Optimization -> Optimization -> Bool
Eq, Int -> Optimization -> ShowS
[Optimization] -> ShowS
Optimization -> String
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [Optimization] -> ShowS
$cshowList :: [Optimization] -> ShowS
show :: Optimization -> String
$cshow :: Optimization -> String
showsPrec :: Int -> Optimization -> ShowS
$cshowsPrec :: Int -> Optimization -> ShowS
Show, forall x. Rep Optimization x -> Optimization
forall x. Optimization -> Rep Optimization x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cto :: forall x. Rep Optimization x -> Optimization
$cfrom :: forall x. Optimization -> Rep Optimization x
Generic)
instance C.Parsec Optimization where
parsec :: forall (m :: * -> *). CabalParsing m => m Optimization
parsec = m Optimization
boolean forall (f :: * -> *) a. Alternative f => f a -> f a -> f a
<|> m Optimization
numeric where
boolean :: m Optimization
boolean = forall {p}. p -> p -> Bool -> p
ite Optimization
OptimizationOn Optimization
OptimizationOff forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> forall a (m :: * -> *). (Parsec a, CabalParsing m) => m a
C.parsec
numeric :: m Optimization
numeric = Int -> Optimization
OptimizationLevel forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> forall (m :: * -> *) a. (CharParsing m, Integral a) => m a
C.integral
ite :: p -> p -> Bool -> p
ite p
t p
_ Bool
True = p
t
ite p
_ p
f Bool
False = p
f
instance C.Pretty Optimization where
pretty :: Optimization -> Doc
pretty Optimization
OptimizationOn = forall a. Pretty a => a -> Doc
C.pretty Bool
True
pretty Optimization
OptimizationOff = forall a. Pretty a => a -> Doc
C.pretty Bool
False
pretty (OptimizationLevel Int
l) = Int -> Doc
PP.int Int
l
instance NFData Optimization