Idris2Doc : Text.CSS.Flexbox

Text.CSS.Flexbox

(source)
Definitions
data FlexDirection : Type
  Totality: total
  Visibility: public export
  Constructors:
  
Row : FlexDirection
  
RowReverse : FlexDirection
  
Column : FlexDirection
  
ColumnReverse : FlexDirection

  Hint: 
Interpolation FlexDirection
data FlexAlign : Type
  Totality: total
  Visibility: public export
  Constructors:
  
Normal : FlexAlign
  
Stretch : FlexAlign
  
Center : FlexAlign
  
Start : FlexAlign
  
End : FlexAlign
  
FlexStart : FlexAlign
  
FlexEnd : FlexAlign
  
Baseline : FlexAlign
  
FirstBaseline : FlexAlign
  
LastBaseline : FlexAlign

  Hint: 
Interpolation FlexAlign
data FlexJustify : Type
  Totality: total
  Visibility: public export
  Constructors:
  
Center : FlexJustify
  
Start : FlexJustify
  
End : FlexJustify
  
FlexStart : FlexJustify
  
FlexEnd : FlexJustify
  
Left : FlexJustify
  
Right : FlexJustify
  
Normal : FlexJustify
  
SpaceBetween : FlexJustify
  
SpaceAround : FlexJustify
  
SpaceEvenly : FlexJustify
  
Stretch : FlexJustify

  Hint: 
Interpolation FlexJustify
data FlexFlow : Type
  Totality: total
  Visibility: public export
  Constructors:
  
Column : FlexFlow
  
ColumnReverse : FlexFlow
  
Inherit : FlexFlow
  
Initial : FlexFlow
  
Nowrap : FlexFlow
  
Revert : FlexFlow
  
RevertLayout : FlexFlow
  
Row : FlexFlow
  
RowReverse : FlexFlow
  
Unset : FlexFlow
  
Wrap : FlexFlow
  
WrapReverse : FlexFlow

  Hints:
  
Interpolation FlexFlow
  
Interpolation (List FlexFlow)