Hoogle Search
Within LTS Haskell 24.65 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
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.
-
vinyl Data.Vinyl No documentation available.
-
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.
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.
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.
-
vinyl Data.Vinyl.Class.Method No documentation available.
-
vinyl Data.Vinyl.Class.Method No documentation available.
-
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.
imapMaybe :: FilterableWithIndex i t => (i -> a -> Maybe b) -> t a -> t bwitherable Witherable No documentation available.
gmapM :: (Data a, Monad m) => (forall d . Data d => d -> m d) -> a -> m abasement Basement.Compat.Base A generic monadic transformation that maps over the immediate subterms The default definition instantiates the type constructor c in the type of gfoldl to the monad datatype constructor, defining injection and projection using return and >>=.