Text.CSS.Property

(source)

Definitions

data BoxSizing : Type

Totality: total
Visibility: public export
Constructors:

BorderBox : BoxSizing
ContentBox : BoxSizing

Hint:

Interpolation BoxSizing

data Direction : Type

Totality: total
Visibility: public export
Constructors:

LTR : Direction
RTL : Direction

Hint:

Interpolation 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
Interpolation 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
Interpolation FontSize

data FontWeight : Type

Totality: total
Visibility: public export
Constructors:

Normal : FontWeight
Bold : FontWeight
Lighter : FontWeight
Bolder : FontWeight
FW100 : FontWeight
FW200 : FontWeight
FW300 : FontWeight
FW400 : FontWeight
FW500 : FontWeight
FW600 : FontWeight
FW700 : FontWeight
FW800 : FontWeight
FW900 : FontWeight

Hint:

Interpolation FontWeight

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
Interpolation 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:

Interpolation BorderStyle

data BorderWidth : Type

Totality: total
Visibility: public export
Constructors:

BL : Length -> BorderWidth
Thin : BorderWidth
Medium : BorderWidth
Thick : BorderWidth

Hints:

Cast Length BorderWidth
Interpolation BorderWidth

data Overflow : Type

  The `overflow-x` and `overflow-y` CSS properties set
  what shows when content overflows a block-level element's
  edges. This may be nothing, a scroll bar,
  or the overflow content.

Totality: total
Visibility: public export
Constructors:

Visible : Overflow

  Content is not clipped and may be rendered outside the padding box's edges.

Hidden : Overflow

  Content is clipped if necessary to fit horizontally
  in the padding box. No scrollbars are provided.
  Programmatic scrolling is still possible.

Clip : Overflow

  Like `Hidden` but forbidding also programmatic scrolling.

Scroll : Overflow

  Content is clipped if necessary to fit in the padding box.
  Browsers display scrollbars whether or not any content is actually clipped.
  (This prevents scrollbars from appearing or disappearing when the
  content changes.)

Auto : Overflow

  Depends on the user agent. If content fits inside the
  padding box, it looks the same as visible, but still
  establishes a new block-formatting context. Desktop browsers
  provide scrollbars if content overflows.

Hint:

Interpolation Overflow

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:

Interpolation TextAlign

data TextDecorationLine : Type

Totality: total
Visibility: public export
Constructors:

None : TextDecorationLine
Underline : TextDecorationLine
Overline : TextDecorationLine
LineThrough : TextDecorationLine

Hint:

Interpolation TextDecorationLine

data TextDecorationStyle : Type

Totality: total
Visibility: public export
Constructors:

Solid : TextDecorationStyle
Dbl : TextDecorationStyle
Dotted : TextDecorationStyle
Dashed : TextDecorationStyle
Wavy : TextDecorationStyle

Hint:

Interpolation TextDecorationStyle

data TextOverflow : Type

Totality: total
Visibility: public export
Constructors:

Clip : TextOverflow
Ellipsis : TextOverflow

Hint:

Interpolation TextOverflow

data Width : Type

Totality: total
Visibility: public export
Constructors:

WL : Length -> Width
WP : Percentage -> Width

Hints:

Cast Length Width
Cast Percentage Width
Interpolation Width

data WhiteSpace : Type

  Handles white space inside an element

Totality: total
Visibility: public export
Constructors:

Normal : WhiteSpace

  White space is collapsed (several white space characters
  are treated as a single space character) and lines are
  broken as necessary.

Nowrap : WhiteSpace

  Like `Normal` but suppresses line breaks (text wrapping)

Pre : WhiteSpace

  Sequences of white space are preserved. Lines are broken at
  newline characters and at `<br>` elements.

PreWrap : WhiteSpace

  Sequences of white space are preserved. Lines are broken at
  newline characters, at `<br>` elements, and as necessary
  to fill the box.

PreLine : WhiteSpace

  Like `PreWrap` but collapses sequences of white space.

BreakSpaces : WhiteSpace

  The behavior is identical to that of `PreWrap`, except that:
  
  * Any sequence of preserved white space always takes up space,
    including at the end of the line.
  * A line breaking opportunity exists after every preserved
    white space character, including between white space characters.
  * Such preserved spaces take up space and do not hang,
    and thus affect the box's intrinsic sizes
    (min-content size and max-content size).

Hint:

Interpolation WhiteSpace