Hoogle Search

Within LTS Haskell 24.35 (ghc-9.10.3)

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

Exact lookup

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

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

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

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

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

6. rmapMethod1 :: RecMapMethod1 c f ts => (forall (a :: u) . c (f a) => f a -> g a) -> Rec f ts -> Rec g ts

   vinyl	Data.Vinyl.Class.Method

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

   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 RFoldMap (rs :: [u])

   vinyl	Data.Vinyl.Core

   Map each element of a record to a monoid and combine the results.

9. class RMap (rs :: [u])

   vinyl	Data.Vinyl.Core

   Rec _ rs with labels in kind u gives rise to a functor Hask^u -> Hask; that is, a natural transformation between two interpretation functors f,g may be used to transport a value from Rec f rs to Rec g rs.

10. rfoldMapAux :: (RFoldMap rs, Monoid m) => (forall (x :: u) . () => f x -> m) -> m -> Rec f rs -> m

    vinyl	Data.Vinyl.Core

    No documentation available.

Page 516 of many | Previous | Next