Module Diagrams.Edge

module Edge: sig .. end

type tip_info = {

	`tip_line_width : float;`
	`is_double : bool;`

}

type info = {

	`tip_info : tip_info;`
	`start : Diagrams.Gentity.t;`
	`finish : Diagrams.Gentity.t;`
	`params : RawContent.path_param;`
	`given_curve : Diagrams.Curve.t;`
	`underlying_curve : Diagrams.Curve.t;`
	`curves : (RawContent.path_param * Diagrams.Curve.t) list;`
	`decorations : decoration list;`
	`z_curve : float array list;`
	`anchor : Diagrams.anchor -> Diagrams.Point.t;`

}

type decoration =

`\|`	`Curve of RawContent.path_param * Diagrams.Curve.t`
`\|`	`Node of Diagrams.Node.t`

val evaluate_z : info -> int * float -> float

val evaluate_z_global : info -> float -> float

type t = info

type edge_transfo = info -> info

module Transfo: Diagrams.Transfo(sig

type t = Diagrams.Edge.info

val compare : 'a -> 'a -> int

end)

val default_tip_info : tip_info

val default_params : RawContent.path_param

val default_edge_info : Diagrams.Gentity.t ->
       Diagrams.Gentity.t -> Diagrams.Curve.t -> info

val empty : info

val transform : Transfo.Style.t list ->
       Diagrams.Gentity.t ->
       Diagrams.Gentity.t -> Diagrams.Curve.t -> info

val outer_curve : 'a -> 'b -> 'b

type continue_path_spec = Diagrams.Point.t list

type path_spec = continue_path_spec list

val point_lists_of_path_spec : 'a -> 'a list list -> 'a list list

type controls = continue_path_spec * Diagrams.Point.t list

val point_lists_of_edge_spec_rec : 'a list list -> 'a -> 'a -> 'a list list -> 'a list list

val point_lists_of_edge_spec : Diagrams.Gentity.t ->
       Diagrams.Point.t list list ->
       Diagrams.Gentity.t -> Diagrams.Point.t list list

val decoration_to_contents : 'a -> decoration -> RawContent.raw list

val to_contents : info -> RawContent.raw list

val to_gentity : info -> Diagrams.Gentity.t

val dashed : float list -> Transfo.Style.t

val fill : Color.color -> Transfo.Style.t

val color : Color.color -> Transfo.Style.t

val noStroke : Transfo.Style.t

val black : Transfo.Style.t

val lineWidth : float -> Transfo.Style.t

val do_clip : (float array * float array) list ->
       Diagrams.Gentity.t -> Diagrams.Gentity.t -> (float array * float array) list

val do_squiggle : int -> float -> float array * float array -> (float array * float array) list

val shortenS : float -> Transfo.Style.t

val shortenE : float -> Transfo.Style.t

val fontArrowHeadCurves : Document.environment -> (float array * float array) list list * float

val fontArrowHead : float * float ->
       float ->
       'a ->
       tip_info ->
       RawContent.path_param ->
       (float array * float array) list list ->
       float -> (float array * float array) list

val cliptip : ?reverse:bool ->
       float * float ->
       info ->
       (float array * float array) list ->
       (float array * float array) list -> (float array * float array) list

val base_arrow : Document.environment ->
       ?head_or_tail:bool -> info -> info

val arrow : Document.environment -> Transfo.Style.t

val arrow' : Document.environment -> Transfo.Style.t

val dblArrow : Document.environment -> Transfo.Style.t

val modTo : Document.environment -> Transfo.Style.t

val bendLeft : float -> Transfo.Style.t

val bendRight : float -> Transfo.Style.t

val label_anchor : Diagrams.anchor ->
       Document.environment ->
       ?pos:Diagrams.anchor ->
       ?shape:Diagrams.Node.Transfo.Style.t ->
       ?style:Diagrams.Node.Transfo.Style.t list ->
       Document.content list -> Transfo.Style.t

