Brush.Dash
Dash patterns
This module permits to define dash patterns, that are used to draw lines in different styles
type t
The abstract type of dash patterns
val evenly : t
The pattern composed of evenly spaced dashes
val withdots : t
The pattern composed of evenly spaced dots
val scaled : Num.t -> t -> t
Scale a dash pattern
val shifted : Point.t -> t -> t
Shift a dash pattern
type on_off
val on : Num.t -> on_off
val off : Num.t -> on_off
val pattern : on_off list -> t
This function, together with the type on_off permits to construct custom dash patterns, by giving a list of on / off constructors, with corresponding lengths
on_off
on
off