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.
type
NodeMapM a b (g :: Type -> Type -> Type) r = State (NodeMap a, g a b) rfgl Data.Graph.Inductive.NodeMap Graph construction monad; handles passing both the NodeMap and the Graph.
foldMapM :: (Monoid b, Monad m, Foldable f) => (a -> m b) -> f a -> m brelude Relude.Foldable.Fold Polymorphic version of the concatMapM function.
>>> foldMapM @[Int] (Just . replicate 3) [1..3] Just [1,1,1,2,2,2,3,3,3]
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.