Hoogle Search

Within LTS Haskell 24.28 (ghc-9.10.3)

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

  1. divListF :: forall (f :: Type -> Type) . Contravariant f => Div f ~> ListF f

    functor-combinators Data.Functor.Contravariant.Divisible.Free

    Div is isomorphic to ListF for contravariant f. This witnesses one way of that isomorphism.

  2. decAltListF :: forall (f :: Type -> Type) . Functor f => DecAlt f ~> ListF f

    functor-combinators Data.Functor.Invariant.Internative.Free

    Extract the ListF part out of a DecAlt, shedding the contravariant bits.

  3. decAltListF_ :: forall (f :: Type -> Type) x . DecAlt f x -> ComposeT (ListF :: (Type -> Type) -> Type -> Type) Coyoneda f x

    functor-combinators Data.Functor.Invariant.Internative.Free

    Extract the ListF part out of a DecAlt, shedding the contravariant bits. This version does not require a Functor constraint because it converts to the coyoneda-wrapped product, which is more accurately the true conversion to a covariant chain.

  4. toListBy :: forall (f :: Type -> Type) . Tensor t i => t f f ~> ListBy t f

    functor-combinators Data.HBifunctor.Tensor

    Embed a direct application of f to itself into a ListBy t f.

  5. type family Defined_list (break :: [Type]) err (a :: k) :: k

    generic-lens-core Data.Generics.Internal.Errors

    No documentation available.

  6. module Data.Generics.Product.Internal.HList

    Derive an isomorphism between a product type and a flat HList.

  7. class GIsList (f :: Type -> Type) (g :: Type -> Type) (as :: [Type]) (bs :: [Type]) | f -> as, g -> bs, bs f -> g, as g -> f

    generic-lens-core Data.Generics.Product.Internal.HList

    No documentation available.

  8. data HList (as :: [Type])

    generic-lens-core Data.Generics.Product.Internal.HList

    No documentation available.

  9. class IndexList (i :: Nat) (as :: [Type]) (bs :: [Type]) a b | i as -> a, i bs -> b, i as b -> bs, i bs a -> as

    generic-lens-core Data.Generics.Product.Internal.HList

    No documentation available.

  10. type family TupleToList a :: [Type]

    generic-lens-core Data.Generics.Product.Internal.HList

    No documentation available.

Page 162 of many | Previous | Next