Idris2Doc : Web.MVC.Canvas.Scene

Web.MVC.Canvas.Scene

(source)

Definitions

actualBoundingBoxAscent : TextMetrics->Double
actualBoundingBoxDescent : TextMetrics->Double
actualBoundingBoxLeft : TextMetrics->Double
actualBoundingBoxRight : TextMetrics->Double
alphabeticBaseline : TextMetrics->Double
emHeightAscent : TextMetrics->Double
emHeightDescent : TextMetrics->Double
fontBoundingBoxAscent : TextMetrics->Double
fontBoundingBoxDescent : TextMetrics->Double
hangingBaseline : TextMetrics->Double
ideographicBaseline : TextMetrics->Double
width : TextMetrics->Double
dataScene : Type
Totality: total
Visibility: public export
Constructors:
S1 : ListStyle->Transformation->Shape->Scene
SM : ListStyle->Transformation->ListScene->Scene
applyAll : CanvasRenderingContext2D->ListScene->JSIO ()
Totality: total
Visibility: export
apply : CanvasRenderingContext2D->Scene->JSIO ()
Totality: total
Visibility: export
recordTextMeasure : Type
  Utility for computing `TextMetrics`.

Totality: total
Visibility: export
Constructor: 
TM : (String->String->String->String->String->TextMetrics) ->TextMeasure

Projection: 
.measure_ : TextMeasure->String->String->String->String->String->TextMetrics
measureText : TextMeasure=>CanvasDirection->CanvasTextAlign->CanvasTextBaseline->String->String->TextMetrics
  Compute the `TextMetrics` for the given text in the given font.

Totality: total
Visibility: export
withMetrics : CanvasRenderingContext2D-> (TextMeasure=>a) ->a
  Supplies the given function with a `TextMeasure` implicit, derived
from the given rendering context.

Totality: total
Visibility: export
applyWithMetrics : CanvasRenderingContext2D-> (TextMeasure=>Scene) ->JSIO ()
  Alternative version of `apply` for those cases where we need to
work with text metrics.

Totality: total
Visibility: export