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

   The element that is guaranteed to be in r

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

   refined-containers	Data.HashMap.Strict.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.HashMap.Strict.Refined

   The element that is guaranteed to be in r

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

   refined-containers	Data.HashSet.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.HashSet.Refined

   The element that is guaranteed to be in r

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

   refined-containers	Data.IntMap.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.IntMap.Refined

   The element that is guaranteed to be in r

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

   refined-containers	Data.IntMap.Strict.Refined

   Proof that r contains an element of type a.

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

   refined-containers	Data.IntMap.Strict.Refined

   The element that is guaranteed to be in r

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

    refined-containers	Data.IntSet.Refined

    Proof that r contains an element of type a.

Page 54 of many | Previous | Next