Hoogle Search

Within LTS Haskell 24.46 (ghc-9.10.3)

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

Exact lookup

1. solomap :: Solomap a b x y => (a -> b) -> x -> y

   generic-functor	Generic.Functor.Multimap

   Generalized implicit functor. Use this when x and y are applications of existing functors (Functor, Bifunctor). This is a different use case from gfmap and gsolomap, which make functors out of freshly declared data types. solomap is unsafe: misuse will break your programs. See the Usage section of gsolomap for details.

   Example

   map1 :: (a -> b) -> Either e (Maybe [IO a]) -> Either e (Maybe [IO b])
   map1 = solomap
   -- equivalent to:   fmap . fmap . fmap . fmap
   
   map2 :: (a -> b) -> (e -> Either [a] r) -> (e -> Either [b] r)
   map2 = solomap
   -- equivalent to:   \f -> fmap (bimap (fmap f) id)
   

2. genericMappend :: (Generic a, MappendProduct (Rep a)) => a -> a -> a

   generic-monoid	Data.Monoid.Generic

   A generic <> function which works for product types where each contained type is itself a Semigroup. It simply calls <> for each field. If you don't want to use the deriving via mechanism, use this function to implement the Semigroup type class.

3. genericMappend :: (Generic a, MappendProduct (Rep a)) => a -> a -> a

   generic-monoid	Data.Semigroup.Generic

   A generic <> function which works for product types where each contained type is itself a Semigroup. It simply calls <> for each field. If you don't want to use the deriving via mechanism, use this function to implement the Semigroup type class.

4. module Generic.Type.Function.FoldMap

   No documentation available.

5. type family GTFoldMapC (tmappend :: m ~> m ~> m) (tmempty :: m) (f :: Type ~> m) (gf :: k -> Type) :: m

   generic-type-functions	Generic.Type.Function.FoldMap

   foldMap on generic type representations (field product level). Will work for single-constructor types as well thanks to meta unwrapping.

6. sessionMap :: SessionMemoizer k a b -> Map k (CmdMemoizer a b)

   ghci4luatex	Data.Memoizer.Sessions

   No documentation available.

7. module GI.Freetype2.Structs.Bitmap

   No description available in the introspection data.

8. newtype Bitmap

   gi-freetype2	GI.Freetype2.Structs.Bitmap

   Memory-managed wrapper type.

9. Bitmap :: ManagedPtr Bitmap -> Bitmap

   gi-freetype2	GI.Freetype2.Structs.Bitmap

   No documentation available.

10. class (GObject o, IsDescendantOf Map o) => IsMap o

    gi-gtksource5	GI.GtkSource.Objects.Map

    Type class for types which can be safely cast to Map, for instance with toMap.

Page 1163 of many | Previous | Next