Hoogle Search

Within LTS Haskell 24.46 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

  1. foldMapWithKeyU :: Monoid m => (k -> a -> m) -> MaxPQueue k a -> m

    pqueue Data.PQueue.Prio.Max

    An unordered monoidal fold over the elements of the queue, in no particular order.

  2. foldMapWithKeyU :: Monoid m => (k -> a -> m) -> MinPQueue k a -> m

    pqueue Data.PQueue.Prio.Min

    An unordered monoidal fold over the elements of the queue, in no particular order.

  3. module Text.Trifecta.Util.IntervalMap

    Interval maps implemented using the FingerTree type, following section 4.8 of

    An amortized running time is given for each operation, with n referring to the size of the priority queue. These bounds hold even in a persistent (shared) setting. Note: Many of these operations have the same names as similar operations on lists in the Prelude. The ambiguity may be resolved using either qualification or the hiding clause. Unlike Data.IntervalMap.FingerTree, this version sorts things so that the largest interval from a given point comes first. This way if you have nested intervals, you get the outermost interval before the contained intervals.

  4. newtype IntervalMap v a

    trifecta Text.Trifecta.Util.IntervalMap

    Map of closed intervals, possibly with duplicates. The Foldable and Traversable instances process the intervals in lexicographical order.

  5. IntervalMap :: FingerTree (IntInterval v) (Node v a) -> IntervalMap v a

    trifecta Text.Trifecta.Util.IntervalMap

    No documentation available.

  6. runIntervalMap :: IntervalMap v a -> FingerTree (IntInterval v) (Node v a)

    trifecta Text.Trifecta.Util.IntervalMap

    No documentation available.

  7. ffmap :: Functor (Flip t c) => (a -> b) -> t a c -> t b c

    type-flip Data.Type.Flip

    No documentation available.

  8. foldMap :: (Recursive (->) t (XNor a), Monoid m) => (a -> m) -> t -> m

    yaya Yaya.Experimental.Foldable

    No documentation available.

  9. dmap :: DFunctor d => (forall x . () => f x -> g x) -> d f -> d g

    yaya Yaya.Functor

    No documentation available.

  10. firstMap :: forall d (f :: Type -> Type -> Type) a b . (DFunctor d, Bifunctor f) => (a -> b) -> d (f a) -> d (f b)

    yaya Yaya.Functor

    This isn’t a Functor instance because of the position of the a, but you can use it like: > newtype List a = List (Mu (XNor a)) > instance Functor List where > fmap f (List mu) = List (firstMap f mu)

Page 625 of many | Previous | Next