cabal-install-solver-3.12.1.0: The command-line interface for Cabal and Hackage.

Safe Haskell | None
Language | Haskell2010

Distribution.Solver.Types.OptionalStanza

Contents

- OptionalStanza
- Set of stanzas
- Map indexed by stanzas

Synopsis

- data OptionalStanza
  - = TestStanzas
  - | BenchStanzas
- showStanza :: OptionalStanza -> String
- showStanzas :: OptionalStanzaSet -> String
- enableStanzas :: OptionalStanzaSet -> ComponentRequestedSpec
- data OptionalStanzaSet
- optStanzaSetFromList :: [OptionalStanza] -> OptionalStanzaSet
- optStanzaSetToList :: OptionalStanzaSet -> [OptionalStanza]
- optStanzaSetMember :: OptionalStanza -> OptionalStanzaSet -> Bool
- optStanzaSetInsert :: OptionalStanza -> OptionalStanzaSet -> OptionalStanzaSet
- optStanzaSetSingleton :: OptionalStanza -> OptionalStanzaSet
- optStanzaSetIntersection :: OptionalStanzaSet -> OptionalStanzaSet -> OptionalStanzaSet
- optStanzaSetNull :: OptionalStanzaSet -> Bool
- optStanzaSetIsSubset :: OptionalStanzaSet -> OptionalStanzaSet -> Bool
- data OptionalStanzaMap a
- optStanzaTabulate :: (OptionalStanza -> a) -> OptionalStanzaMap a
- optStanzaIndex :: OptionalStanzaMap a -> OptionalStanza -> a
- optStanzaLookup :: OptionalStanza -> OptionalStanzaMap a -> a
- optStanzaKeysFilteredByValue :: (a -> Bool) -> OptionalStanzaMap a -> OptionalStanzaSet

# OptionalStanza

data OptionalStanza #

Constructors

TestStanzas |
BenchStanzas |

#### Instances

Instances details

Structured OptionalStanza # |
Instance details Defined in Distribution.Solver.Types.OptionalStanza Methods structure :: Proxy OptionalStanza -> Structure # structureHash' :: Tagged OptionalStanza MD5
Binary OptionalStanza # |
Instance details Defined in Distribution.Solver.Types.OptionalStanza Methods put :: OptionalStanza -> Put # get :: Get OptionalStanza # putList :: [OptionalStanza] -> Put #
Bounded OptionalStanza # |
Instance details Defined in Distribution.Solver.Types.OptionalStanza Methods minBound :: OptionalStanza # maxBound :: OptionalStanza #
Enum OptionalStanza # |

Instance details

Defined in Distribution.Solver.Types.OptionalStanza

Methods

succ :: OptionalStanza -> OptionalStanza #

pred :: OptionalStanza -> OptionalStanza #

toEnum :: Int -> OptionalStanza #

fromEnum :: OptionalStanza -> Int #

enumFrom :: OptionalStanza -> [OptionalStanza] #

enumFromThen :: OptionalStanza -> OptionalStanza -> [OptionalStanza] #

enumFromTo :: OptionalStanza -> OptionalStanza -> [OptionalStanza] #

enumFromThenTo :: OptionalStanza -> OptionalStanza -> OptionalStanza -> [OptionalStanza] #

Generic OptionalStanza # |

Instance details

Defined in Distribution.Solver.Types.OptionalStanza

Associated Types

