Hoogle Search

Within LTS Haskell 24.31 (ghc-9.10.3)

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

Exact lookup

1. (:<) :: forall a (n1 :: Natural) . a -> BuildVector n1 a -> BuildVector (1 + n1) a

   vector-sized	Data.Vector.Generic.Sized

   No documentation available.

2. (:<) :: forall a (n1 :: Natural) . a -> BuildVector n1 a -> BuildVector (1 + n1) a

   vector-sized	Data.Vector.Sized

   No documentation available.

3. newtype t ::: doc

   yi-core	Yi.MiniBuffer

   Tag a type with a documentation

4. (:-) :: a -> Jet f (f a) -> Jet (f :: Type -> Type) a

   ad	Numeric.AD

   No documentation available.

5. (:-) :: a -> Jet f (f a) -> Jet (f :: Type -> Type) a

   ad	Numeric.AD.Double

   No documentation available.

6. (:!) :: Double -> List -> List

   ad	Numeric.AD.Internal.Tower.Double

   No documentation available.

7. (:-) :: a -> Jet f (f a) -> Jet (f :: Type -> Type) a

   ad	Numeric.AD.Jet

   No documentation available.

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

   base-compat-batteries	Data.List.NonEmpty.Compat

   No documentation available.

9. data (a :: k) :~: (b :: k)

   base-compat-batteries	Data.Type.Equality.Compat

   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.

10. data (a :: k1) :~~: (b :: k2)

    base-compat-batteries	Data.Type.Equality.Compat

    Kind heterogeneous propositional equality. Like :~:, a :~~: b is inhabited by a terminating value if and only if a is the same type as b.

Page 17 of many | Previous | Next