Hoogle Search

Within LTS Haskell 24.34 (ghc-9.10.3)

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

Exact lookup

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

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

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

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

5. class RFoldMap (rs :: [u])

   vinyl	Data.Vinyl.Core

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

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

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

   vinyl	Data.Vinyl.Core

   No documentation available.

8. rmap :: RMap rs => (forall (x :: u) . () => f x -> g x) -> Rec f rs -> Rec g rs

   vinyl	Data.Vinyl.Core

   No documentation available.

9. fieldMap :: forall a b (s :: Symbol) . (a -> b) -> ElField '(s, a) -> ElField '(s, b)

   vinyl	Data.Vinyl.Derived

   ElField is isomorphic to a functor something like Compose ElField ('(,) s).

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

    vinyl	Data.Vinyl.XRec

    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.

Page 516 of many | Previous | Next