Hoogle Search
Within LTS Haskell 24.3 (ghc-9.10.2)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
No documentation available.
module Yaya.Containers.Pattern.
Map No documentation available.
-
No documentation available.
-
algebra Numeric.Map linear maps from elements of a free module to another free module over r
f $# x + y = (f $# x) + (f $# y) f $# (r .* x) = r .* (f $# x)
Map r b a represents a linear mapping from a free module with basis a over r to a free module with basis b over r. Note well the reversed direction of the arrow, due to the contravariance of change of basis! This way enables we can employ arbitrary pure functions as linear maps by lifting them using arr, or build them by using the monad instance for Map r b. As a consequence Map is an instance of, well, almost everything. Map :: ((a -> r) -> b -> r) -> Map r b aalgebra Numeric.Map No documentation available.
-
classy-prelude-yesod ClassyPrelude.Yesod A Map from keys k to values a. The Semigroup operation for Map is union, which prefers values from the left operand. If m1 maps a key k to a value a1, and m2 maps the same key to a different value a2, then their union m1 <> m2 maps k to a1.
-
No documentation available.
module GI.GtkSource.Objects.
Map Widget that displays a map for a specific [classview]. GtkSourceMap is a widget that maps the content of a [classview] into a smaller view so the user can have a quick overview of the whole document. This works by connecting a [classview] to to the GtkSourceMap using the [propertymap:view] property or [methodmap.set_view]. GtkSourceMap is a [classview] object. This means that you can add a [classgutterRenderer] to a gutter in the same way you would for a [classview]. One example might be a [classgutterRenderer] that shows which lines have changed in the document. Additionally, it is desirable to match the font of the GtkSourceMap and the [classview] used for editing. Therefore, [propertymap:font-desc] should be used to set the target font. You will need to adjust this to the desired font size for the map. A 1pt font generally seems to be an appropriate font size. "Monospace 1" is the default. See fontDescriptionSetSize for how to alter the size of an existing FontDescription. When FontConfig is available, GtkSourceMap will try to use a bundled "block" font to make the map more legible.
-
gi-gtksource5 GI.GtkSource.Objects.Map Memory-managed wrapper type.
-
gi-gtksource5 GI.GtkSource.Objects.Map No documentation available.