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.
(
:| ) :: a -> [a] -> NonEmpty aprotolude Protolude No documentation available.
-
protolude Protolude 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.
-
HaXml Text.XML.HaXml.Combinators No documentation available.
(
:= ) :: Label -> Value -> Fieldbson Data.Bson No documentation available.
(
:| ) :: a -> [a] -> NonEmpty aghc-internal GHC.Internal.Base No documentation available.
-
ghc-internal GHC.Internal.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.
-
ghc-internal GHC.Internal.Data.Type.Equality Kind heterogeneous propositional equality. Like :~:, a :~~: b is inhabited by a terminating value if and only if a is the same type as b.
-
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