
  0 | module Text.CSS.Class
  1 | 
  2 | import Derive.Prelude
  3 | 
  4 | %default total
  5 | %language ElabReflection
  6 | 
  7 | export
  8 | quote : String -> String
  9 | quote s = #""\{s}""#
 10 | 
 11 | ||| A CSS class
 12 | public export
 13 | record Class where
 14 |   constructor C
 15 |   value : String
 16 | 
 17 | %runElab derive "Class" [Show,Eq,Ord,FromString]
 18 | 
 19 | export %inline
 20 | Interpolation Class where interpolate = value
 21 | 
 22 | public export
 23 | 0 Classes : Type
 24 | Classes = List Class
 25 |