Hoogle Search

Within LTS Haskell 24.28 (ghc-9.10.3)

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

Exact lookup

1. singletonDT :: [Key] -> a -> DiscrimTree a

   Agda	Agda.TypeChecking.DiscrimTree.Types

   Construct the case tree corresponding to only performing proper matches on the given key. In this context, a "proper match" is any Key that is not FlexK.

2. singletonS :: DeBruijn a => Int -> a -> Substitution' a

   Agda	Agda.TypeChecking.Substitute.Class

   To replace index n by term u, do applySubst (singletonS n u). Γ, Δ ⊢ u : A --------------------------------- Γ, Δ ⊢ singletonS |Δ| u : Γ, A, Δ

3. singletonProjectConfigSkeleton :: ProjectConfig -> ProjectConfigSkeleton

   cabal-install	Distribution.Client.ProjectConfig.Legacy

   No documentation available.

4. singletonUnique :: Uniquable a => a -> UniqMap a

   clash-lib	Clash.Data.UniqMap

   A map containing a single value indexed by the value's unique.

5. singletonFL :: a -> FocusList a

   focuslist	Data.FocusList

   Create a FocusList with a single element.

   >>> singletonFL "hello"
   FocusList (Focus 0) ["hello"]
   

   complexity: O(1)

6. singletonKeys :: Key a b -> Keys a

   greskell	Data.Greskell

   Keys with a single Key.

7. singletonKeys :: Key a b -> Keys a

   greskell	Data.Greskell.Graph

   Keys with a single Key.

8. singletonNodeSet :: NavXmlTree -> NodeSet

   hxt-xpath	Text.XML.HXT.XPath.XPathDataTypes

   No documentation available.

9. singletonWithDist :: Real a => PointAsListFn a p -> SquaredDistanceFn a p -> (p, v) -> KdMap a p v

   kdt	Data.KdMap.Dynamic

   Generates a KdMap with a single point-value pair using a user-specified distance function.

10. singletonWithDist :: Real a => PointAsListFn a p -> SquaredDistanceFn a p -> (p, v) -> KdMap a p v

    kdt	Data.KdMap.Static

    Builds a KdMap with a single point-value pair and a user-specified squared distance function.

Page 47 of many | Previous | Next