Idris2Doc : Text.CSS.Class

Text.CSS.Class

(source)
Definitions
quote : String -> String
  Totality: total
  Visibility: export
record Class : Type
  A CSS class

  Totality: total
  Visibility: public export
  Constructor: 
C : String -> Class

  Projection: 
.value : Class -> String

  Hints:
  
Eq Class
  
FromString Class
  
Interpolation Class
  
Ord Class
  
Show Class
.value : Class -> String
  Totality: total
  Visibility: public export
value : Class -> String
  Totality: total
  Visibility: public export
0 Classes : Type
  Totality: total
  Visibility: public export