Hoogle Search

Within LTS Haskell 24.35 (ghc-9.10.3)

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

  1. 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.

  2. module Data.AssocList

    Simple key value assocciation list implemented as unordered list of pairs

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

    hxt Data.AssocList

    No documentation available.

  4. 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.

  5. 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.

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

    sop-core Data.SOP

    The length of a type-level list.

  7. 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.

  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.Constraint

    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. data SList (a :: [k])

    sop-core Data.SOP.Sing

    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.

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

    sop-core Data.SOP.Sing

    The length of a type-level list.

Page 80 of many | Previous | Next