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
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
direction : Direction -> Declaration
Totality: total
Visibility: export
display : Display -> 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
fontWeight : FontWeight -> Declaration
Totality: total
Visibility: export
gridArea : AreaTag 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
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
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
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