Idris2Doc : Text.CSS.Declaration

Text.CSS.Declaration

(source)

Definitions

dataDeclaration : Type
Totality: total
Visibility: public export
Constructors:
Decl : String->String->Declaration
Display : Display->Declaration

Hint: 
InterpolationDeclaration
decl : Interpolationa=>String->a->Declaration
Totality: total
Visibility: export
dirDecl : String-> (a->String) ->Dira->Declaration
Totality: total
Visibility: export
dirDecl2 : String->String-> (a->String) ->Dira->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 : DirColor->Declaration
Totality: total
Visibility: export
borderRadius : BorderRadius->Declaration
Totality: total
Visibility: export
borderStyle : DirBorderStyle->Declaration
Totality: total
Visibility: export
borderWidth : DirBorderWidth->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 : ListFlexFlow->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 : AreaTaga=>a->Declaration
Totality: total
Visibility: export
gridColumn : GridPosition->Declaration
Totality: total
Visibility: export
gridRow : GridPosition->Declaration
Totality: total
Visibility: export
gridTemplateColumns : ListGridValue->Declaration
Totality: total
Visibility: export
gridTemplateRows : ListGridValue->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 : DirLength->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 : DirLength->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