Idris2Doc : Text.CSS.Declaration

Text.CSS.Declaration

(source)
Definitions
data Declaration : Type
  Totality: total
  Visibility: public export
  Constructors:
  
Decl : String -> String -> Declaration
  
Display : Display -> Declaration

  Hint: 
Interpolation Declaration
decl : Interpolation a => String -> a -> Declaration
  Totality: total
  Visibility: export
dirDecl : String -> (a -> String) -> Dir a -> Declaration
  Totality: total
  Visibility: export
dirDecl2 : String -> String -> (a -> String) -> Dir a -> Declaration
  Totality: total
  Visibility: export
alignItems : FlexAlign -> Declaration
  Totality: total
  Visibility: export
alignSelf : FlexAlign -> Declaration
  Totality: total
  Visibility: export
aspectRatio : Ratio -> Declaration
  Totality: total
  Visibility: export
backgroundColor : Color -> Declaration
  Totality: total
  Visibility: export
backgroundImage : String -> Declaration
  Totality: total
  Visibility: export
backgroundImageGradient : Gradient -> Declaration
  Totality: total
  Visibility: export
backgroundSize : Width -> Declaration
  Totality: total
  Visibility: export
border : String -> Declaration
  Totality: total
  Visibility: export
borderColor : Dir Color -> Declaration
  Totality: total
  Visibility: export
borderRadius : BorderRadius -> Declaration
  Totality: total
  Visibility: export
borderStyle : Dir BorderStyle -> Declaration
  Totality: total
  Visibility: export
borderWidth : Dir BorderWidth -> Declaration
  Totality: total
  Visibility: export
boxSizing : BoxSizing -> Declaration
  Totality: total
  Visibility: export
color : Color -> Declaration
  Totality: total
  Visibility: export
columnGap : Length -> Declaration
  Totality: total
  Visibility: export
containerType : ContainerType -> Declaration
  Totality: total
  Visibility: export
cursor : List Cursor -> Declaration
  Totality: total
  Visibility: export
direction : Direction -> Declaration
  Totality: total
  Visibility: export
display : Display -> Declaration
  Totality: total
  Visibility: export
area : Show a => Vect (S m) GridValue -> Vect (S n) GridValue -> Vect (S m) (Vect (S n) a) -> Declaration
  Totality: total
  Visibility: export
fill : Maybe Color -> Declaration
  Totality: total
  Visibility: export
flex : String -> Declaration
  Totality: total
  Visibility: export
flexBasis : FlexBasis -> Declaration
  Totality: total
  Visibility: export
flexDirection : FlexDirection -> Declaration
  Totality: total
  Visibility: export
flexWrap : String -> Declaration
  Totality: total
  Visibility: export
flexGrow : Nat -> Declaration
  Totality: total
  Visibility: export
flexFlow : List FlexFlow -> Declaration
  Totality: total
  Visibility: export
fontFamily : String -> Declaration
  Totality: total
  Visibility: export
fontSize : FontSize -> Declaration
  Totality: total
  Visibility: export
fontStyle : FontStyle -> Declaration
  Totality: total
  Visibility: export
fontWeight : FontWeight -> Declaration
  Totality: total
  Visibility: export
gridArea : Show a => a -> Declaration
  Totality: total
  Visibility: export
gridColumn : GridPosition -> Declaration
  Totality: total
  Visibility: export
gridRow : GridPosition -> Declaration
  Totality: total
  Visibility: export
gridTemplateColumns : List GridValue -> Declaration
  Totality: total
  Visibility: export
gridTemplateRows : List GridValue -> Declaration
  Totality: total
  Visibility: export
height : Width -> Declaration
  Totality: total
  Visibility: export
justifyContent : FlexJustify -> Declaration
  Totality: total
  Visibility: export
justifySelf : FlexJustify -> Declaration
  Totality: total
  Visibility: export
lineHeight : LineHeight -> Declaration
  Totality: total
  Visibility: export
listStyleType : ListStyleType -> Declaration
  Totality: total
  Visibility: export
margin : Dir Length -> Declaration
  Totality: total
  Visibility: export
maxHeight : Width -> Declaration
  Totality: total
  Visibility: export
maxWidth : Width -> Declaration
  Totality: total
  Visibility: export
minHeight : Width -> Declaration
  Totality: total
  Visibility: export
minWidth : Width -> Declaration
  Totality: total
  Visibility: export
outlineColor : Color -> Declaration
  Totality: total
  Visibility: export
outlineStyle : BorderStyle -> Declaration
  Totality: total
  Visibility: export
outlineWidth : BorderWidth -> Declaration
  Totality: total
  Visibility: export
overflowX : Overflow -> Declaration
  Totality: total
  Visibility: export
overflowY : Overflow -> Declaration
  Totality: total
  Visibility: export
padding : Dir Length -> Declaration
  Totality: total
  Visibility: export
rowGap : Length -> Declaration
  Totality: total
  Visibility: export
stroke : Maybe Color -> Declaration
  Totality: total
  Visibility: export
strokeWidth : Width -> Declaration
  Totality: total
  Visibility: export
strokeLinecap : Linecap -> Declaration
  Totality: total
  Visibility: export
strokeLinejoin : Linejoin -> Declaration
  Totality: total
  Visibility: export
strokeMiterlimit : Double -> Declaration
  Totality: total
  Visibility: export
textAlign : TextAlign -> Declaration
  Totality: total
  Visibility: export
textDecoration : String -> Declaration
  Totality: total
  Visibility: export
textDecorationColor : Color -> Declaration
  Totality: total
  Visibility: export
textDecorationLine : TextDecorationLine -> Declaration
  Totality: total
  Visibility: export
textDecorationStyle : TextDecorationStyle -> Declaration
  Totality: total
  Visibility: export
textOverflow : TextOverflow -> Declaration
  Totality: total
  Visibility: export
textOverflow2 : TextOverflow -> TextOverflow -> Declaration
  Totality: total
  Visibility: export
width : Width -> Declaration
  Totality: total
  Visibility: export
whitespace : WhiteSpace -> Declaration
  Totality: total
  Visibility: export