Idris2Doc : Text.CSS.ListStyleType

Text.CSS.ListStyleType

(source)

Definitions

dataListStyleType : Type
Totality: total
Visibility: public export
Constructors:
None : ListStyleType
Disc : ListStyleType
Circle : ListStyleType
Square : ListStyleType
Decimal : ListStyleType
LowerAlpha : ListStyleType
UpperAlpha : ListStyleType
LowerRoman : ListStyleType
UpperRoman : ListStyleType

Hint: 
InterpolationListStyleType