Hoogle Search

Within LTS Haskell 24.6 (ghc-9.10.2)

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

Exact lookup

1. pattern (:$$:) :: () => ErrorMessage -> ErrorMessage -> ErrorMessage

   incipit-base	Incipit.Base

   Stack two pieces of error message on top of each other.

2. pattern (:<>:) :: () => ErrorMessage -> ErrorMessage -> ErrorMessage

   incipit-base	Incipit.Base

   Put two pieces of error message next to each other.

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

   incipit-base	Incipit.Base

   No documentation available.

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

   keyed-vals-hspec-tests	Test.KeyedVals.Hspec

   No documentation available.

5. data ((f :: k -> Type) :*: (g :: k -> Type)) (p :: k)

   linear-generics	Generics.Linear

   Products: encode multiple arguments to constructors

6. (:*:) :: f p -> g p -> (:*:) (f :: k -> Type) (g :: k -> Type) (p :: k)

   linear-generics	Generics.Linear

   No documentation available.

7. data ((f :: k -> Type) :+: (g :: k -> Type)) (p :: k)

   linear-generics	Generics.Linear

   Sums: encode choice between constructors

8. newtype ((f :: k2 -> Type) :.: (g :: k1 -> k2)) (x :: k1)

   linear-generics	Generics.Linear

   The composition operator for types. We use our own here because for many classes, it's possible to share generic deriving classes between GHC.Generics and Generics.Linear by just instantiating them for both composition operators (and MP1).

9. (:+:) :: forall x (xs :: [Type]) . x -> HList xs -> HList (x ': xs)

   multistate	Data.HList.HList

   No documentation available.

10. newtype (f :: k -> Type) :~> (g :: k -> Type)

    natural-transformation	Control.Natural

    A natural transformation suitable for storing in a container.

Page 41 of many | Previous | Next