Cur
3.1 Datum
3.2 Sugar
3.3 Bool
3.4 Nat
3.6 Maybe
3.7 List
3.8 Equality
3.9 ASCII
3.11 Typeclass
On this page:
9.0
top
up

3.9ASCIIπŸ”— i

This library defines ASCII characters and strings, and a #%datum extension for ASCII string literals.

0 parameter type

Ascii :Type

constructor

ascii :(->Bool Bool Bool Bool Bool Bool Bool Ascii )

A datatype representing an ASCII character, as a bit vector.

Examples:
> ""

(nil (Ascii))

> "1"

(cons (Ascii)(ascii (false)(true)(true)(false)(false)(false)(true))(nil (Ascii)))

type

Ascii-Str :Type

The type of ASCII string; equivalent to (List Ascii ).

The empty string; equivalent to (nil Ascii ) and "".

procedure

( ascii-str-concat str1str2)Ascii-Str

str1:Ascii-Str
str2:Ascii-Str
Concatenates two strings, appending str2 to the end of str1.

procedure

( ascii-str-length str)Nat

str:Ascii-Str
Returns the length of the string str.

procedure

( meta-ascii->asciisynchar)syntax?

syn:(or/c syntax? #f)
A meta-procedure, provided at phase 1, for converting a Racket (meta-level) ascii-char? into syntax representing an Ascii . If syn is provided, it is used in error messages in the even that char is not an ascii-char? .

procedure

( meta-string->ascii-strsynstr)syntax?

syn:(or/c syntax? #f)
A meta-procedure, provided at phase 1, for converting a Racket (meta-level) ascii-string? into syntax representing an Ascii-Str . If syn is provided, it is used in error messages in the even that str is not an ascii-string? .

procedure

( ascii-datumsynf)syntax?

syn:syntax?
A meta-procedure, provided at phase 1, for parsing ASCII string literals. This module automatically updates #%datum using this procedure.

Examples:
> ""

(nil (Ascii))

> "1"

(cons (Ascii)(ascii (false)(true)(true)(false)(false)(false)(true))(nil (Ascii)))

procedure

( ascii->meta-asciisyn)ascii-char?

syn:syntax?
A meta-procedure, provided at phase 1, for converting syntax representing a Ascii literal into a Racket (meta-level) ascii-char? .

procedure

( ascii-str->meta-stringsyn)ascii-string?

syn:syntax?
A meta-procedure, provided at phase 1, for converting syntax representing a Ascii-Str literal into a Racket (meta-level) ascii-string? .

top
up

AltStyle γ«γ‚ˆγ£γ¦ε€‰ζ›γ•γ‚ŒγŸγƒšγƒΌγ‚Έ (->γ‚ͺγƒͺγ‚ΈγƒŠγƒ«) /