# Hoogle Search

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

1. Basic arrow definitions, based on

• Generalising Monads to Arrows, by John Hughes, Science of Computer Programming 37, pp67-111, May 2000.
plus a couple of definitions (returnA and loop) from
• A New Notation for Arrows, by Ross Paterson, in ICFP 2001, Firenze, Italy, pp229-240.

2. base Control.Arrow

The basic arrow class. Instances should satisfy the following laws:

• `arr id = id`
• ```arr (f >>> g) = arr f >>>
arr g```
• ```first (arr f) = arr (first
f)```
• ```first (f >>> g) = first f >>>
first g```
• ```first f >>> arr fst =
arr fst >>> f```
• ```first f >>> arr (id *** g) =
arr (id *** g) >>> first f```
• ```first (first f) >>> arr assoc =
arr assoc >>> first f```
where
```assoc ((a,b),c) = (a,(b,c))
```
The other combinators have sensible default definitions, which may be overridden for efficiency.

3. Typecheck arrow notation

4. No documentation available.

5. rio RIO.Prelude.Types

The basic arrow class. Instances should satisfy the following laws:

• `arr id = id`
• ```arr (f >>> g) = arr f >>>
arr g```
• ```first (arr f) = arr (first
f)```
• ```first (f >>> g) = first f >>>
first g```
• ```first f >>> arr fst =
arr fst >>> f```
• ```first f >>> arr (id *** g) =
arr (id *** g) >>> first f```
• ```first (first f) >>> arr assoc =
arr assoc >>> first f```
where
```assoc ((a,b),c) = (a,(b,c))
```
The other combinators have sensible default definitions, which may be overridden for efficiency.

6. No documentation available.

7. GtkArrow should be used to draw simple arrows that need to point in one of the four cardinal directions (up, down, left, or right). The style of the arrow can be one of shadow in, shadow out, etched in, or etched out. Note that these directions and style types may be amended in versions of GTK+ to come. GtkArrow will fill any space alloted to it, but since it is inherited from Misc, it can be padded and/or aligned, to fill exactly the space the programmer desires. Arrows are created with a call to arrowNew. The direction or style of an arrow can be changed after creation by using arrowSet. GtkArrow has been deprecated; you can simply use a Image with a suitable icon name, such as “pan-down-symbolic“. When replacing GtkArrow by an image, pay attention to the fact that GtkArrow is doing automatic flipping between GTK_ARROW_LEFT and GTK_ARROW_RIGHT, depending on the text direction. To get the same effect with an image, use the icon names “pan-start-symbolic“ and “pan-end-symbolic“, which react to the text direction.

8. gi-gtk GI.Gtk.Objects.Arrow

Memory-managed wrapper type.

9. gi-gtk GI.Gtk.Objects.Arrow

No documentation available.

10. Drawing arrows in two dimensions. For a tutorial on drawing arrows using this module, see the diagrams website: https://diagrams.github.io/doc/arrow.html.

Page 1 of many | Next