val above : Document.environment ->
       ?pos:Diagrams.anchor ->
       ?shape:Diagrams.Node.Transfo.Style.t ->
       ?style:Diagrams.Node.Transfo.Style.t list ->
       Document.content list -> Transfo.Style.t

val below : Document.environment ->
       ?pos:Diagrams.anchor ->
       ?shape:Diagrams.Node.Transfo.Style.t ->
       ?style:Diagrams.Node.Transfo.Style.t list ->
       Document.content list -> Transfo.Style.t

val left : Document.environment ->
       ?pos:Diagrams.anchor ->
       ?shape:Diagrams.Node.Transfo.Style.t ->
       ?style:Diagrams.Node.Transfo.Style.t list ->
       Document.content list -> Transfo.Style.t

val right : Document.environment ->
       ?pos:Diagrams.anchor ->
       ?shape:Diagrams.Node.Transfo.Style.t ->
       ?style:Diagrams.Node.Transfo.Style.t list ->
       Document.content list -> Transfo.Style.t

val aboveL : Document.environment ->
       ?pos:Diagrams.anchor ->
       ?shape:Diagrams.Node.Transfo.Style.t ->
       ?style:Diagrams.Node.Transfo.Style.t list ->
       Document.content list -> Transfo.Style.t

val aboveR : Document.environment ->
       ?pos:Diagrams.anchor ->
       ?shape:Diagrams.Node.Transfo.Style.t ->
       ?style:Diagrams.Node.Transfo.Style.t list ->
       Document.content list -> Transfo.Style.t

val belowL : Document.environment ->
       ?pos:Diagrams.anchor ->
       ?shape:Diagrams.Node.Transfo.Style.t ->
       ?style:Diagrams.Node.Transfo.Style.t list ->
       Document.content list -> Transfo.Style.t

val belowR : Document.environment ->
       ?pos:Diagrams.anchor ->
       ?shape:Diagrams.Node.Transfo.Style.t ->
       ?style:Diagrams.Node.Transfo.Style.t list ->
       Document.content list -> Transfo.Style.t

val labelOn : Document.environment ->
       ?style:Diagrams.Node.Transfo.Style.t list ->
       Document.environment ->
       ?pos:Diagrams.anchor ->
       ?shape:Diagrams.Node.Transfo.Style.t ->
       Document.content list -> Transfo.Style.t

val raw_edge : Transfo.Style.t list ->
       Diagrams.Gentity.t ->
       Diagrams.Gentity.t -> Diagrams.Curve.t -> info

val path_of_curve : Transfo.Style.t list -> Diagrams.Curve.t -> info

val path : Transfo.Style.t list ->
       float * float -> (float * float) list list -> info

val polyLine : Transfo.Style.t list ->
       Diagrams.Node.info list -> info

val of_gentities : Transfo.Style.t list ->
       Diagrams.Gentity.t ->
       ?controls:Diagrams.Point.t list list ->
       Diagrams.Gentity.t -> info

val make : Transfo.Style.t list ->
       Diagrams.Node.info ->
       ?controls:Diagrams.Point.t list list ->
       Diagrams.Node.info -> info

val makes : Transfo.Style.t list ->
       (Transfo.Style.t list * Diagrams.Node.info *
        Diagrams.Point.t list list * Diagrams.Node.info)
       list -> info list

val make_3d : Transfo.Style.t list ->
       Diagrams.Node.info ->
       ?projection:Proj3d.projection ->
       ?controls:Diagrams.Point.t list list ->
       ?controls3d:(float * float * float) list list ->
       Diagrams.Node.info -> info

val makes_3d : Transfo.Style.t list ->
       ?projection:Proj3d.projection ->
       (Transfo.Style.t list * Diagrams.Node.info *
        Diagrams.Point.t list list * (float * float * float) list list *
        Diagrams.Node.info)
       list -> info list

val restrict : info -> int * float -> int * float -> info

val put_forth : info ->
       int * float -> ?color:Color.color -> float -> float -> info