Idris2Doc : Text.CSS.Property

Text.CSS.Property

(source)
Definitions
data BoxSizing : Type
  Totality: total
  Visibility: public export
  Constructors:
  
BorderBox : BoxSizing
  
ContentBox : BoxSizing

  Hint: 
Interpolation BoxSizing
data ContainerType : Type
  Totality: total
  Visibility: public export
  Constructors:
  
Normal : ContainerType
  
Size : ContainerType
  
InlineSize : ContainerType
  
ScrollState : ContainerType
  
ScrollStateSize : ContainerType
  
ScrollStateInlineSize : ContainerType
  
Anchored : ContainerType

  Hint: 
Interpolation ContainerType
data Direction : Type
  Totality: total
  Visibility: public export
  Constructors:
  
LTR : Direction
  
RTL : Direction

  Hint: 
Interpolation Direction
data Display : Type
  Totality: total
  Visibility: public export
  Constructors:
  
None : Display
  
InlineBlock : Display
  
Flex : Display
  
Grid : Display
  
Area : Show a => Vect (S m) GridValue -> Vect (S n) GridValue -> Vect (S m) (Vect (S n) a) -> Display
showTag : Show a => a -> String
  Totality: total
  Visibility: export
renderArea : Show 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 FontStyle : Type
  Totality: total
  Visibility: public export
  Constructors:
  
Normal : FontStyle
  
Italic : FontStyle
  
Oblique_ : FontStyle
  
Oblique : Angle -> FontStyle

  Hint: 
Interpolation FontStyle
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 Linecap : Type
  Totality: total
  Visibility: public export
  Constructors:
  
Butt : Linecap
  
Round : Linecap
  
Square : Linecap

  Hint: 
Interpolation Linecap
data Linejoin : Type
  Totality: total
  Visibility: public export
  Constructors:
  
Bevel : Linejoin
  
Miter : Linejoin
  
Round : Linejoin

  Hint: 
Interpolation Linejoin
data LineHeight : Type
  Totality: total
  Visibility: public export
  Constructors:
  
Normal : LineHeight
  
LHD : Double -> LineHeight
  
LHL : Length -> LineHeight
  
LHP : Percentage -> LineHeight

  Hints:
  
Cast Length LineHeight
  
Cast Percentage LineHeight
  
FromDouble LineHeight
  
Interpolation LineHeight
fromInteger : Integer -> LineHeight
  Totality: total
  Visibility: export
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 Pos : Type
  Totality: total
  Visibility: public export
  Constructors:
  
PL : Length -> Pos
  
PP : Percentage -> Pos

  Hints:
  
Cast Length Pos
  
Cast Percentage Pos
  
Interpolation Pos
data Position : Type
  Totality: total
  Visibility: public export
  Constructors:
  
Static : Position
  
Relative : Position
  
Absolute : Position
  
Fixed : Position
  
Sticky : Position

  Hint: 
Interpolation Position
data Ratio : Type
  Totality: total
  Visibility: public export
  Constructors:
  
Auto : Ratio
  
RD : Double -> Ratio
  
RDD : Double -> Double -> Ratio

  Hints:
  
FromDouble Ratio
  
Interpolation Ratio
fromInteger : Integer -> Ratio
  Totality: total
  Visibility: export
data Resize : Type
  Totality: total
  Visibility: public export
  Constructors:
  
None : Resize
  
Vertical : Resize
  
Horizontal : Resize
  
Both : Resize

  Hint: 
Interpolation Resize
data ScrollbarGutter : Type
  Totality: total
  Visibility: public export
  Constructors:
  
Auto : ScrollbarGutter
  
Stable : ScrollbarGutter
  
BothEdges : ScrollbarGutter

  Hint: 
Interpolation ScrollbarGutter
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 Visibility : Type
  Totality: total
  Visibility: public export
  Constructors:
  
Visible : Visibility
  
Hidden : Visibility
  
Collapse : Visibility

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