Module Archimedes.Arrows


module Arrows: sig .. end
Arrow styles


type style =
| Unstyled (*-------*)
| Simple (*------>*)
| Double (*----->>*)
| Triple (*---->>>*)
| Diamond (*-----<>*)
| Circle (*------O*)
| Stop (*------|*)
| Custom of (Archimedes.Path.t -> unit) (*It is also possible to give a path in the Custom style, leading to a completely customised arrow*)
Style of the arrow end. Below are textual representations of those endings
val path_line_to : ?size:float ->
?head:style ->
?tail:style -> Archimedes.Path.t -> float -> float -> unit
path_line_to p x y Adds an arrow to (x, y) into the path p. See Archimedes.Arrows.line for explantation on the optional arguments.
val line_direct : ?size:float ->
?head:style ->
?tail:style ->
Archimedes.Viewport.t -> float -> float -> float -> float -> unit -> unit
line_direct vp x0 y0 x y () draws a line directly on the viewport, withtout using an instruction (see Archimedes.Arrows.line for usage)
val line : ?size:float ->
?head:style ->
?tail:style ->
Archimedes.Viewport.t -> float -> float -> float -> float -> unit
line vp x0 y0 x y Draws a arrowed line on the viewport vp from (x0, y0) to (x, y) using an instruction (the drawing of the line is put on the queue of elements to draw on the viewport)
size : the size of the endings, in marks size
head : the head ending style
tail : the tail ending style
val arc_direct : ?size:float ->
?head:style ->
?tail:style ->
Archimedes.Viewport.t ->
float -> float -> float -> float -> float -> unit -> unit
arc_direct vp x0 y0 r a1 a2 () draws an arc directly on the viewport, withtout using an instruction (see Archimedes.Arrows.arc for usage)
val arc : ?size:float ->
?head:style ->
?tail:style ->
Archimedes.Viewport.t -> float -> float -> float -> float -> float -> unit
arc vp x0 y0 r a1 a2 Draws a arrowed arc on the viewport vp from (x0, y0) with a starting angle a1, a ending angle a2 and a radius r. Note that the starting point (x0, y0) is called the tail of the arrow.
size : the size of the endings, in marks size
head : the head ending style
tail : the tail ending style