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 LengthOrPercentage

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 LineHeight

Cast Length Width

Interpolation 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

.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