Hoogle Search

Within LTS Haskell 24.36 (ghc-9.10.3)

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

  1. primMapListFixed :: FixedPrim a -> [a] -> Builder

    fast-builder Data.ByteString.FastBuilder.Internal

    Turn a list of values of type a into a Builder, using the given FixedPrim.

  2. runListF :: ListF (f :: k -> Type) (a :: k) -> [f a]

    functor-combinators Data.Functor.Combinator

    No documentation available.

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

    functor-combinators Data.Functor.Combinator

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

  4. 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.

  5. 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.

  6. 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.

  7. 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.

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

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

    No documentation available.

  9. module Data.Generics.Product.Internal.HList

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

  10. 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.

Page 162 of many | Previous | Next