Safe Haskell	None
Language	Haskell2010

Distribution.CabalSpecVersion

Synopsis

data CabalSpecVersion
- = CabalSpecOld
- | CabalSpecV1_22
- | CabalSpecV1_24
- | CabalSpecV2_0
- | CabalSpecV2_2
cabalSpecLatest :: CabalSpecVersion
cabalSpecFeatures :: CabalSpecVersion -> Set CabalFeature
cabalSpecSupports :: CabalSpecVersion -> [Int] -> Bool
specHasCommonStanzas :: CabalSpecVersion -> HasCommonStanzas
specHasElif :: CabalSpecVersion -> HasElif
data CabalFeature
- = Elif
- | CommonStanzas
data HasElif
- = HasElif
- | NoElif
data HasCommonStanzas
- = HasCommonStanzas
- | NoCommonStanzas

Documentation

data CabalSpecVersion #

Different Cabal-the-spec versions.

We branch based on this at least in the parser.

Constructors

CabalSpecOld
CabalSpecV1_22
CabalSpecV1_24
CabalSpecV2_0
CabalSpecV2_2

Instances

Bounded CabalSpecVersion #
Instance details Methods minBound :: CabalSpecVersion # maxBound :: CabalSpecVersion #
Enum CabalSpecVersion #
Instance details Methods succ :: CabalSpecVersion -> CabalSpecVersion # pred :: CabalSpecVersion -> CabalSpecVersion # toEnum :: Int -> CabalSpecVersion # fromEnum :: CabalSpecVersion -> Int # enumFrom :: CabalSpecVersion -> [CabalSpecVersion] # enumFromThen :: CabalSpecVersion -> CabalSpecVersion -> [CabalSpecVersion] # enumFromTo :: CabalSpecVersion -> CabalSpecVersion -> [CabalSpecVersion] # enumFromThenTo :: CabalSpecVersion -> CabalSpecVersion -> CabalSpecVersion -> [CabalSpecVersion] #
Eq CabalSpecVersion #
Instance details Methods (==) :: CabalSpecVersion -> CabalSpecVersion -> Bool # (/=) :: CabalSpecVersion -> CabalSpecVersion -> Bool #
Data CabalSpecVersion #
Instance details Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CabalSpecVersion -> c CabalSpecVersion # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CabalSpecVersion # toConstr :: CabalSpecVersion -> Constr # dataTypeOf :: CabalSpecVersion -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CabalSpecVersion) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CabalSpecVersion) # gmapT :: (forall b. Data b => b -> b) -> CabalSpecVersion -> CabalSpecVersion # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CabalSpecVersion -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CabalSpecVersion -> r # gmapQ :: (forall d. Data d => d -> u) -> CabalSpecVersion -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> CabalSpecVersion -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> CabalSpecVersion -> m CabalSpecVersion # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CabalSpecVersion -> m CabalSpecVersion # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CabalSpecVersion -> m CabalSpecVersion #
Ord CabalSpecVersion #
Instance details Methods compare :: CabalSpecVersion -> CabalSpecVersion -> Ordering # (<) :: CabalSpecVersion -> CabalSpecVersion -> Bool # (<=) :: CabalSpecVersion -> CabalSpecVersion -> Bool # (>) :: CabalSpecVersion -> CabalSpecVersion -> Bool # (>=) :: CabalSpecVersion -> CabalSpecVersion -> Bool # max :: CabalSpecVersion -> CabalSpecVersion -> CabalSpecVersion # min :: CabalSpecVersion -> CabalSpecVersion -> CabalSpecVersion #
Read CabalSpecVersion #
Instance details Methods readsPrec :: Int -> ReadS CabalSpecVersion # readList :: ReadS [CabalSpecVersion] # readPrec :: ReadPrec CabalSpecVersion # readListPrec :: ReadPrec [CabalSpecVersion] #
Show CabalSpecVersion #
Instance details Methods showsPrec :: Int -> CabalSpecVersion -> ShowS # show :: CabalSpecVersion -> String # showList :: [CabalSpecVersion] -> ShowS #
Generic CabalSpecVersion #
Instance details Associated Types type Rep CabalSpecVersion :: * -> * # Methods from :: CabalSpecVersion -> Rep CabalSpecVersion x # to :: Rep CabalSpecVersion x -> CabalSpecVersion #
type Rep CabalSpecVersion #
Instance details type Rep CabalSpecVersion = D1 (MetaData "CabalSpecVersion" "Distribution.CabalSpecVersion" "Cabal-2.2.0.1-JS0vobxWxH7sbYKd0omMO" False) ((C1 (MetaCons "CabalSpecOld" PrefixI False) (U1 :: * -> ) :+: C1 (MetaCons "CabalSpecV1_22" PrefixI False) (U1 :: -> )) :+: (C1 (MetaCons "CabalSpecV1_24" PrefixI False) (U1 :: -> ) :+: (C1 (MetaCons "CabalSpecV2_0" PrefixI False) (U1 :: -> ) :+: C1 (MetaCons "CabalSpecV2_2" PrefixI False) (U1 :: -> *))))

