Hoogle Search

Within LTS Haskell 24.40 (ghc-9.10.3)

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

Exact lookup

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

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

   vinyl	Data.Vinyl.Core

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

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

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

   vinyl	Data.Vinyl.Core

   No documentation available.

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

   vinyl	Data.Vinyl.Core

   No documentation available.

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

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

8. xrmapAux :: XRMap f g rs => (forall (a :: u) . () => XData f a -> XData g a) -> XRec f rs -> XRec g rs

   vinyl	Data.Vinyl.XRec

   No documentation available.

9. type HasLinearMap (v :: Type -> Type) = (HasBasis v, Traversable v)

   diagrams-core	Diagrams.Core

   HasLinearMap is a constraint synonym, just to help shorten some of the ridiculously long constraint sets.

10. newtype SubMap b (v :: Type -> Type) n m

    diagrams-core	Diagrams.Core

    A SubMap is a map associating names to subdiagrams. There can be multiple associations for any given name.

Page 517 of many | Previous | Next