
  0 | module Text.CSS.ListStyleType
  1 | 
  2 | %default total
  3 | 
  4 | public export
  5 | data ListStyleType : Type where
  6 |   None       : ListStyleType
  7 |   Disc       : ListStyleType
  8 |   Circle     : ListStyleType
  9 |   Square     : ListStyleType
 10 |   Decimal    : ListStyleType
 11 |   LowerAlpha : ListStyleType
 12 |   UpperAlpha : ListStyleType
 13 |   LowerRoman : ListStyleType
 14 |   UpperRoman : ListStyleType
 15 | 
 16 | export
 17 | Interpolation ListStyleType where
 18 |   interpolate None       = "none"
 19 |   interpolate Disc       = "disc"
 20 |   interpolate Circle     = "circle"
 21 |   interpolate Square     = "square"
 22 |   interpolate Decimal    = "decimal"
 23 |   interpolate LowerAlpha = "lower-alpha"
 24 |   interpolate UpperAlpha = "upper-alpha"
 25 |   interpolate LowerRoman = "lower-roman"
 26 |   interpolate UpperRoman = "upper-roman"
 27 |