Hoogle Search

Within LTS Haskell 24.41 (ghc-9.10.3)

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

  1. (:*:) :: f p -> g p -> (:*:) (f :: k -> Type) (g :: k -> Type) (p :: k)

    linear-generics Generics.Linear

    No documentation available.

  2. data ((f :: k -> Type) :+: (g :: k -> Type)) (p :: k)

    linear-generics Generics.Linear

    Sums: encode choice between constructors

  3. newtype ((f :: k2 -> Type) :.: (g :: k1 -> k2)) (x :: k1)

    linear-generics Generics.Linear

    The composition operator for types. We use our own here because for many classes, it's possible to share generic deriving classes between GHC.Generics and Generics.Linear by just instantiating them for both composition operators (and MP1).

  4. (:+:) :: forall x (xs :: [Type]) . x -> HList xs -> HList (x ': xs)

    multistate Data.HList.HList

    No documentation available.

  5. newtype (f :: k -> Type) :~> (g :: k -> Type)

    natural-transformation Control.Natural

    A natural transformation suitable for storing in a container.

  6. (:-:) :: Integer -> Integer -> Fraction

    numeric-quest Fraction

    No documentation available.

  7. (:*) :: a -> b -> Tuple a b

    numeric-quest QuantumVector

    No documentation available.

  8. (:+>) :: Ket a -> Ket a -> Ket a

    numeric-quest QuantumVector

    No documentation available.

  9. (:<+) :: Bra a -> Bra a -> Bra a

    numeric-quest QuantumVector

    No documentation available.

  10. (:<|) :: Scalar -> Bra a -> Bra a

    numeric-quest QuantumVector

    No documentation available.

Page 44 of many | Previous | Next