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. SingletonProof :: Refined (InSet f r) a -> SingletonProof (f :: Flavor) a r

   refined-containers	Data.IntSet.Refined

   The element that is guaranteed to be in r

2. newtype SingletonProof (f :: Flavor) a r

   refined-containers	Data.Map.Refined

   Proof that r contains an element of type a.

3. SingletonProof :: Refined (InSet f r) a -> SingletonProof (f :: Flavor) a r

   refined-containers	Data.Map.Refined

   The element that is guaranteed to be in r

4. newtype SingletonProof (f :: Flavor) a r

   refined-containers	Data.Map.Strict.Refined

   Proof that r contains an element of type a.

5. SingletonProof :: Refined (InSet f r) a -> SingletonProof (f :: Flavor) a r

   refined-containers	Data.Map.Strict.Refined

   The element that is guaranteed to be in r

6. newtype SingletonProof (f :: Flavor) a r

   refined-containers	Data.Set.Refined

   Proof that r contains an element of type a.

7. SingletonProof :: Refined (InSet f r) a -> SingletonProof (f :: Flavor) a r

   refined-containers	Data.Set.Refined

   The element that is guaranteed to be in r

8. SingletonRowGroup :: Row a -> RowGroup a

   table-layout	Text.Layout.Table.Spec.RowGroup

   No documentation available.

9. isSingleton :: Stream Char -> Bool

   text	Data.Text.Internal.Fusion.Common

   O(n) Indicate whether a string contains exactly one element. Properties

   isSingleton . stream = isSingleton
   

10. dlistSingleton :: a -> DList a

    unliftio	UnliftIO.Internals.Async

    No documentation available.

Page 55 of many | Previous | Next