Hoogle Search
Within LTS Haskell 9.5 (ghc8.0.2)

base Data.Complex forms a complex number from its real and imaginary rectangular components.
(:) :: a > [a] > NonEmpty a
base Data.List.NonEmpty No documentation available.

base Data.Type.Equality 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, patternmatch on the a :~: b to get out the Refl constructor; in the body of the patternmatch, the compiler knows that a ~ b.

base Data.Typeable 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, patternmatch on the a :~: b to get out the Refl constructor; in the body of the patternmatch, the compiler knows that a ~ b.

base GHC.Generics Products: encode multiple arguments to constructors
(:*:) :: f p > g p > (:*:) f g
base GHC.Generics No documentation available.

base GHC.Generics Sums: encode choice between constructors
newtype (:.:) f (g :: * > *) (p :: *)
base GHC.Generics Composition of functors
(:$$:) :: ErrorMessage > ErrorMessage > ErrorMessage
base GHC.TypeLits Stack two pieces of error message on top of each other.
(:<>:) :: ErrorMessage > ErrorMessage > ErrorMessage
base GHC.TypeLits Put two pieces of error message next to each other.
Page 1 of many  Next