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
data Scene : Type
Totality: total
Visibility: public export
Constructors:
S1 : List Style -> Transformation -> Shape -> Scene
SM : List Style -> Transformation -> List Scene -> Scene
applyAll : CanvasRenderingContext2D -> List Scene -> JSIO ()
Totality: total
Visibility: export
apply : CanvasRenderingContext2D -> Scene -> JSIO ()
Totality: total
Visibility: export
record TextMeasure : 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