Hoogle Search
Within LTS Haskell 24.34 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
MapF :: Map k1 (f a) -> MapF k1 (f :: k -> Type) (a :: k)functor-combinators Control.Applicative.ListF No documentation available.
newtype
MapF k1 (f :: k -> Type) (a :: k)functor-combinators Data.Functor.Combinator A map of f as, indexed by keys of type k. It can be useful for represeting a product of many different values of type f a, each "at" a different k location. Can be considered a combination of EnvT and ListF, in a way --- a MapF k f a is like a ListF (EnvT k f) a with unique (and ordered) keys. One use case might be to extend a schema with many "options", indexed by some string. For example, if you had a command line argument parser for a single command
data Command a
Then you can represent a command line argument parser for multiple named commands withtype Commands = MapF String Command
See NEMapF for a non-empty variant, if you want to enforce that your bag has at least one f a.MapF :: Map k1 (f a) -> MapF k1 (f :: k -> Type) (a :: k)functor-combinators Data.Functor.Combinator No documentation available.
type
MapListModelMapFunc = Object -> IO Objectgi-gtk4 GI.Gtk.Callbacks User function that is called to map an item of the original model to an item expected by the map model. The returned items must conform to the item type of the model they are used with.
type
MapListModelMapFunc_WithClosures = Object -> Ptr () -> IO Objectgi-gtk4 GI.Gtk.Callbacks User function that is called to map an item of the original model to an item expected by the map model. The returned items must conform to the item type of the model they are used with.
module GI.Gtk.Objects.
MapListModel A GtkMapListModel maps the items in a list model to different items. GtkMapListModel uses a [callbackgtk.MapListModelMapFunc]. Example: Create a list of GtkEventControllers
c code
static gpointer map_to_controllers (gpointer widget, gpointer data) { gpointer result = gtk_widget_observe_controllers (widget); g_object_unref (widget); return result; } widgets = gtk_widget_observe_children (widget); controllers = gtk_map_list_model_new (widgets, map_to_controllers, NULL, NULL); model = gtk_flatten_list_model_new (GTK_TYPE_EVENT_CONTROLLER, controllers);GtkMapListModel will attempt to discard the mapped objects as soon as they are no longer needed and recreate them if necessary. GtkMapListModel passes through sections from the underlying model.-
gi-gtk4 GI.Gtk.Objects.MapListModel Memory-managed wrapper type.
MapListModel :: ManagedPtr MapListModel -> MapListModelgi-gtk4 GI.Gtk.Objects.MapListModel No documentation available.
type
MapSyntax k v = MapSyntaxM k v ()map-syntax Data.Map.Syntax Convenient type alias that will probably be used most of the time.
-
map-syntax Data.Map.Syntax A monad providing convenient syntax for defining maps.