type Rep OptionalStanza |
Instance details Defined in Distribution.Solver.Types.OptionalStanza type Rep OptionalStanza = D1 ('MetaData "OptionalStanza" "Distribution.Solver.Types.OptionalStanza" "cabal-install-solver-3.12.1.0-BcLJX5rVQuejx1qrKAH5j" 'False) (C1 ('MetaCons "TestStanzas" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BenchStanzas" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: OptionalStanza -> Rep OptionalStanza x #

to :: Rep OptionalStanza x -> OptionalStanza #

Show OptionalStanza # |
Instance details Defined in Distribution.Solver.Types.OptionalStanza Methods showsPrec :: Int -> OptionalStanza -> ShowS # show :: OptionalStanza -> String # showList :: [OptionalStanza] -> ShowS #
Eq OptionalStanza # |
Instance details Defined in Distribution.Solver.Types.OptionalStanza Methods (==) :: OptionalStanza -> OptionalStanza -> Bool # (/=) :: OptionalStanza -> OptionalStanza -> Bool #
Ord OptionalStanza # |

Instance details

Defined in Distribution.Solver.Types.OptionalStanza

Methods

compare :: OptionalStanza -> OptionalStanza -> Ordering #

(<) :: OptionalStanza -> OptionalStanza -> Bool #

(<=) :: OptionalStanza -> OptionalStanza -> Bool #

(>) :: OptionalStanza -> OptionalStanza -> Bool #

(>=) :: OptionalStanza -> OptionalStanza -> Bool #

max :: OptionalStanza -> OptionalStanza -> OptionalStanza #

min :: OptionalStanza -> OptionalStanza -> OptionalStanza #

type Rep OptionalStanza # |
Instance details Defined in Distribution.Solver.Types.OptionalStanza type Rep OptionalStanza = D1 ('MetaData "OptionalStanza" "Distribution.Solver.Types.OptionalStanza" "cabal-install-solver-3.12.1.0-BcLJX5rVQuejx1qrKAH5j" 'False) (C1 ('MetaCons "TestStanzas" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BenchStanzas" 'PrefixI 'False) (U1 :: Type -> Type))

showStanza :: OptionalStanza -> String #

String representation of an OptionalStanza.

showStanzas :: OptionalStanzaSet -> String #

enableStanzas :: OptionalStanzaSet -> ComponentRequestedSpec #

Convert a list of `OptionalStanza` into the corresponding Cabal's `ComponentRequestedSpec` which records what components are enabled.

# Set of stanzas

data OptionalStanzaSet #

#### Instances

Instances details

Structured OptionalStanzaSet # |
Instance details Defined in Distribution.Solver.Types.OptionalStanza Methods structure :: Proxy OptionalStanzaSet -> Structure # structureHash' :: Tagged OptionalStanzaSet MD5
Binary OptionalStanzaSet # |
Instance details Defined in Distribution.Solver.Types.OptionalStanza Methods put :: OptionalStanzaSet -> Put # get :: Get OptionalStanzaSet # putList :: [OptionalStanzaSet] -> Put #
Monoid OptionalStanzaSet # |
Instance details Defined in Distribution.Solver.Types.OptionalStanza Methods mempty :: OptionalStanzaSet # mappend :: OptionalStanzaSet -> OptionalStanzaSet -> OptionalStanzaSet # mconcat :: [OptionalStanzaSet] -> OptionalStanzaSet #
Semigroup OptionalStanzaSet # |
Instance details Defined in Distribution.Solver.Types.OptionalStanza Methods (<>) :: OptionalStanzaSet -> OptionalStanzaSet -> OptionalStanzaSet # sconcat :: NonEmpty OptionalStanzaSet -> OptionalStanzaSet # stimes :: Integral b => b -> OptionalStanzaSet -> OptionalStanzaSet #
Show OptionalStanzaSet # |
Instance details Defined in Distribution.Solver.Types.OptionalStanza Methods showsPrec :: Int -> OptionalStanzaSet -> ShowS # show :: OptionalStanzaSet -> String # showList :: [OptionalStanzaSet] -> ShowS #
Eq OptionalStanzaSet # |
Instance details Defined in Distribution.Solver.Types.OptionalStanza Methods (==) :: OptionalStanzaSet -> OptionalStanzaSet -> Bool # (/=) :: OptionalStanzaSet -> OptionalStanzaSet -> Bool #
Ord OptionalStanzaSet # |

Instance details

Defined in Distribution.Solver.Types.OptionalStanza

Methods

compare :: OptionalStanzaSet -> OptionalStanzaSet -> Ordering #

(<) :: OptionalStanzaSet -> OptionalStanzaSet -> Bool #

(<=) :: OptionalStanzaSet -> OptionalStanzaSet -> Bool #

(>) :: OptionalStanzaSet -> OptionalStanzaSet -> Bool #

(>=) :: OptionalStanzaSet -> OptionalStanzaSet -> Bool #

max :: OptionalStanzaSet -> OptionalStanzaSet -> OptionalStanzaSet #

min :: OptionalStanzaSet -> OptionalStanzaSet -> OptionalStanzaSet #

optStanzaSetFromList :: [OptionalStanza] -> OptionalStanzaSet #

optStanzaSetToList :: OptionalStanzaSet -> [OptionalStanza] #

optStanzaSetMember :: OptionalStanza -> OptionalStanzaSet -> Bool #

optStanzaSetInsert :: OptionalStanza -> OptionalStanzaSet -> OptionalStanzaSet #

optStanzaSetSingleton :: OptionalStanza -> OptionalStanzaSet #

optStanzaSetIntersection :: OptionalStanzaSet -> OptionalStanzaSet -> OptionalStanzaSet #

optStanzaSetNull :: OptionalStanzaSet -> Bool #

optStanzaSetIsSubset :: OptionalStanzaSet -> OptionalStanzaSet -> Bool #

# Map indexed by stanzas

data OptionalStanzaMap a #

Note: this is total map.

#### Instances

Instances details

Structured a => Structured (OptionalStanzaMap a) # |
Instance details Defined in Distribution.Solver.Types.OptionalStanza Methods structure :: Proxy (OptionalStanzaMap a) -> Structure # structureHash' :: Tagged (OptionalStanzaMap a) MD5
Binary a => Binary (OptionalStanzaMap a) # |
Instance details Defined in Distribution.Solver.Types.OptionalStanza Methods put :: OptionalStanzaMap a -> Put # get :: Get (OptionalStanzaMap a) # putList :: [OptionalStanzaMap a] -> Put #
Generic (OptionalStanzaMap a) # |

Instance details

Defined in Distribution.Solver.Types.OptionalStanza

Associated Types

type Rep (OptionalStanzaMap a) |

Instance details

Defined in Distribution.Solver.Types.OptionalStanza

type Rep (OptionalStanzaMap a) = D1 ('MetaData "OptionalStanzaMap" "Distribution.Solver.Types.OptionalStanza" "cabal-install-solver-3.12.1.0-BcLJX5rVQuejx1qrKAH5j" 'False) (C1 ('MetaCons "OptionalStanzaMap" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

Methods

from :: OptionalStanzaMap a -> Rep (OptionalStanzaMap a) x #

to :: Rep (OptionalStanzaMap a) x -> OptionalStanzaMap a #

Show a => Show (OptionalStanzaMap a) # |
Instance details Defined in Distribution.Solver.Types.OptionalStanza Methods showsPrec :: Int -> OptionalStanzaMap a -> ShowS # show :: OptionalStanzaMap a -> String # showList :: [OptionalStanzaMap a] -> ShowS #
Eq a => Eq (OptionalStanzaMap a) # |
Instance details Defined in Distribution.Solver.Types.OptionalStanza Methods (==) :: OptionalStanzaMap a -> OptionalStanzaMap a -> Bool # (/=) :: OptionalStanzaMap a -> OptionalStanzaMap a -> Bool #
Ord a => Ord (OptionalStanzaMap a) # |

Instance details

Defined in Distribution.Solver.Types.OptionalStanza

Methods

compare :: OptionalStanzaMap a -> OptionalStanzaMap a -> Ordering #

(<) :: OptionalStanzaMap a -> OptionalStanzaMap a -> Bool #

(<=) :: OptionalStanzaMap a -> OptionalStanzaMap a -> Bool #

(>) :: OptionalStanzaMap a -> OptionalStanzaMap a -> Bool #

(>=) :: OptionalStanzaMap a -> OptionalStanzaMap a -> Bool #

max :: OptionalStanzaMap a -> OptionalStanzaMap a -> OptionalStanzaMap a #

min :: OptionalStanzaMap a -> OptionalStanzaMap a -> OptionalStanzaMap a #

type Rep (OptionalStanzaMap a) # |

Instance details

Defined in Distribution.Solver.Types.OptionalStanza

type Rep (OptionalStanzaMap a) = D1 ('MetaData "OptionalStanzaMap" "Distribution.Solver.Types.OptionalStanza" "cabal-install-solver-3.12.1.0-BcLJX5rVQuejx1qrKAH5j" 'False) (C1 ('MetaCons "OptionalStanzaMap" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

optStanzaTabulate :: (OptionalStanza -> a) -> OptionalStanzaMap a #

optStanzaIndex :: OptionalStanzaMap a -> OptionalStanza -> a #

optStanzaLookup :: OptionalStanza -> OptionalStanzaMap a -> a #

optStanzaKeysFilteredByValue :: (a -> Bool) -> OptionalStanzaMap a -> OptionalStanzaSet #