Hoogle Search

Within LTS Haskell 24.24 (ghc-9.10.3)

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

  1. newtype ReflectedApplicative (f :: k -> Type) (s :: k1) (a :: k)

    reflection Data.Reflection

    No documentation available.

  2. ReflectedApplicative :: f a -> ReflectedApplicative (f :: k -> Type) (s :: k1) (a :: k)

    reflection Data.Reflection

    No documentation available.

  3. data ReifiedApplicative (f :: Type -> Type)

    reflection Data.Reflection

    No documentation available.

  4. ReifiedApplicative :: (forall a . () => a -> f a) -> (forall a b . () => f (a -> b) -> f a -> f b) -> ReifiedApplicative (f :: Type -> Type)

    reflection Data.Reflection

    No documentation available.

  5. reifyApplicative :: (forall x . () => x -> f x) -> (forall x y . () => f (x -> y) -> f x -> f y) -> (forall s . Reifies s (ReifiedApplicative f) => t -> ReflectedApplicative f s a) -> t -> f a

    reflection Data.Reflection

    No documentation available.

  6. peekApplicative :: (Applicative f, Traversable f, Storable a) => Ptr (f a) -> IO (f a)

    storable-record Foreign.Storable.Traversable

    Like peek but uses pure for construction of the result. pure would be in class Pointed if that would exist. Thus we use the closest approximate Applicative.

  7. class RecApplicative (rs :: [u])

    vinyl Data.Vinyl.Core

    Given a section of some functor, records in that functor of any size are inhabited.

  8. class PApplicative (f :: Type -> Type)

    singletons-base Control.Applicative.Singletons

    No documentation available.

  9. class SFunctor f => SApplicative (f :: Type -> Type)

    singletons-base Control.Applicative.Singletons

    No documentation available.

  10. class PApplicative (f :: Type -> Type)

    singletons-base Data.Singletons.Base.TH

    No documentation available.

Page 14 of many | Previous | Next