Hoogle Search

Within LTS Haskell 24.32 (ghc-9.10.3)

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

  1. tensorProduct :: (C height, C width, Floating a) => Either Conjugation Conjugation -> Vector height a -> Vector width a -> Matrix height width a

    comfort-blas Numeric.BLAS.Matrix.RowMajor

    Warning: Don't use conjugation. Left and Right are swapped.

  2. elimProduct :: forall k (f :: k -> Type) (g :: k -> Type) (a :: k) (p :: Product f g a ~> Type) (s :: Product f g a) . Sing s -> (forall (f0 :: f a) . () => Sing f0 -> forall (f1 :: g a) . () => Sing f1 -> Apply p ('Pair f0 f1)) -> Apply p s

    eliminators Data.Eliminator.Functor

    No documentation available.

  3. elimProduct :: forall a (p :: Product a ~> Type) (s :: Product a) . Sing s -> (forall (f0 :: a) . () => Sing f0 -> Apply p ('Product f0)) -> Apply p s

    eliminators Data.Eliminator.Monoid

    No documentation available.

  4. elimProduct :: forall a (p :: Product a ~> Type) (s :: Product a) . Sing s -> (forall (f0 :: a) . () => Sing f0 -> Apply p ('Product f0)) -> Apply p s

    eliminators Data.Eliminator.Semigroup

    No documentation available.

  5. data ArborifyProduct (n :: Nat) (f :: k -> Type) (a :: k -> Type)

    generic-data-surgery Generic.Data.Surgery.Internal

    No documentation available.

  6. class GArborifyProduct (f :: k -> Type) (tl :: k -> Type)

    generic-data-surgery Generic.Data.Surgery.Internal

    No documentation available.

  7. class GLinearizeProduct (f :: k -> Type) (tl :: k -> Type)

    generic-data-surgery Generic.Data.Surgery.Internal

    No documentation available.

  8. type family LinearizeProduct (f :: k -> Type) (tl :: k -> Type) :: k -> Type

    generic-data-surgery Generic.Data.Surgery.Internal

    No documentation available.

  9. gArborifyProduct :: forall (x :: k) . GArborifyProduct f tl => LinearizeProduct f tl x -> (f x, tl x)

    generic-data-surgery Generic.Data.Surgery.Internal

    No documentation available.

  10. gLinearizeProduct :: forall (x :: k) . GLinearizeProduct f tl => f x -> tl x -> LinearizeProduct f tl x

    generic-data-surgery Generic.Data.Surgery.Internal

    No documentation available.

Page 136 of many | Previous | Next