cabalSpecLatest :: CabalSpecVersion #

cabalSpecFeatures :: CabalSpecVersion -> Set CabalFeature #

cabalSpecSupports :: CabalSpecVersion -> [Int] -> Bool #

specHasCommonStanzas :: CabalSpecVersion -> HasCommonStanzas #

specHasElif :: CabalSpecVersion -> HasElif #

data CabalFeature #

Constructors

Elif
CommonStanzas

Instances

Bounded CabalFeature #
Instance details Methods minBound :: CabalFeature # maxBound :: CabalFeature #
Enum CabalFeature #
Instance details Methods succ :: CabalFeature -> CabalFeature # pred :: CabalFeature -> CabalFeature # toEnum :: Int -> CabalFeature # fromEnum :: CabalFeature -> Int # enumFrom :: CabalFeature -> [CabalFeature] # enumFromThen :: CabalFeature -> CabalFeature -> [CabalFeature] # enumFromTo :: CabalFeature -> CabalFeature -> [CabalFeature] # enumFromThenTo :: CabalFeature -> CabalFeature -> CabalFeature -> [CabalFeature] #
Eq CabalFeature #
Instance details Methods (==) :: CabalFeature -> CabalFeature -> Bool # (/=) :: CabalFeature -> CabalFeature -> Bool #
Data CabalFeature #
Instance details Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CabalFeature -> c CabalFeature # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CabalFeature # toConstr :: CabalFeature -> Constr # dataTypeOf :: CabalFeature -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CabalFeature) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CabalFeature) # gmapT :: (forall b. Data b => b -> b) -> CabalFeature -> CabalFeature # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CabalFeature -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CabalFeature -> r # gmapQ :: (forall d. Data d => d -> u) -> CabalFeature -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> CabalFeature -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> CabalFeature -> m CabalFeature # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CabalFeature -> m CabalFeature # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CabalFeature -> m CabalFeature #
Ord CabalFeature #
Instance details Methods compare :: CabalFeature -> CabalFeature -> Ordering # (<) :: CabalFeature -> CabalFeature -> Bool # (<=) :: CabalFeature -> CabalFeature -> Bool # (>) :: CabalFeature -> CabalFeature -> Bool # (>=) :: CabalFeature -> CabalFeature -> Bool # max :: CabalFeature -> CabalFeature -> CabalFeature # min :: CabalFeature -> CabalFeature -> CabalFeature #
Read CabalFeature #
Instance details Methods readsPrec :: Int -> ReadS CabalFeature # readList :: ReadS [CabalFeature] # readPrec :: ReadPrec CabalFeature # readListPrec :: ReadPrec [CabalFeature] #
Show CabalFeature #
Instance details Methods showsPrec :: Int -> CabalFeature -> ShowS # show :: CabalFeature -> String # showList :: [CabalFeature] -> ShowS #
Generic CabalFeature #
Instance details Associated Types type Rep CabalFeature :: * -> * # Methods from :: CabalFeature -> Rep CabalFeature x # to :: Rep CabalFeature x -> CabalFeature #
type Rep CabalFeature #
Instance details type Rep CabalFeature = D1 (MetaData "CabalFeature" "Distribution.CabalSpecVersion" "Cabal-2.2.0.1-JS0vobxWxH7sbYKd0omMO" False) (C1 (MetaCons "Elif" PrefixI False) (U1 :: * -> ) :+: C1 (MetaCons "CommonStanzas" PrefixI False) (U1 :: -> *))

data HasElif #

Constructors

HasElif
NoElif

Instances

Eq HasElif #
Instance details Methods (==) :: HasElif -> HasElif -> Bool # (/=) :: HasElif -> HasElif -> Bool #
Show HasElif #
Instance details Methods showsPrec :: Int -> HasElif -> ShowS # show :: HasElif -> String # showList :: [HasElif] -> ShowS #

data HasCommonStanzas #

Constructors

HasCommonStanzas
NoCommonStanzas

Instances

Eq HasCommonStanzas #
Instance details Methods (==) :: HasCommonStanzas -> HasCommonStanzas -> Bool # (/=) :: HasCommonStanzas -> HasCommonStanzas -> Bool #
Show HasCommonStanzas #
Instance details Methods showsPrec :: Int -> HasCommonStanzas -> ShowS # show :: HasCommonStanzas -> String # showList :: [HasCommonStanzas] -> ShowS #