
  0 | module Text.WebIDL.Types.StringLit
  1 | 
  2 | import Derive.Prelude
  3 | 
  4 | %default total
  5 | 
  6 | %language ElabReflection
  7 | 
  8 | ||| A quoted string literal
  9 | public export
 10 | record StringLit where
 11 |   constructor MkStrLit
 12 |   value : String
 13 | 
 14 | %runElab derive "StringLit" [Eq,Ord,Show]
 15 | 
 16 | export %inline
 17 | Interpolation StringLit where
 18 |   interpolate v = #""\#{v.value}""#
 19 |