Web.MVC.Canvas.Shape

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