Hoogle Search

Within LTS Haskell 24.52 (ghc-9.10.3)

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

Exact lookup

1. foldMapUnion :: forall c a (as :: [Type]) . All c as => Proxy c -> (forall x . c x => x -> a) -> Union as -> a

   servant-client-core	Servant.Client.Core

   Convenience function to apply a function to an unknown union element using a type class. All elements of the union must have instances in the type class, and the function is applied unconditionally. See also: matchUnion.

2. foldMapUnion :: forall c a (as :: [Type]) . All c as => Proxy c -> (forall x . c x => x -> a) -> Union as -> a

   servant-client-core	Servant.Client.Core.HasClient

   Convenience function to apply a function to an unknown union element using a type class. All elements of the union must have instances in the type class, and the function is applied unconditionally. See also: matchUnion.

3. foldMapUnion :: forall c a (as :: [Type]) . All c as => Proxy c -> (forall x . c x => x -> a) -> Union as -> a

   servant-client-core	Servant.Client.Core.Reexport

   Convenience function to apply a function to an unknown union element using a type class. All elements of the union must have instances in the type class, and the function is applied unconditionally. See also: matchUnion.

4. class RecMapMethod (c :: Type -> Constraint) (f :: u -> Type) (ts :: [u])

   vinyl	Data.Vinyl

   Apply a typeclass method to each field of a Rec where the class constrains the index of the field, but not its interpretation functor.

5. class XRMap (f :: u -> Type) (g :: u -> Type) (rs :: [u])

   vinyl	Data.Vinyl

   The implementation of xrmap is broken into a type class to permit unrolling of the recursion across a record. The function mapped across the vector hides the HKD type family under a newtype constructor to help the type checker.

6. rmapMethod :: RecMapMethod c f ts => (forall (a :: u) . c (PayloadType f a) => f a -> g a) -> Rec f ts -> Rec g ts

   vinyl	Data.Vinyl

   No documentation available.

7. rmapMethodF :: forall c (f :: Type -> Type) (ts :: [Type]) . (Functor f, FieldPayload f ~ 'FieldId, RecMapMethod c f ts) => (forall a . c a => a -> a) -> Rec f ts -> Rec f ts

   vinyl	Data.Vinyl

   Apply a typeclass method to each field of a Rec f ts using the Functor instance for f to lift the function into the functor. This is a commonly-used specialization of rmapMethod composed with fmap.

8. class RecMapMethod (c :: Type -> Constraint) (f :: u -> Type) (ts :: [u])

   vinyl	Data.Vinyl.Class.Method

   Apply a typeclass method to each field of a Rec where the class constrains the index of the field, but not its interpretation functor.

9. class RecMapMethod1 (c :: Type -> Constraint) (f :: u -> Type) (ts :: [u])

   vinyl	Data.Vinyl.Class.Method

   Apply a typeclass method to each field of a Rec where the class constrains the field when considered as a value interpreted by the record's interpretation functor.

10. rmapMethod :: RecMapMethod c f ts => (forall (a :: u) . c (PayloadType f a) => f a -> g a) -> Rec f ts -> Rec g ts

    vinyl	Data.Vinyl.Class.Method

    No documentation available.

Page 517 of many | Previous | Next