Hoogle Search

Within LTS Haskell 24.60 (ghc-9.10.3)

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

  1. fromAscListWithKey :: GEq k2 => (forall (v :: k1) . () => k2 v -> f v -> f v -> f v) -> [DSum k2 f] -> DMap k2 f

    dependent-map Data.Dependent.Map

    O(n). Build a map from an ascending list in linear time with a combining function for equal keys. The precondition (input list is ascending) is not checked.

  2. fromListWithKey :: GCompare k2 => (forall (v :: k1) . () => k2 v -> f v -> f v -> f v) -> [DSum k2 f] -> DMap k2 f

    dependent-map Data.Dependent.Map

    O(n*log n). Build a map from a list of key/value pairs with a combining function. See also fromAscListWithKey.

  3. fromList :: Measured v a => [a] -> FingerTree v a

    fingertree Data.FingerTree

    O(n). Create a sequence from a finite list of elements. The opposite operation toList is supplied by the Foldable instance.

  4. fromList :: Ord k => [(k, v)] -> PQueue k v

    fingertree Data.PriorityQueue.FingerTree

    O(n). Create a priority queue from a finite list of priorities and values.

  5. module Data.AssocList

    Simple key value assocciation list implemented as unordered list of pairs

  6. type AssocList k v = [(k, v)]

    hxt Data.AssocList

    No documentation available.

  7. data SList (a :: [k])

    sop-core Data.SOP

    Explicit singleton list. A singleton list can be used to reveal the structure of a type-level list argument that the function is quantified over. For every type-level list xs, there is one non-bottom value of type SList xs. Note that these singleton lists are polymorphic in the list elements; we do not require a singleton representation for them.

  8. cpara_SList :: All c xs => proxy c -> r ('[] :: [k]) -> (forall (y :: k) (ys :: [k]) . (c y, All c ys) => r ys -> r (y ': ys)) -> r xs

    sop-core Data.SOP

    Constrained paramorphism for a type-level list. The advantage of writing functions in terms of cpara_SList is that they are then typically not recursive, and can be unfolded statically if the type-level list is statically known.

  9. lengthSList :: forall k (xs :: [k]) proxy . SListI xs => proxy xs -> Int

    sop-core Data.SOP

    The length of a type-level list.

  10. type family SListIN (h :: k -> Type -> l -> Type) :: l -> Constraint

    sop-core Data.SOP.Constraint

    A generalization of SListI. The family SListIN expands to SListI or SListI2 depending on whether the argument is indexed by a list or a list of lists.

Page 80 of many | Previous | Next