Text.CSS.Length

Definitions

data Length : Type

Totality: total
Visibility: public export
Constructors:

Pt : Bits16 -> Length

Px : Bits16 -> Length

Em : Double -> Length

Rem : Double -> Length

Hints:

Cast Length a => Cast Length (Dir a)

Cast Length MinMaxValue

Cast Length GridValue

Cast Length FlexBasis

Cast Length FontSize

Cast Length BorderRadius

Cast Length BorderWidth

Cast Length Width

Render Length

pt : Cast Length a => Bits16 -> a

Totality: total
Visibility: export

px : Cast Length a => Bits16 -> a

Totality: total
Visibility: export

em : Cast Length a => Double -> a

Totality: total
Visibility: export

rem : Cast Length a => Double -> a

Totality: total
Visibility: export