IBAFLang/IBAF-cbs/Funcons-beta/Values/Composite/Strings/index.md

layout, title, parent, ancestor

layout	title	parent	ancestor
default	Strings	Composite	Funcons-beta

Funcons-beta : Strings.cbs

Strings

[
  Type   strings
  Funcon string
  Funcon string-append
  Funcon to-string
]

Type
  strings ~> lists(characters)

Funcon
  string(C*:characters*) : =>strings
    ~> [C*]

Literal strings are written "C1...Cn". A double-quote or backslash needs to be escaped: "..."...", "...\...".

Funcon
  string-append(S*:strings*) : =>strings
    ~> list-append(S*)

Built-in Funcon
  to-string(_:ground-values) : =>strings

The strings returned by to-string(GV) are unspecified, except that when GV is already a string, it is returned unchanged.

Assert
  to-string(S:strings) == S

---

From the PLanCompS Project | CBS-beta issues... | Suggest an improvement...