Hoogle Search

Within LTS Haskell 24.65 (ghc-9.10.3)

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

Exact lookup

1. SingletonsRegistry :: Registry ins out -> SingletonsRegistry (todo :: [Type]) (ins :: [Type]) (out :: [Type])

   registry	Data.Registry.Rio

   No documentation available.

2. SingletonRecords :: MetaClass

   Agda	Agda.TypeChecking.Monad.MetaVars

   Meta variables of "hereditarily singleton" record type.

3. SingletonDate :: Date -> DatePattern

   Hastructure	Types

   No documentation available.

4. SingletonRange :: a -> Range a

   range	Data.Range

   Represents a single element as a range. SingletonRange a is equivalent to SpanRange (Bound a Inclusive) (Bound a Inclusive).

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

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

   The element that is guaranteed to be in r

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

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

   The element that is guaranteed to be in r

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

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

    The element that is guaranteed to be in r

Page 54 of many | Previous | Next