Hoogle Search

Within LTS Haskell 24.4 (ghc-9.10.2)

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

Exact lookup

1. (:|) :: a -> [a] -> NonEmpty a

   base-compat-batteries	Data.List.NonEmpty.Compat

   No documentation available.

2. data (a :: k) :~: (b :: k)

   base-compat-batteries	Data.Type.Equality.Compat

   Propositional equality. If a :~: b is inhabited by some terminating value, then the type a is the same as the type b. To use this equality in practice, pattern-match on the a :~: b to get out the Refl constructor; in the body of the pattern-match, the compiler knows that a ~ b.

3. data (a :: k1) :~~: (b :: k2)

   base-compat-batteries	Data.Type.Equality.Compat

   Kind heterogeneous propositional equality. Like :~:, a :~~: b is inhabited by a terminating value if and only if a is the same type as b.

4. (:%|) :: forall a (n1 :: a) (n2 :: [a]) . Sing n1 -> Sing n2 -> SNonEmpty (n1 ':| n2)

   singletons-base	Data.List.NonEmpty.Singletons

   No documentation available.

5. data (a6989586621679052285 :: a) :|@#@$$ (b :: TyFun [a] NonEmpty a)

   singletons-base	Data.List.NonEmpty.Singletons

   No documentation available.

6. type family (a6989586621679052285 :: a) :|@#@$$$ (a6989586621679052286 :: [a]) :: NonEmpty a

   singletons-base	Data.List.NonEmpty.Singletons

   No documentation available.

7. data (a6989586621679052212 :: a) :@#@$$ (b :: TyFun [a] [a])

   singletons-base	Data.List.Singletons

   No documentation available.

8. type family (a6989586621679052212 :: a) :@#@$$$ (a6989586621679052213 :: [a]) :: [a]

   singletons-base	Data.List.Singletons

   No documentation available.

9. data (a6989586621679052212 :: a) :@#@$$ (b :: TyFun [a] [a])

   singletons-base	Data.Singletons.Base.TH

   No documentation available.

10. type family (a6989586621679052212 :: a) :@#@$$$ (a6989586621679052213 :: [a]) :: [a]

    singletons-base	Data.Singletons.Base.TH

    No documentation available.

Page 15 of many | Previous | Next