Text.WebIDL.Types.StringLit

Definitions

record StringLit : Type

  A quoted string literal

Totality: total
Visibility: public export
Constructor: 

MkStrLit : String -> StringLit

Projection: 

.value : StringLit -> String

Hints:

Eq StringLit

HasAttributes StringLit

Interpolation StringLit

Ord StringLit

Show StringLit

.value : StringLit -> String

Totality: total
Visibility: public export

value : StringLit -> String

Totality: total
Visibility: public export