Idris2Doc : Rhone.Canvas.Shape

Rhone.Canvas.Shape

(source)

Definitions

data PathType : Type
Totality: total
Visibility: public export
Constructors:
Fill : PathType
Stroke : PathType
data Segment : Type
Totality: total
Visibility: public export
Constructors:
Move : Double -> Double -> Segment
Line : Double -> Double -> Segment
Arc : Double -> Double -> Double -> Angle -> Angle -> Bool -> Segment
ArcTo : Double -> Double -> Double -> Double -> Double -> Segment
data RectType : Type
Totality: total
Visibility: public export
Constructors:
Fill : RectType
Stroke : RectType
Clear : RectType
data Shape : Type
Totality: total
Visibility: public export
Constructors:
Rect : Double -> Double -> Double -> Double -> RectType -> Shape
Path : List Segment -> PathType -> Shape
Shapes : List Shape -> Shape
Text : String -> Double -> Double -> Optional Double -> Shape
Text' : String -> Double -> Double -> Shape

Hints:
Monoid Shape
Semigroup Shape
circle : Double -> Double -> Double -> PathType -> Shape
Totality: total
Visibility: export
polyLine : List (Double, Double) -> Shape
Totality: total
Visibility: export
applyAll : CanvasRenderingContext2D -> List Shape -> JSIO ()
Totality: total
Visibility: export
apply : CanvasRenderingContext2D -> Shape -> JSIO ()
Totality: total
Visibility: export