Hoogle Search

Within LTS Haskell 24.33 (ghc-9.10.3)

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

Exact lookup

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

   refined-containers	Data.IntMap.Strict.Refined

   Proof that r contains an element of type a.

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

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

   refined-containers	Data.IntSet.Refined

   Proof that r contains an element of type a.

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

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

   refined-containers	Data.Map.Refined

   Proof that r contains an element of type a.

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

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

   refined-containers	Data.Map.Strict.Refined

   Proof that r contains an element of type a.

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

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

   refined-containers	Data.Set.Refined

   Proof that r contains an element of type a.

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

Page 55 of many | Previous | Next