Modulecabal-install-solver-3.12.1.0Haskell2010

Distribution.Solver.Modular.PSQ

1 type
25 values

Packagecabal-install-solver-3.12.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.12.1.0 · Distribution.Solver.Modular.PSQ
Foldable (PSQ k)Defined in cabal-install-solver-3.12.1.0 · Distribution.Solver.Modular.PSQ
Traversable (PSQ k)Defined in cabal-install-solver-3.12.1.0 · Distribution.Solver.Modular.PSQ
(Eq k, Eq v) => Eq (PSQ k v)Defined in cabal-install-solver-3.12.1.0 · Distribution.Solver.Modular.PSQ
(Show k, Show v) => Show (PSQ k v)Defined in cabal-install-solver-3.12.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

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

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

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

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

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