Modulecabal-install-solver-3.18.1.0Haskell2010

Distribution.Solver.Modular.PSQ

Synopsis

newtype PSQ
value casePSQ
value cons
value length
value lookup
value filter
value filterIfAny
value filterIfAnyByKeys
value filterKeys
value firstOnly
value fromList
value isZeroOrOne
value keys
value map
value mapKeys
value mapWithKey
value maximumBy
value minimumBy
value null
value prefer
value preferByKeys
value snoc
value sortBy
value sortByKeys
value toList
value union

Packagecabal-install-solver-3.18.1.0
Exports26
LanguageHaskell2010
LicenceBSD-3-Clause
SourcePSQ.hs

newtypenewtype PSQ k v

Constructors

PSQ [(k, v)]

Instances5Functor, Foldable, Traversable, Eq, Show

Functor (PSQ k)Defined in cabal-install-solver-3.18.1.0 · Distribution.Solver.Modular.PSQ
Foldable (PSQ k)Defined in cabal-install-solver-3.18.1.0 · Distribution.Solver.Modular.PSQ
Traversable (PSQ k)Defined in cabal-install-solver-3.18.1.0 · Distribution.Solver.Modular.PSQ
(Eq k, Eq v) => Eq (PSQ k v)Defined in cabal-install-solver-3.18.1.0 · Distribution.Solver.Modular.PSQ
(Show k, Show v) => Show (PSQ k v)Defined in cabal-install-solver-3.18.1.0 · Distribution.Solver.Modular.PSQ

valuecasePSQ :: PSQ k a -> r -> (k -> a -> PSQ k a -> r) -> r

valuecons :: k -> a -> PSQ k a -> PSQ k a

valuelength :: PSQ k a -> Int

valuelookup :: Eq k => k -> PSQ k v -> Maybe v

valuefilter :: (a -> Bool) -> PSQ k a -> PSQ k a

valuefilterIfAny :: (a -> Bool) -> PSQ k a -> PSQ k a

Source#

Will partition the list according to the predicate. If there is any element that satisfies the predicate, then only the elements satisfying the predicate are returned. Otherwise, the rest is returned.

valuefilterIfAnyByKeys :: (k -> Bool) -> PSQ k a -> PSQ k a

Source#

Variant of filterIfAny that takes a predicate on the keys rather than on the values.

valuefilterKeys :: (k -> Bool) -> PSQ k a -> PSQ k a

valuefirstOnly :: PSQ k a -> PSQ k a

valuefromList :: [(k, a)] -> PSQ k a

valueisZeroOrOne :: PSQ k a -> Bool

valuekeys :: PSQ k v -> [k]

valuemap :: (v1 -> v2) -> PSQ k v1 -> PSQ k v2

valuemapKeys :: (k1 -> k2) -> PSQ k1 v -> PSQ k2 v

valuemapWithKey :: (k -> a -> b) -> PSQ k a -> PSQ k b

valuemaximumBy :: (k -> Int) -> PSQ k a -> (k, a)

valueminimumBy :: (a -> Int) -> PSQ k a -> PSQ k a

valuenull :: PSQ k a -> Bool

valueprefer :: (a -> Bool) -> PSQ k a -> PSQ k a

Source#

Sort the list so that values satisfying the predicate are first.

valuepreferByKeys :: (k -> Bool) -> PSQ k a -> PSQ k a

Source#

Sort the list so that keys satisfying the predicate are first.

valuesnoc :: PSQ k a -> k -> a -> PSQ k a

valuesortBy :: (a -> a -> Ordering) -> PSQ k a -> PSQ k a

valuesortByKeys :: (k -> k -> Ordering) -> PSQ k a -> PSQ k a

valuetoList :: PSQ k a -> [(k, a)]

valueunion :: PSQ k a -> PSQ k a -> PSQ k a