Text.CSS.Property

Definitions

data Direction : Type

Totality: total
Visibility: public export
Constructors:

LTR : Direction

RTL : Direction

Hint: 

Render Direction

interface AreaTag : Type -> Type

Parameters: a
Methods:

showTag : a -> String

showTag : AreaTag a => a -> String

Totality: total
Visibility: public export

data Display : Type

Totality: total
Visibility: public export
Constructors:

Flex : Display

Grid : Display

Area : AreaTag a => Vect (S m) GridValue -> Vect (S n) GridValue -> Vect (S m) (Vect (S n) a) -> Display

renderArea : AreaTag a => Vect (S m) GridValue -> Vect (S n) GridValue -> Vect (S m) (Vect (S n) a) -> String

Totality: total
Visibility: export

data FlexBasis : Type

Totality: total
Visibility: public export
Constructors:

FL : Length -> FlexBasis

FP : Percentage -> FlexBasis

Hints:

Cast Length FlexBasis

Cast Percentage FlexBasis

Render FlexBasis

data FontSize : Type

Totality: total
Visibility: public export
Constructors:

FL : Length -> FontSize

FP : Percentage -> FontSize

XXSmall : FontSize

XSmall : FontSize

Small : FontSize

Medium : FontSize

Large : FontSize

XLarge : FontSize

XXLarge : FontSize

XXXLarge : FontSize

Hints:

Cast Length FontSize

Cast Percentage FontSize

Render FontSize

data BorderRadius : Type

Totality: total
Visibility: public export
Constructors:

BL : Length -> BorderRadius

BP : Percentage -> BorderRadius

BS : String -> BorderRadius

Hints:

Cast Length BorderRadius

Cast Percentage BorderRadius

FromString BorderRadius

Render BorderRadius

data BorderStyle : Type

Totality: total
Visibility: public export
Constructors:

None : BorderStyle

Hidden : BorderStyle

Dotted : BorderStyle

Dashed : BorderStyle

Solid : BorderStyle

Dbl : BorderStyle

Groove : BorderStyle

Ridge : BorderStyle

Inset : BorderStyle

Outset : BorderStyle

Hint: 

Render BorderStyle

data BorderWidth : Type

Totality: total
Visibility: public export
Constructors:

BL : Length -> BorderWidth

Thin : BorderWidth

Medium : BorderWidth

Thick : BorderWidth

Hints:

Cast Length BorderWidth

Render BorderWidth

data TextAlign : Type

Totality: total
Visibility: public export
Constructors:

Start : TextAlign

  The same as left if direction is left-to-right and right if direction is right-to-left.

End : TextAlign

  The same as right if direction is left-to-right and left if direction is right-to-left.

Left : TextAlign

  The inline contents are aligned to the left edge of the line box.

Right : TextAlign

  The inline contents are aligned to the right edge of the line box.

Center : TextAlign

  The inline contents are centered within the line box.

Justify : TextAlign

  The inline contents are justified. Text should be spaced to line up its left and right edges to the left and right edges of the line box, except for the last line.

Hint: 

Render TextAlign

data Width : Type

Totality: total
Visibility: public export
Constructors:

WL : Length -> Width

WP : Percentage -> Width

Hints:

Cast Length Width

Cast Percentage Width

Render Width

data Property : Type -> Type

Totality: total
Visibility: public export
Constructors:

AlignItems : Property FlexAlign

AlignSelf : Property FlexAlign

BackgroundColor : Property Color

BackgroundSize : Property Width

BorderColor : Property (Dir Color)

BorderRadius : Property BorderRadius

BorderStyle : Property (Dir BorderStyle)

BorderWidth : Property (Dir BorderWidth)

Color : Property Color

ColumnGap : Property Length

Direction : Property Direction

Display : Property Display

Flex : Property String

FlexBasis : Property FlexBasis

FlexDirection : Property FlexDirection

FlexWrap : Property String

FlexGrow : Property Nat

FlexFlow : Property (List FlexFlow)

FontFamily : Property String

FontSize : Property FontSize

GridArea : AreaTag a => Property a

GridColumn : Property GridPosition

GridRow : Property GridPosition

GridTemplateColumns : Property (List GridValue)

GridTemplateRows : Property (List GridValue)

Height : Property Width

JustifyContent : Property FlexJustify

JustifySelf : Property FlexJustify

ListStyleType : Property ListStyleType

Margin : Property (Dir Length)

MaxHeight : Property Width

MaxWidth : Property Width

MinHeight : Property Width

MinWidth : Property Width

Padding : Property (Dir Length)

RowGap : Property Length

TextAlign : Property TextAlign

Width : Property Width

renderProp : Property t -> t -> String

Totality: total
Visibility: export