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.
-
ghc-internal GHC.Internal.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.
-
ghc-internal GHC.Internal.Data.Typeable Kind heterogeneous propositional equality. Like :~:, a :~~: b is inhabited by a terminating value if and only if a is the same type as b.
data ((f :: k -> Type)
:*: (g :: k -> Type)) (p :: k)ghc-internal GHC.Internal.Generics Products: encode multiple arguments to constructors
(
:*: ) :: f p -> g p -> (:*:) (f :: k -> Type) (g :: k -> Type) (p :: k)ghc-internal GHC.Internal.Generics No documentation available.
data ((f :: k -> Type)
:+: (g :: k -> Type)) (p :: k)ghc-internal GHC.Internal.Generics Sums: encode choice between constructors
newtype ((f :: k2 -> Type)
:.: (g :: k1 -> k2)) (p :: k1)ghc-internal GHC.Internal.Generics Composition of functors
-
ghc-internal GHC.Internal.Real No documentation available.
-
ghc-internal GHC.Internal.Type.Reflection 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.
-
ghc-internal GHC.Internal.Type.Reflection Kind heterogeneous propositional equality. Like :~:, a :~~: b is inhabited by a terminating value if and only if a is the same type as b.
(
:$$: ) :: ErrorMessage -> ErrorMessage -> ErrorMessageghc-internal GHC.Internal.TypeError Stack two pieces of error message on top of each other.