Hoogle Search

Within LTS Haskell 24.41 (ghc-9.10.3)

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

Exact lookup

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

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

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

   vinyl	Data.Vinyl.Core

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

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

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

   vinyl	Data.Vinyl.Core

   No documentation available.

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

   vinyl	Data.Vinyl.Core

   No documentation available.

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

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

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

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

Page 517 of many | Previous | Next