Hoogle Search

Within LTS Haskell 9.5 (ghc-8.0.2)

  1. (:+) :: a -> a -> Complex a

    base Data.Complex

    forms a complex number from its real and imaginary rectangular components.

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

    base Data.List.NonEmpty

    No documentation available.

  3. data (:~:) a b

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

  4. data (:~:) 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, 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.

  5. data (:*:) f g (p :: *)

    base GHC.Generics

    Products: encode multiple arguments to constructors

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

    base GHC.Generics

    No documentation available.

  7. data (:+:) f g (p :: *)

    base GHC.Generics

    Sums: encode choice between constructors

  8. newtype (:.:) f (g :: * -> *) (p :: *)

    base GHC.Generics

    Composition of functors

  9. (:$$:) :: ErrorMessage -> ErrorMessage -> ErrorMessage

    base GHC.TypeLits

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

  10. (:<>:) :: ErrorMessage -> ErrorMessage -> ErrorMessage

    base GHC.TypeLits

    Put two pieces of error message next to each other.

Page 1 of many | Next